That was on purpose! In J you get the error at runtime, with Haskell it
catches it at compile time. Even though there isn't a compile time in J, it
would catch it at type checking time, before runtime. But I put forth 2
different scenarios. Giving an optional typesystem for J (Which has just
recently been done: https://github.com/Pascal-J/type-system-j) and fitting
things like sum types into J's model. The latter being much more of a task.
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to