[Haskell-cafe] Re: streaming translation using monads
ccshan at post.harvard.edu
Wed Nov 19 15:18:31 EST 2008
Warren Harris <warrensomebody at gmail.com> wrote in article <C50D2EF9-7DDC-4066-8434-A51ADA96440F at gmail.com> in gmane.comp.lang.haskell.cafe:
> However, the use of a
> universal type for the values would still seem to be required since
> there is no way to implement type-indexed values when the queries
> themselves are expressed as an abstract datatype rather than as
> functions. Am I overlooking something?
You might find inspiration in the fact that printf and scanf can be
expressed in ML/Haskell without any fancy type-system features.
Credits to: Olivier Danvy, Zhe Yang, Kenichi Asai, Oleg Kiselyov,
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
2008-11-20 Universal Children's Day http://unicef.org/
1948-12-10 Universal Declaration of Human Rights http://everyhumanhasrights.org
More information about the Haskell-Cafe