Bookmarks tagged types

View all bookmarks

Bidirectional Type Checking - YouTube
www.youtube.com/watch?v=utyBNDj7s2w
types
Saved May 29, 2023
Jon Sterling
www.jonmsterling.com/
typeslanguagescompilers
Saved May 24, 2023
Type Inference
www.cs.cornell.edu/courses/cs3110/2016fa/l/17-inference/notes.html
cabintypes
Saved May 16, 2023
Type inference - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org/type-inference.html
rustcompilerstypes
Saved May 4, 2023
Kajetan Świątek on Twitter: ""Collection of tweet-sized comparisons between #TypeScript union types, enums and const enums" This 🧵 thread will guide to through all three showing what they have in common and what sets them apart. ⏯ Playground: https
twitter.com/KajetanSw/status/1392825710486634498
jststypes
Saved May 14, 2021
Seven deadly sins of talking about “types” (2014)
www.reddit.com/r/ProgrammingLanguages/comments/eajysq/seven_deadly_sins_of_talking_about_types_2014/?utm_name=iossmf
typeslanguages
Saved December 14, 2019
Compiling a Functional Language Using C++, Part 3 - Type Checking
danilafe.com/blog/03_compiler_typechecking/
haskellinterpreterscompilerstypes
Saved November 7, 2019
Hazel, a live functional programming environment featuring typed holes.
hazel.org/
languagesfunctionaltypes
Saved July 15, 2019
Hindley Milner in rust
github.com/tcr/rust-hindley-milner/blob/master/src/lib.rs
rusttypeshm
Saved June 16, 2019
The Hindley-Milner type system
web.mit.edu/6.827/www/old/lectures/L07-Hindley-Milner2Print.pdf
types
Saved May 30, 2019
Type inference
www.cl.cam.ac.uk/teaching/1415/L28/type-inference.pdf
types
Saved May 30, 2019
Hindley-Milner Inference
dev.stephendiehl.com/fun/006_hindley_milner.html
types
Saved May 30, 2019
Typing haskell in haskell
web.cecs.pdx.edu/~mpj/thih/thih.pdf
typeshaskell
Saved May 30, 2019
Type systems and logic
codewords.recurse.com/issues/one/type-systems-and-logic
types
Saved May 30, 2019
Type inference for Haskell
jeremymikkola.com/posts/2019_01_01_type_inference_intro.html
haskelltypes
Saved May 30, 2019
How to implement type theory in an hour on Vimeo
vimeo.com/286652934
types
Saved May 30, 2019
Elm compiler
github.com/elm/compiler
typeshaskellcompilerslanguages
Saved May 30, 2019
Amy programming language
github.com/jdreaver/amy/tree/b38cc7b83ffa7df5e950fc373f5344d9522c1ed4
typesllvmcompilershaskelllanguages
Saved May 30, 2019