Абмеркаванне

Maybe The Little Typer?

@vitaut The Ugly Typling.

-- aka either the C++ or the Rust standard libraries.

@seanmiddleditch C++: we have dependent types at home (via NTTP)

@vitaut The Little Typer is a slower intro but good (in the style of The Little Schemer). There's also Type Driven Development with Idris which I haven't read but I'm sure is good because Edwin was my advisor in undergrad.

- https://thelittletyper.com/
- https://www.manning.com/books/type-driven-development-with-idris

@lenary Thank you!

@vitaut

I learned much about type systems from Benjamin Pierce book(s) and from my students who i made reading and talking about them in a seminar

eg

https://www.cis.upenn.edu/~bcpierce/tapl/