search

Lamagraph / interaction-nets-in-fpga

Interaction nets based processor in Clash
MIT License
0 stars 0 forks source link

Support units of measure in the language #29

Open gsvgit opened 3 weeks ago

gsvgit commented 3 weeks ago

Support units of measure. For inspiration look at F#.

In our area it is useful for dimensions.

[<Measure>] type columnId
[<Measure>] type rowId

let getItem mtx (i:uint<columnId>) (j:uint<rowId>) = ...