osa1 - index

osa1

Recent posts

OOP is not that bad, actually - October 9, 2024
My thoughts on OCaml - April 24, 2023
Fast polymorphic record access - January 23, 2023
Products and sums, named and anonymous - April 10, 2021
Conditional compilation based on crate type - December 24, 2020
8 years of Haskell - June 30, 2020
gdb breakpoints with conditions on backtrace - April 25, 2020
New blog post published on Well-Typed's blog - March 25, 2020
Knot-tying: two more examples, and an alternative - February 27, 2020
Knot-tying: why and how (and my opinions on it) - February 21, 2020

Tags

asm (1), box2d (1), c (2), coffeescript (1), coq (9), cpp (3), cps (1), django (9), en (95), ffi (1), gdb (1), ghc (12), ghcjs (2), git (1), gsoc (2), haskell (49), hslua (2), java (15), javascript (3), kframework (1), lisp (14), lua (13), multi-stage programming (6), nautilus (2), ocaml (6), parsing (3), partial evaluation (3), plt (5), prolog (2), pygame (5), python (38), rpython (1), rust (5), shen (2), supercompilation (5), threejs (1), tr (87), types (6), vim (8)