What are you working on, Jow Forums?
Previous thread:
/dpt/ - Dependent Profunctor Types
Luis Gutierrez
Other urls found in this thread:
github.com
wiki.sei.cmu.edu
pypyjs.org
twitter.com
Mason Ross
Jonathan James
But what if it's already in a better language than Rust? Something like OCaml or Haskell
Evan Lee
Ironically, rust is being rewritten in C++: github.com
James Thompson
Concurrent separation type theory
Oliver Carter
learning Idris.
The tutorial on their site could be better, had to research some stuff myself but that's okay. I'm glad that I use Haskell a lot.
If anyone is thinking of learning Idris then you better have Haskll in your little finger
Andrew Long
>what if it isn't already written in Rust
Nicholas Campbell
The base Rust is partially written in C++ anyway as it uses LLVM.
Jayden Howard
>no borrow checking
then why the hell would you use Rust lmao
William Murphy
LLVM rewrite in rust, when?