Paul Biggar - Dark
devtools.fm: Developer Tools, Open Source, Software Development
00:00
Is There a Type Checker in Dark?
Dark is designed to be a statically typed functional language. It doesn't actually have a type checker, and we put a lot of the type checking into the runtime. So dark will be gaining a typechecker in the future, and that will be part of the editor. There's a couple of languages in academia that have this concept called type tolls.
Transcript
Play full episode
