3 ms·

http://www.it.uu.se/research/group/languages/software/ca_tree/catree_proofs.pdf http://www.it.uu.se/research/group/languages/software/ca_tre... Looks like this

• diggan 6y ago
  I guess relative to other examples of academia -> deployed in field, that's relatively quick! Using CSP (Communicating sequential processes) as an example of sometimes how long time it can take before academic ideas are actually developed: Initially CSP was described in 1978, but it wasn't until Golang (2009) and Clojure (2013) came around implementing it that the idea actually became popular.
  • macintux 6y ago
    Clojure's first release was 2007, or are you referring to a feature released in 2013?
    • diggan 6y ago
      Yeah, referring to the initial release of core.async (Clojure implementation of CSP) which seems to have been in late 2013 (https://github.com/clojure/core.async https://github.com/clojure/core.async). Clojure usually ships new features as libraries rather than changing the core language, so both a feature and a library I guess.