A talk about using type level programming concepts to prevent code with incorrect business logic. more

Traditionally, programming languages are either interpreted with a bytecode VM, or compiled to machine code. JIT compilers somehow do both, blurring the lines between “interpreted” and “compiled”. How? more