4 ms·
You can have "implicit" currying behaving as you described in a dynamically-typed, strictly evaluated language as well.
by m0th87 11y ago
You can have "implicit" currying behaving as you described in a dynamically-typed, strictly evaluated language as well.
- vorg 11y agoI should have written "You can, but..." in front of my comment above because you weren't disagreeing with me. In my original comment I italicized "must be variadic" which was my original emphasis. But if you eliminate variadicity and macros from a dynamically-typed, strictly evaluated language, you might as well add optional static typing so you can extend that implicit currying into monads, etc.