Mhh. Hardware description languages with dependent types. Anyone ever did it before? Is it a thing?
-
-
Replying to @andreasdotorg
Not that I know, but clash could serve as a starting (play)ground.
1 reply 0 retweets 0 likes -
-
Replying to @andreasdotorg @xkummerer
Really interested to see what you find, I guess you already saw Tom Hawkins stuff? Back in the day I played with his confluence thing (a scheme-ish HDL) and I see he also did something called HDCaml. Really seemed like a promising path back then..
1 reply 0 retweets 3 likes
Replying to @csirac2 @xkummerer
No, I didn't. Will check it out!
4:48 AM - 10 Mar 2018
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.