Alberto La Rocca

Results 23 comments of Alberto La Rocca

Tuple types must always be included in round brackets, otherwise the commas would create an ambiguous syntax: ``` lambda fn x: string, string -> ... ``` The above is actually...

TODO list: - deconstructions, - operators, - string formatting. Operators can only be applied on tuples of the same arity. Applying an operator to a pair of tuples is equivalent...

#89 might actually obsolete all the use cases of "nullable" values, but maybe's would still be useful to handle failures.

Proposed syntax for operator overloading: ``` lambda let operator = fn x: type, y: type -> expr in rest ``` Where: - `operator` is the operator that is being overloaded,...

Hint: why not also try to assess the properties of the new definitions? We could issue warnings if the user tries to define partial order operators to something different than...

We can call these "lazy lists".

After 7bf96132b458d735df13bc1da4469015cd1a0d18 all the global constructors have `this` as the first parameter, so this is no longer an option. `new` should be implemented before the next release. I'm also marking...

Based on the new unmarshalling algorithm for native closures, the number of parameters to apply is no longer determined from the length of the native closure. For native constructors `new`...

e9392f8883ca275b7957dcb935d074c920e12855 introduces `new`, but only for Lambda closures.

The second one happens because there's a marshal round-trip for the `log` function and "expandos" don't get marshalled towards the native side. That is, when the expanded `log` closure is...