Do not let your type system reason about aliasing in your programming language
Lobsters·32 points·fanf·8 days ago·futhark-lang.org
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Read the full article at futhark-lang.org →
Related stories
- Hacker News · 1 points · 5 days ago
- Make the Raku programming language familiar to C++ programmerssoftware.gellyfish.co.ukLobsters · 8 points · over 4 years ago
- Lobsters · 10 points · 6 months ago
- Flix - The Elegance of Functional Programming with the Conciseness of Logic Programmingflix.github.ioLobsters · 11 points · about 10 years ago
- Is your programming language unreasonable?fsharpforfunandprofit.comLobsters · 9 points · over 11 years ago
- Self Programming Language Release “Mandarin” 2017.1blog.selflanguage.orgLobsters · 11 points · over 9 years ago