#apache #archlinux #asterisk #centos #debian #gentoo #haskell #kde #kubuntu #lisp #math #mysql #perl #python #ruby-lang #rubyonrails #suse #ubuntu #vim #wikipedia 0 1 2 3 4 5 6 7 8 9
Top Prev 3422 3423 3424 3425 3426 3427 3428 3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 Next
#haskell
<lambdabot> Completed 1 test(s) without failure.
<witten> how does haskell's monad relate to clean's uniqueness typing, if at all?
<bos> @djinn ([a] -> b) -> (a, [b])
<lambdabot> -- f cannot be realized.
<witten> it seems they're solving the same problem
<sm> thanks, do you mix all 3 of those depending on the situation ?
<lispy> ?scheck \s -> (reverse . reverse) s == (s :: String)
<ddarius> @check \x -> reverse (reverse x) == x
<lambdabot> Completed 1957 test(s) without failure.
<lambdabot> Add a type signature
<JohnMeacham> sorear: hmmm.. I remember that bug.
<sorear> JohnMeacham: is it fixed post-ejthecnar?
<lispy> sm: yeah, hang on
<chessguy> witten, i don't really know much about uniqueness types, but i seem to remember reading that the IO monad takes care of the same problem as uniqueness types does
<ddarius> witter: They are used to solve the same problem, but they work at slightly different levels of abstraction.
<lispy> sm: http://blog.codersbase.com/2006/09/01/simple-unit-testing-in-haskell/
<lambdabot> Title: dagit.o ? Blog Archive ? Simple Unit Testing in Haskell, http://tinyurl.com/h6k97
<sorear> dons: cryptarithm2 is bogus, direly needs an N boost
<witten> chessguy: ok, thanks
<chessguy> witten, but monads in haskell are much more general than just the IO monad
<lispy> sm: that was my exploration of using quickcheck as the unit testing
<witten> ddarius: okay
<dons> witten: they're both used to deal with sequential IO. however monads are also used for many interesting other things, like implementing continutatoins and threads
<sm> great, thank you
<chessguy> witten, the IO monad is just one instance
<JohnMeacham> sorear: I believe so, but some other stuff is broken. there is some tension between the -fvia-ghc and grin backends that is yet to be fully resolved, so fixing something in one sometimes breaks something in the other. you might try -fvia-ghc and see if that helps.
<witten> dons: oh, right
<chessguy> ?all-dict continutatoins
<lambdabot> No match for "continutatoins".
<dons> sorear: i'm thinking of ditching it, since the IO is compiled in
<witten> chessguy: so uniqueness types only solve the same problem that the IO monad does?
<witten> and not other monads?
<chessguy> witten, that's my understanding, yes
<witten> interesting
<dons> chessguy: are you always so narky?
<sorear> witten: uniqueness types also andle ST
<ddarius> witter: More it solves the problem ST/State does and that can be used to solve the IO problem.
<chessguy> dons, i was just curious whether it could find the right word
<chessguy> dons, no offense intended
<dons> ?spell continutatoins
<lambdabot> continuations continuation's continuities contentions continuant's
<witten> hmm
<chessguy> ?all-dict narky
<lambdabot> No match for "narky".
<sorear> witten: uniqueness types make a better ST than monads do, but they can't for-instance easily express backtracking
<dons> ?. all-dict spell continutatoins
<lambdabot> Plugin `compose' failed with: IRCRaised Parse error: "all-dict"
<ddarius> ?. all-dicts spell continuatoin
<sorear> dons +s?
<lambdabot> *** "Continuation" gcide "The Collaborative International Dictionary of English v.0.48"
Previous Page Next Page