27: Christiaan Baaij
The Haskell Interlude
00:00
How to Use Types to Guide Your Code
A clash is, I guess somewhat necessarily a whole program or the clash compilers necessary. So we actually load all of the core definitions from the dot hi interface files if they are there. We specialize on all the arguments that cannot be represented naively as a circuit,. This includes functions or data types containing functions like dictionaries. Something like map will have basically many specializations of map and specialized on its first argument.We don't do the functionalization. You're exhausted when you've done all the patterns for two bits. But if you have five constructors, then yeah, you get three bits. So eight possibilities of which only five actually mean something. Having something above bit factors as
Transcript
Play full episode
