Fwd: [Haskell-cafe] What's the deal with Clean?
Alberto G. Corona
agocorona at gmail.com
Wed Nov 4 04:47:14 EST 2009
The code executed by uniqueness types is somehow similar to the internal
code executed in a state monad (or in the case of IO, the IO monad). The
main difference is that the pairs of results (state, value) are explicitly
written in Clean by the programmer and the type sytem assures that the
order of executions makes sense at compile time, whereas in the case of the
state monad the sequence of instructions is lazily assembled at runtime in
the first step and executed in a second step. So there is a little more
overhead in haskell but the code is higher level.
Am I right?
2009/11/4 wren ng thornton <wren at freegeek.org>
> Stephen Tetley wrote:
>> 2009/11/3 Andrew Coppin <andrewcoppin at btinternet.com>:
>> As far as I can tell, Clean is to Haskell as C is to Pascal. I.e., Clean
>>> notionally very similar to Haskell, but with lots of added clutter,
>>> complexity and general ugliness - but it's probably somehow more
>>> machine-efficient as a result.
>>> (All of which makes the name "Clean" rather ironic, IMHO.)
>> OUuch - you really could put it the other way round.
> Part of this really comes down to how one feels about the monads vs
> uniqueness types argument. It's a silly argument to have since the ideas are
> orthogonal and only really intersect at IO, but there's history there which
> lead to the current state of things.
> Sometimes in Haskell I've thought about how uniqueness typing would make
> something faster, but in general all the plumbing associated with it in
> Clean makes me feel like I'm writing systems-level code (i.e. C, asm)
> instead of using a high-level language. The extra plumbing really makes it
> feel dirtier to work with. That doesn't mean Clean is bad, but I think it
> does contribute to the "cluttered" feeling Haskellers get.
> But as I said, it's a silly argument and folks should use whichever gives
> them warm fuzzies. I also have a vague unnameable distaste whenever working
> with Python, and rather enjoy working with Perl. Nobody's perfect :)
> Live well,
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe