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
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.
Oh I see, something like what BuckleScript (now ReScript) has done for JavaScript. Or Elixir for Erlang.
Yes, like that. The PL challenge is how to automatically lift an API designed eg for ownership into one that works with garbage collection. For example, guard pattern (eg releasing mutex in destructor) is hard without ownership.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
