Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Programmers can make and gradually change these choices within a single language and ecosystem: - Dynamically vs statically typed (vs theorem prover) - Garbage collected vs ownership-based memory management Python, OCaml, and Rust merge (in spirit) to become this language.https://twitter.com/smdiehl/status/1342886946775965697 …
My longstanding dream: what would it take to implement OCaml in Rust, such that you automatically get (at least) the stdlib and package manager for free?
Maybe surprisingly little--only OCaml's runtime system is written in C. Everything else--parser, typechecker, emitter, libraries--are OCaml. Imagine if we were to re-implement only (parts of) the runtime system in Rust.
When I say “get the stdlib for free” I mean eg that OCaml’s array type would actually be Rust’s Vec<T>. Then OCaml code could easily call Rust code and vice versa.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
