the powers of not overcomplicating type systems i.redd.it

Submitted by no_defun_allowed in church_of_alonzo_church (edited )

this would be called "the powers of dynamic typing" but well there's haskallers here and the Y combinator is a silly example, and there is a Typed Racket example that is just as short as the Scheme one


“Zero-cost abstractions are zero-cost if you don’t abstract.” —Rust Prophet ~ stylewarning on #lispcafe


You must log in or register to comment.