Re: [Haskell-cafe] afrp code base

[Sam Goldman]

Instinctive wrote:
 I've been coming up to speed on afrp, and I see the code base is
 almost two years old. Is this the state of the art? Thanks.

Henrik Nilsson wrote a paper[1] with (as far as I know unreleased) code 
for dynamic optimizations to yampa with GADTs. I believe that would be 
the state of the art, but I am not sure.


- Sam

[1] www.cs.nott.ac.uk/~nhn/Publications/icfp2005.pdf
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] compiling lazy functional languages

[Sam Goldman]

Sorry if this is too off-topic for this list.

I'm a hobbyist programmer and I've recently become interested in lazy 
functional languages, particularly the optimization strategies available 
to them during compilation. I've been playing around with Haskell for 
about a year and it has been an excellent resource for me.


I guess my main question is this: what are the x most compelling 
directions in optimized compilation for (pure) lazy functional languages 
in recent research (where x::Nat is an unevaluated thunk in your head)


- Sam
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Updating the Haskell Standard

[Sam Goldman]

(oops, forgot to cc to the list)

Bulat Ziganshin wrote:
 Hello John,

 Wednesday, July 20, 2005, 10:14:23 PM, you wrote:

 JG It has been awhile since I wrote a Haskell program that can 
compile in

 JG pure Haskell 98 mode.  I think it would benefit everyone if a more
 JG up-to-date standard were made available.

 imho, there is an unofficial standard made by common GHC/Hugs
 features. afaik, other two Haskell compilers are not evolve any more.
 so that really you want to standartize? :)  i think, the
 standartization process will help only in situations when there is
 several fast-grown and uncompatible realizations

Standardizing now-extensions to Haskell will let them permeate through
the entire standard library. The hardest part in the standardization
process wouldn't be choosing _what_ to include, but researching the
effects on the current Haskell implementation itself.

 question in that i really agree - that documentation about all
 extra-Haskell98 features are spread here and there. it will be great
 if we will add, for example, addendum to gentle introduction where
 new language features and libs will be covered. of course, much of
 this can be borrowed from Hugs/GHC docs and articles, written by its
 developers

I think it would be a good idea to take this page
(http://haskell.org/hawiki/HaskellTwo) and, ignoring the definitely,
possibly, etc., make sure that all the extensions people want in go to
pages which are written in a Gentle Introduction-kind of way.

- Sam (first post)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe