"what's a good general-purpose programming language?"
@lupyuen I didn't expect the compiler emphasis, though. Funny twist there. I think web devs like me don't so often think of that.
Yeah. A TDD design gives types and then instances of types. It is in everyday programmers hands, so it is not as often logically sound, as a type system outside of direct human contact would be. But it is a lot better than people give it credit for.
