27: Christiaan Baaij
The Haskell Interlude
00:00
The Cost of Specialization in Haskell Programming
In circuits, the non-strek semantics works really well for us in the sense that we can have an argument that means absolutely nothing. And so if we, if it never affects the result, then it doesn't matter what that argument was. So whether you have just a single function and that's applied eight times, you get eight circuits. Or you have one circuit description, but in your top entity, you apply that function eight times. It's the application of the function that matters, not the function definition. In clash, we model sequential circuits or circuits that operate over time as functions that operate on infinite streams. And there we get a lot of tying types like stream s to
Transcript
Play full episode
