サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
夏の料理
christiaanb.github.io
Since version 7.10.1, GHC supports so-called type-checker plugins which let us extend GHC’s constraint solver, i.e. extend the the range of programs GHC can type check. Several plugins have already been released, the ones I know are: Adam Gundry’s uom-plugin: for supporting units of measure. Iavor Diatchki’s type-nat-solver: which allows you to hook up SMT solvers to solve numeric constraints. M
CλaSH : CAES Language for Synchronous HardwareIntroduction CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The merits of using a functional language to describe hardware comes from the fact that combinational circuits can be directly modeled as mathematical functions and that funct
このページを最初にブックマークしてみませんか?
『christiaanb.github.io』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く