Do not let your type system reason about aliasing in your programming language | Hacker News - But Better

Do not let your type system reason about aliasing in your programming language futhark-lang.org

A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

1 points•mpweiher•4 days ago•0 comments•

#programming #programming language #let #reason #aliasing #type #system #type system

0 comments

No comments yet.

Related stories

Do not let your type system reason about aliasing in your programming languagefuthark-lang.org
Lobsters · 32 points · 7 days ago
Make the Raku programming language familiar to C++ programmerssoftware.gellyfish.co.uk
Lobsters · 8 points · over 4 years ago
Introducing Brunost: The Nynorsk Programming Languagelindbakk.com
Lobsters · 10 points · 6 months ago
Flix - The Elegance of Functional Programming with the Conciseness of Logic Programmingflix.github.io
Lobsters · 11 points · about 10 years ago
Is your programming language unreasonable?fsharpforfunandprofit.com
Lobsters · 9 points · over 11 years ago
Self Programming Language Release “Mandarin” 2017.1blog.selflanguage.org
Lobsters · 11 points · over 9 years ago