
林子篆
I am a programming language theory lover; good at system software like Networking, OS.
Education
Kaohsiung Medical University
Infinite Type
Infinite Type
3 min read
nix report
nix report
3 min read
Testing in Go
Testing in Go
3 min read
Go quick start
Go quick start
4 min read
Error is Value
Error is Value
3 min read
loading...
Recent comments
Hindley-Milner type system: Incrementally build way & Make new language in Racket
thanks
gRPC quick start in Go
A short answer is it's possible, but that also means you ar...
NOTE: simply typed lambda calculus
Unfortunately, this kind of article with so many latex symb...
🤑🥳😎Going down the youtube tech guru hole or how you can spot scam artists
I also feel not good with such courses but on the other han...
Get Started Writing Scheme
Just take a look at awesome-racket, github.com/Junker/routy...
NOTE: bounded polymorphism
forgot that MathJax expression xd. Did anyone know how to u...
Phabricator is Phabulous
really cool, thanks for sharing.
When is nesting good or neutral?
A few cases, sometimes we cannot extract out a function bec...