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
All posts…
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)