Conversation

ME: I have this small program I want to write... 20 NEW LANGS: TRY ME! TRY MEEEE!! ME: ...it involves 2D arrays LANGS: Hmph. *scuttles away*

139

Replying to

and

It's just a goddamn multiply! THIS IS NOT ROCKET SCIENCE.

Replying to

and

would this satisfy your requirements? (this would be J from the APL family)

12:52 PM · Jul 16, 2017Twitter Web Client

Replying to

and

I suspect you're already familiar with array languages, but still, they have the best multidim array support I know (in terms of notation)

Replying to

and

and there's interesting recent research in giving them type systems

github.com

GitHub - jrslepak/Remora: Dependently-typed language with Iverson-style implicit lifting

Dependently-typed language with Iverson-style implicit lifting - GitHub - jrslepak/Remora: Dependently-typed language with Iverson-style implicit lifting

Replying to

and

I know J, APL and Matlab, but all of them are quite old! The only new-ish language I know with good multidim array support is Julia.

Replying to

and

iirc, K is seeing active usage; while proprietary, it has at least one open source implementation github.com/kevinlawler/ko

Show replies