Has anyone experience with APL or one of its
dialects? (I've tried J, for instance.)
I am impressed with the concise power of the
proprietary K language from www.kx.com and would
like to have some of that expressive power around when I write Caml
code.
I am interested in learning if there are any Caml
features that would enable APL-like vector manipulation and K-like transparent
i/o, but with type safety.