dependently typed regular expressions #haskell
would I have liked this more when I was a perl programmer? I regexp so little now
seeing a lot of type level strings in code using new #haskell features
a bit uncomfortable with this, it's hard to tell when the code is stringily typed and when it's strongly typed
also spot the type-level typo that the type checker won't catch
Linus Torvalds autographed #Debian 2.0 CD from 1998.
@thomasfuchs hard to admit, I've shelved my atari, though I do hope to connect it to a flatscreen display one day