7 Feb
2016
7 Feb
'16
7:42 p.m.
On 02/07/2016 06:23 PM, wren romano wrote:
I'm curious...
Ultimately, ($) is just a name for what is otherwise unnameable: the whitespace which means application. However, application whitespace is a bit funny since it works uniformly for mono-/polymorphic arguments, un/boxed arguments, functions/record fields, etc— which is why we keep running into issues with typing ($).
I like the new type signature. It indicates that you're about to invoke dark magic line noise to avoid something simple and well-understood and in use since the beginning of time (parentheses).