Bharath Ramsundar@rbhar90·Apr 1, 2017I think Tensorial programming has recently outstripped the type theorists in providing a radical new programming paradigm219
'(·)@allgebrahReplying to @rbhar90why not call it "array-based language with static typing"? searching for this yields useful results:github.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 lifting10:23 PM · Apr 1, 2017·Twitter Web Client4 Likes
