HaskellWiki talk:Syntax highlighting
From HaskellWiki
(Difference between revisions)
(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
- It may be possible, but there are issues. Bear in mind Haskell type variables can be more than one character: . I also find the TeX a bit ugly placed in the text.return :: (Monad monad) => a -> monad a
- 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)
