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.