Difference between revisions of "HaskellWiki talk:Syntax highlighting"
Jump to navigation
Jump to search
(moved from project page) |
|||
Line 1: | Line 1: | ||
Question: Would it be possible to have an markup tag, say <code><haskell-pretty></code> which would utilize the <code><math></code> environment to produce neat looking things like <math>\operatorname{foo} :: \forall \alpha \beta . \alpha \rightarrow \beta</math>, corresponding to <hask>foo :: forall a b. a -> b</hask>. ''— asks [[User:SebastianSylvan|SebastianSylvan]]'' |
Question: Would it be possible to have an markup tag, say <code><haskell-pretty></code> which would utilize the <code><math></code> environment to produce neat looking things like <math>\operatorname{foo} :: \forall \alpha \beta . \alpha \rightarrow \beta</math>, corresponding to <hask>foo :: forall a b. a -> b</hask>. ''— asks [[User:SebastianSylvan|SebastianSylvan]]'' |
||
+ | |||
+ | :It may be possible, but there are issues. Bear in mind Haskell type variables can be more than one character: <hask>return :: (Monad monad) => a -> monad a</hask>. I also find the TeX a bit ugly placed in the text. |
||
+ | |||
+ | :An alternative might be to use Unicode more effectively: "foo :: ∀ m a b. (Monad m) ⇒ a → m b". —[[User:Ashley Y|Ashley Y]] 23:38, 13 March 2006 (UTC) |
Revision as of 23:38, 13 March 2006
Question: Would it be possible to have an markup tag, say <haskell-pretty>
which would utilize the <math>
environment to produce neat looking things like , corresponding to foo :: forall a b. a -> b
. — asks SebastianSylvan
- It may be possible, but there are issues. Bear in mind Haskell type variables can be more than one character:
return :: (Monad monad) => a -> monad a
. I also find the TeX a bit ugly placed in the text.
- An alternative might be to use Unicode more effectively: "foo :: ∀ m a b. (Monad m) ⇒ a → m b". —Ashley Y 23:38, 13 March 2006 (UTC)