Tomasz Zielonka wrote:
> On Mon, Jan 22, 2007 at 11:34:32PM +0100, 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 obta
On Mon, Jan 22, 2007 at 11:34:32PM +0100, 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
David Roundy wrote:
> Another idea is whether the syntax could be extended to indicate a failure
> to match? This would actually be useful even without views, but it's
> particularly useful with views (and especially so in the context of the
> above warnings). I'd imagine something like (with stup
> Provoked by a discussion with Don Syme, and after some helpful
> conversations at POPL, I have finally written up a proposal for adding
> "view patterns" to Haskell. We've wanted views for a long time, but they
> have never made it, into GHC at any rate. This proposal is a very
> lightweight (a
On 1/22/07, Benjamin Franksen <[EMAIL PROTECTED]> wrote:
From my very limited understanding of these issues I would say it is not
possible, neither with type-classes nor with G[AR]DTs because it would mean
the return type of the function 'typecheck' would have to vary depending on
the input data,
Re. Haskell Digest, Vol 41, Issue 3, Quotes of the Week:
* Eric: The Haskell [code] contains no redundancy. In fact, in all
the [Haskell] code I've written, in both production and play, each
idea is expressed once and only once. It is the Zen ideal of
perfect code. And thats ne
[EMAIL PROTECTED] wrote:
> We show the typeclass implementation of the example used to make the
> case for GADTs. We demonstrate the higher-order abstract-syntax-based
> embedding of a language in Haskell and implement static and dynamic
> semantics of the language. The interpreter of the language
On Mon, Jan 22, 2007 at 02:57:27PM +, Simon Peyton-Jones wrote:
> Dear Haskellers
>
> Provoked by a discussion with Don Syme, and after some helpful
> conversations at POPL, I have finally written up a proposal for adding
> "view patterns" to Haskell. We've wanted views for a long time, but t
Just a quick note
In the very first example (function f), the comment should say "f [n]"
insteand of "f [x]"
In the related work, the "Active Patterns" proposal by Palao et at is missing:
http://portal.acm.org/citation.cfm?id=232641&coll=portal&dl=ACM
I thought this work should be included in
Dear Haskellers
Provoked by a discussion with Don Syme, and after some helpful conversations at
POPL, I have finally written up a proposal for adding "view patterns" to
Haskell. We've wanted views for a long time, but they have never made it, into
GHC at any rate. This proposal is a very ligh
++
*** REGISTRATION NOW OPEN ***
Midlands Graduate School in the Foundations of Computing Science
MGS 2007
16-20 April 2007
11 matches
Mail list logo
