-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
On Sun, Dec 7, 2008 at 1:58 PM, Jean-Philippe Bernardy wrote:
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEAREKAAYFAkk8IVgACgkQvpDo5Pfl1oLUqACgg1ARvRvyfw8dK1OsvM+9ISJM
E/kAnjpVrLuP0kZLCD5VHt/kzLLuco1f
=puYU
-----END PGP SIGNATURE-----
>
> On Sun, Dec 7, 2008 at 7:10 PM, Gwern Branwen <[EMAIL PROTECTED]> wrote:
>>
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA512
>>
>> On Sun, Dec 7, 2008 at 6:29 AM, Jean-Philippe Bernardy wrote:
>> -----BEGIN PGP SIGNATURE-----
>> Version: GnuPG v1.4.9 (GNU/Linux)
>>
>> iEYEAREKAAYFAkk8EbAACgkQvpDo5Pfl1oL0WwCfak6Gr5cV16+w1yzXTbB1wvFE
>> CzoAoJsCaWwKCuPTHiDrox4dw4xjf+bM
>> =Ir3d
>> -----END PGP SIGNATURE-----
>>
>>>
>>> After some thought, I think I prefer the \_ -> notation in many cases.
>>> 1. It is easy to generalize to \_ _ ->, etc.
>>> 2. the stuff we ignore can be named (\ _input -> )
>>>
>>> In general, do leave stylistic decisions/changes to the maintainer of the
>>> code.
>>>
>>> Thanks,
>>> JP.
>>
>> I see. Perhaps we need some additions to the STYLE guide then, because
>> \_ certainly hadn't been mentioned before that patch.
>> I'm sending in some additions based on recent discussions (and
>> borrowing some points from the XMonad style guide).
>>
>
> Amended where I felt it should be.
>
> Thanks!
> -- JP
A few points:
1) the last item looks a bit funny since you seem to've removed the indentation.
2) Is it really a good idea to recommend writing stuff like 'foo a _b
= a'? A little experimentation convinces me that it has the same
effect as writing _, but the first several times I saw it in Yi, it
confused the heck out of me - I was convinced I had made a typo or two
parameters had gotten run together or something. I'm not sure, but I
don't think I've seen that idiom anywhere else before.
3) {- -} is a net savings of characters after just 3 lines. 10 seems
too many to me, but I guess that's your prerogative.
--
gwern
--~--~---------~--~----~------------~-------~--~----~
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
