Skip to content
Hallway
0:00 / 0:00

#clash#lineartypes#fpga

Linear types for circuit design in Haskell/Clash

Christiaan Baaij

40 subscribers • 1 video on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Christiaan Baaij, Clash developer
  • An opinion. It argues one side of a question engineers disagree on.

Advanced. Deep dive for people who know the field.

1.2K views5 years ago1 recommendation

Programming languagesHardwareHaskellElectronicsLanguage design and type systems

Christiaan Baaij makes the case for using linear types to improve hardware description and circuit design in Clash.

Making the case for using linear types in Haskell/Clash circuit descriptions. The talk was recorded at QBayLogic's internal Friday afternoon talks session, so references to "we" means Clash / Clash-compiler developers. Slides: drive.google.com/file/d/1sCAC_AM1ciCsYf0ez7HKz6kCJTgxbYyC The code for the test application demonstrated near the end of the video can be found at: gist.github.com/christiaanb/7f4d0373ff5a4f2a0a670b192ea92dd1 Also, at , that should be "Richard Sharp", not "Robert Sharp".

Why it's here

1 person recommends this

What people say. Recommended as an insightful talk on applying linear types to hardware description languages.

u/darchonin r/haskell • Recommends

Linear types for circuit design in Haskell/Clash
48View on Reddit