5 ms·

Part 2 here: http://ticki.github.io/blog/lambda_crabs_2/ http://ticki.github.io/blog/lambda_crabs_2/

• RangerScience 10y ago
  I know next to nothing about Rust, which makes this all kind of opaque. Can you link a good Getting Started for Rust that pairs well with these?
  • adamnemecek 10y ago
    You can start with this https://doc.rust-lang.org/book/ https://doc.rust-lang.org/book/
• eximius 10y ago
  My goodness! A Lattice (not the linear algebra kind, the abstract algebra kind) being used in the wild? I genuinely never thought I'd see those again outside my analysis textbook. Ticki does really great work in Rust. I think the only thing he's doing that I disagree with is his RFC for a keyword for dynamic dispatch (all we really need is to distinguish trait objects - dynamic dispatch is just the symptom).
  • yomritoyj 10y ago
    Lattices are used to provide a theoretical basis for dataflow analysis in compilers. See Chapter 9 of Aho et al.'s book on compilers. Ordered sets also occur in denotational semantics http://homepage.cs.uiowa.edu/~slonnegr/plf/Book/Chapter10.pdf http://homepage.cs.uiowa.edu/~slonnegr/plf/Book/Chapter10.pd...
  • asQuirreL 10y ago
    Lattices and the associated Galois connections are used quite a bit in the Abstract Interpretation school of program analysis [1]. [1]: https://en.wikipedia.org/wiki/Abstract_interpretation https://en.wikipedia.org/wiki/Abstract_interpretation
  • the8472 10y ago
    Seems to be common among compiler theory people http://www.cliffc.org/blog/2012/03/24/too-much-theory-part-3/ http://www.cliffc.org/blog/2012/03/24/too-much-theory-part-3...