Fabian Giesen@rygorous·Jul 16, 2017ME: 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*927139
Fabian Giesen@rygorous·Jul 16, 2017Replying to @chrls8x and @krshockIt's just a goddamn multiply! THIS IS NOT ROCKET SCIENCE.17
'(·)@allgebrah·Jul 16, 2017Replying to @rygorous and @krshockwould this satisfy your requirements? (this would be J from the APL family)2
'(·)@allgebrahReplying to @allgebrah @rygorous and @krshockI suspect you're already familiar with array languages, but still, they have the best multidim array support I know (in terms of notation)1:03 PM · Jul 16, 2017·Twitter Web Client
'(·)@allgebrah·Jul 16, 2017Replying to @allgebrah @rygorous and @krshockand there's interesting recent research in giving them type systemsgithub.comGitHub - jrslepak/Remora: Dependently-typed language with Iverson-style implicit liftingDependently-typed language with Iverson-style implicit lifting - GitHub - jrslepak/Remora: Dependently-typed language with Iverson-style implicit lifting