Haskell caveats
October 18, 2022 —
sameer
Table of Contents
- 1. retrofitting haskell
- 1.1. haskell proofs are partial, if a term corresponding to a type compiles , either term is a valid proof or its eval ll diverge
- 1.2. inconsistent typesystem , you can't return the truth
- 1.3. boxing to keep functions pure , async message passing
- 1.4. ml- functor :: ghc- interface
- 1.5. ghc can access unlifted type- hie api, ghc-debug/ event-manager
- 1.6. reify left ghc undecidable termination
- 1.7. encoding y-combinator via infinite newtypes
- 1.8. liquid haskell - ghc elaboration is coherent by default