Jón Fairbairn wrote (to the Haskell mailing list):
> pi1_3 or proj1_3 or select_1_3 or sel_1_3, even s_1_3 -- omitting the
> "_" means sel is ambiguous (!). We should choose a scheme that can
> cope with such things even if they are unlikely.
> I don't think pi_m_n looks right unless you re
Fergus Henderson wrote (to the Haskell Mailing List):
> [..]
> But it is difficult to track the ongoing discussion, because
> - the interface is slowww (they don't call it the "World Wide Wait"
> for nothing)
I tried it yesterday and had no complaints about the performance.
> - it is diff
Carl R. Witty wrote (to the Haskell mailing list):
> [..]
> The Report could give up and say that column numbers in the
> presence of \u escapes are explicitly implementation-defined.
> [..]
> [This] sounds pretty bad (effectively prohibiting layout in portable
> programs using Unicode chara
I wrote (to the Haskell Mailing List)
> newtype Fruit = Int
> newtype Apples = Apples Fruit
> newtype Bananas = Bananas Fruit
>
> noBananas :: Bananas -> Bool
> noBananas (Bananas bananas)
> = bananas == 0
>
> yesWeHaveNoBananas
> = noBananas (Bananas 0)
>
> yesWeHaveNoA
Marnix Klooster wrote (to the Haskell Mailing List):
> (1) a `type' declaration introduces a new type + two anonymous
> coercions;
> [...]
> (4) if an expression is of type A when type B is expected, and a
> coercion function is defined of type A -> B, then it is
> automatically inser
Rex Page wrote:
> Both ghc and Hugs find that the two equations in the following
> definition specify conflicting arities for the function untokens.
> > untokens :: a -> [[a]] -> [a]
> > untokens separator [ ] = [ ]
> > untokens separator = foldr1 insertSeparator
> > where
> > ins
Lennart Augustsson wrote:
> It looks ugly, but we could say that a data declaration does not
> have to have any constructors:
>
> data Empty =
Philip Wadler responded:
> I'm not keen on the syntax you propose. How about if we allow the
> rhs of a data declaration to be just `empty', wh
REMINDER - REMINDER - REMINDER - REMINDER - REMINDER - REMINDER - REMINDER
CALL FOR PARTICIPATION
The First International Symposium
on
Functional Programming Languages
in
Education
