Have you seen Potential
(http://intoverflow.wordpress.com/2010/05/21/announcing-potential-x86-64-assembler-as-a-haskell-edsl/)?
Quote:
The language’s goal is to provide a solid foundation for the development of
a useful (multi-tasked, multi-processor, etc) microkernel
Which sounds like
On Tue, Oct 5, 2010 at 9:19 PM, steffen steffen.sier...@googlemail.com wrote:
Don't be to disappointed. One can always kinda fake lazy evaluation
using mutable cells.
But not that elegantly. In the example given above, all being used is
iterators as streams... this can also be expressed using
On 06/10/10 11:00, C K Kashyap wrote:
My ultimate aim it to
write an EDSL for x86 - as in, describe a micro-kernel in haskell,
compiling and running which would generate C code ( not sure if it's
even possible - but I am really hopeful).
Have you seen Potential
C K Kashyap ckkash...@gmail.com wrote:
Yes. It would slightly easier in, say, C# or C++.
I think 'D' achieves its implementation of the 'lazy' keyword using
a similar approach.
But I did not understand why you are disappointed ?
The disappointment was not on a serious note ... the
Don't be to disappointed. One can always kinda fake lazy evaluation
using mutable cells.
But not that elegantly. In the example given above, all being used is
iterators as streams... this can also be expressed using lazy lists,
true. But one big difference between e.g. lazy lists and iterators is,
