On Fri, Jan 13, 2012 at 8:23 PM, Matthew Farkas-Dyck
wrote:
> p :: P (p (P pp p))
This is not too far off the original design of Miranda, in which type
variable names were drawn from the set {*, **, ***, ...}
/g
--
"Would you be so kind as to remove the apricots from the mashed potatoes?"
___
On Jan 12, 2012 9:18 PM, "Morten Brodersen" <
morten.broder...@constrainttec.com> wrote:
>
> Unfortunately most unix/windows/tools/source
> controls/editors out there are Ascii only.
This is probably not true. I'm among the most annoyed people at this
Unicode trend... but the problem is in text e
Actually, we don't need symbols at all, nor all these damned letters.
The set of valid characters in an identifier can be of size 2: one
each upper- and lower-case, e.g. [Pp].
For example, to define const function:
p :: P (p (P pp p));
p pp _ = pp;
where P is function type.
If we drop all the s
On 13/01/2012, Herbert Valerio Riedel wrote:
> On Fri, 2012-01-13 at 15:16 +1100, Morten Brodersen wrote:
>> Unfortunately most unix/windows/tools/source controls/editors out
>> there are Ascii only.
>
> So after about 20 years the unicode standard has been around, the
> quantification "most" stil
On 12/01/2012, Morten Brodersen wrote:
> Even if Unicode is not required, there is still a fallout. Let's look at
> a simple scenario:
>
> Somebody uploads a nice useful Haskell module that include a number of
> Unicode symbols.
>
> Unfortunately most unix/windows/tools/source controls/editors out
On 13/01/2012, Simon Peyton-Jones wrote:
> Thanks to Greg for leading the records debate. I apologise that I
> don't have enough bandwidth to make more than an occasional
> contribution. Greg's new wiki page, and the discussion so far has
> clarified my thinking, and this message tries to expres
Thanks to Greg for leading the records debate. I apologise that I
don't have enough bandwidth to make more than an occasional
contribution. Greg's new wiki page, and the discussion so far has
clarified my thinking, and this message tries to express that new
clarity. I put a conclusion at the end
On Fri, Jan 13, 2012 at 04:34:37PM +0100, Chadda?? Fouch?? wrote:
> On Thu, Jan 12, 2012 at 7:53 PM, Serge D. Mechveliani
> wrote:
> > [..]
> > I need to organize a string interface for a Haskell function
> > Main.axiom and a C program
> > fifoFromA.c
> >
> > via a p
>
>
> Let me suggest that a simple non-nuclear alternative would be for people
> interested in Unicode symbols to use an editor that auto converts from
> Haskell Ascii to Haskell Unicode when loading and (of course) back again
> when saving. You can do that today. You can even pick your own Ascii
>
On Fri, 2012-01-13 at 15:16 +1100, Morten Brodersen wrote:
> Unfortunately most unix/windows/tools/source controls/editors out
> there are Ascii only.
So after about 20 years the unicode standard has been around, the
quantification "most" still applies? Maybe I'm using a
non-representative platfor
10 matches
Mail list logo
