Hello Haskellers,
i'm now write documention about Template Haskell in MS Word. when it
will be written, i will be glad to publish it in Wiki, so anyone can
correct it. and when all be done, it will be great to automatically
convert this wiki text to DocBook XML for inserting in GHC
documentation
Gregory,
Church-Rosser is proved in any good text on lambda calculus, such as
Barendregt [1]. Some rather detailed notes on that book are at [2].
Lazy evaluation is often formalized as call-by-need. Try [3].
Ezra
[1] Barendregt. The Lambda Calculus
Frankly, the best way to go about writing your doc would be to do it in
LaTeX/literate haskell. That way you could compile it to
html/pdf/whatever.
On 15/11/2005, at 2:40 AM, Bulat Ziganshin wrote:
Hello Haskellers,
i'm now write documention about Template Haskell in MS Word. when it
will
Using buffers to read and write from a Handle is pretty easy. You can
use 'allocaBytes' (from Foreign.Marshal.Alloc) to allocate the buffer
size you want, and a Ptr to that gets passed to the IO computation
that you give to allocaBytes as an argument. You can see a simplistic
example of network IO
Turns out this is to do with the way that type synonyms are represented.
Somewhere there is
type a :*: b = HCons a b
If you simply use HCons instead of :*: the problem goes away. (Use
`HCons` if you want it infix.)
This is a bug; using HCons instead is a workaround, but it might reduce
Am Dienstag, 15. November 2005 12:44 schrieb Scott Weeks:
Frankly, the best way to go about writing your doc would be to do it in
LaTeX/literate haskell. That way you could compile it to
html/pdf/whatever.
Oh no! Converting LaTeX to HTML is terrible, in my opinion. One reason for
this is
Folks,
My program frequently quites (I think) after this message:
waitForProcess: sytem call interrupted
I think it has to do with my killing the thread that calls connectTo,
after a certain timeout. Is there a way to catch this exception so
that the program does not crash?
My code looks
Hello,
I wonder whether anybody could advise me how to pass
correctly RTS options to ghc? I've tried
ghc +RTS -K4M --RTS -O program.hs -o aO.out
ghc +RTS -K4M -RTS -O program.hs -o aO.out
ghc -O program.hs -o aO.out +RTS -K4M
ghc -O program.hs +RTS -K4M --RTS -o aO.out
and many others,