Dan Vanderkam
@danvdk.bsky.social
Independent software developer, formerly @sidewalklabs and Google. Author of Effective TypeScript, now in its 2nd edition (May 2024): https://amzn.to/3UjPrsK
Awesome, thanks so much! Feel free to reach out if you have any questions. Or disagree with anything :)
April 2, 2025 at 5:01 PM
Awesome, thanks so much! Feel free to reach out if you have any questions. Or disagree with anything :)
Oh wow, no! checker.go is a line for line port of checker.ts.
March 12, 2025 at 5:44 PM
Oh wow, no! checker.go is a line for line port of checker.ts.
Looks like the latest version of the course switched to Agda! My repo has the old lectures and homework assignments. I found the Lean homework extremely helpful. github.com/danvk/Stanfo...
GitHub - danvk/Stanford-CS-242-Programming-Languages: Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens
Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens - danvk/Stanford-CS-242-Programming-Languages
github.com
January 31, 2025 at 7:11 PM
Looks like the latest version of the course switched to Agda! My repo has the old lectures and homework assignments. I found the Lean homework extremely helpful. github.com/danvk/Stanfo...
I learned some Lean last year by working through Stanford's CS 242 homework (web.stanford.edu/class/cs242/...) and I'd like to revisit it. My goal would be able to explain what a "dependent type" is using TypeScript.
Syllabus | CS242 website
web.stanford.edu
January 31, 2025 at 4:00 PM
I learned some Lean last year by working through Stanford's CS 242 homework (web.stanford.edu/class/cs242/...) and I'd like to revisit it. My goal would be able to explain what a "dependent type" is using TypeScript.