Re: [Haskell] Views in Haskell

Hmm.. this misses one of the major advantages of views IMHO, pattern synonyms, which would let you seamlessly upgrade interfaces to ADTs, which at the moment is cumbersome, you either have to plan from the beginning and use functions instead of pattern matching or create a new, incompatable API. in

[Haskell] O'Haskell -> Tk

Does anybody know O'Haskell or Timber and its interface Tk.hs to Tcl/Tk (see here )? I have the following problem: Tk.hs contains a record (structure) /Canvas/ with selectors line

[Haskell] ANN: polyparse-1.00

polyparse-1.00 -- Announcing: http://www.cs.york.ac.uk/fp/polyparse PolyParse is a collection of parser combinator libraries in Haskell. They were all previously distributed as part of HaXml, but are now split out to make them more widely availab

[Haskell] Re: Even higher-order abstract syntax: typeclasses vs GADT

Benjamin Franksen wrote: > I would be interested whether you can not only /check/ well-typedness, > but also /establish/ it, i.e. is it possible to have the input to the > type-checker be an /untyped/ representation (such as obtained by > parsing a program in text form) and the output be a typed o