Re: if vs. when vs. and: style question

[tomas]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Mon, Mar 30, 2015 at 03:33:41AM +0200, Óscar Fuentes wrote:
> Stefan Monnier <monnier@iro.umontreal.ca> writes:

[...]

> > you say
> >
> >     Γ ⊢ e : τ

[...]

> > Of course, if you're not familiar with the local conventions, it looks
> > like line noise, but otherwise it offers people much higher concision,
> > so they can focus on the important aspects.
> 
> Those conventions make sense when you work on the same field for long
> enough periods (students, specialized programmers...) but I guess that
> most of us deal with heterogeneous code on a regular basis [...]

> As for the higher concision, it is acceptable for cases where the
> "read-time"/"think-time" ratio is low [...]

Excuse you both my selective quoting. But you're just confirming one fear
I had all along: in our trade (hacking) it seems we spend far too much time
coding and far too little time thinking!

Mathematicians, who think more and tinker less, seem to have found a sweet
spot in a far more compact notation.

- -- t
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlUZGwAACgkQBcgs9XrR2kZf1ACeOXndRSR1WfavvlZYWVVXp+pl
vY8AnAq0IXbfAtap8vgiR3brqRWEIKvo
=O1fE
-----END PGP SIGNATURE-----