Interesting languages

• Austral: https://borretti.me/article/introducing-austral
• Vale
• Ezno
• Dafny https://github.com/dafny-lang/dafny/
• https://www.val-lang.dev/
• https://koka-lang.github.io/koka/doc/index.html

Unsorted

TODO late binding

TODO clojure (esp concurrency)

TODO F#, axum, join patterns

TODO http://research.microsoft.com/apps/pubs/?id=115390 ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser

analysis TODO

• differences btwn pointer analysis and CFA?
• relationship btwn alias analysis and shape analysis?
• escape analysis: determining the dynamic scope of pointers; eg ptrs
• pointer analysis aka points-to analysis: specific case of alias analysis
  • slow
• control flow analysis (CFA) aka data flow analysis
  • 0-CFA
  • backward
    • liveness (dead code elimination)
  • forward
    • reaching definitions
• shape analysis: properties of linked, dynamically allocated structs
  • generalization of ptr analysis
  • powerful but slow -> no widespread use
  • finding leaks; multiple frees; dangling ptrs; bounds errors; type-state properties; algo correctness (eg reverse, sort)