Static typing Archive

What is clean code?

I thought I’d write a little post about what I’ve learned over the years regarding some characteristics of clean code. “Clean” here refers to features that help code being bugfree, or rather “less attracted to bugs” maintainable reusable I think these are the three major aspects developers should ultimately strive for when writing

owlisp does now compile to SECD virtual machine code

owlisp now has an internal SECD virtual machine and compiles expressions to byte-code that this VM understands (see README). I have implemented a VM because I think it might be a nice abstraction layer between the Lisp code and the resulting LLVM-IR and/or Parrot VM IR. It

Dynamic typing <=> Static typing

I am currently working on a type system for owlisp. Obviously, the requirement is that it can map the dynamic nature of Common Lisp types to the statically typed LLVM-IR representation. My current idea of solving this is to represent a Lisp value in LLVM-IR as some