miniblog.

← Back to all posts
Apr 5, 2014 at 13:01
After some soul-searching, I'm removing truthiness from Trifle lisp:
Changing `if` to require the condition to be a boolean instead of a · Wilfred/trifle@f3e0d0f
Changing `if` to require the condition to be a boolean instead of a · Wilfred/trifle@f3e0d0f
'truthy' value. This has several advantages. Firstly, it makes a type checker more useful since previously the condition to `if` could be any type. Secondly, it's more explicit. Compa...

Related Posts

Dec 10, 2022 at 20:16
Arrays being truthy in JS still catches me out sometimes. In Python or Lisp, empty lists are falsey and truthiness is safe and idiomatic.
Apr 4, 2021 at 08:36
15
I've just added `and` to my toy lisp compiler: https://github.com/Wilfred/proper-compiler-hat/commit/af5c77e30ecbf4884e71c1177a086337aa74d237 It's just a plain function, not a macro or special form. Is that so bad? I've seen confusing uses of `and` with truthiness e.g. `(and maybe-nil (compute-default))` and I'd rather avoid that.
Sep 23, 2017 at 21:55
Impressive! Elm can detect if you're assuming truthiness semantics,& the type checker will make helpful suggestions:
news/compilers-as-assistants
A delightful language with friendly error messages, great performance, small assets, and no runtime exceptions.