Hacker News Reader

Comment by mneary | Hacker News Reader

With Typical[1], I took a different approach enforcing types on the functions.

The approach is interesting but the syntax makes it hard to use. Why not make the first arguments the types like one would expect?

I went back and forth with that. I think I went with postfix because there exists another syntax which looks prefix:

    T([Number, Number])(function(x) { return x; })

For this method, a function type is defined and then serves as a constructor that accepts a function as argument.