[Haskell-cafe] Well typed OS

[Vanessa McHale]

I've never understood why functional (and in particular
Haskell-influenced) approaches to hardware never took off. I suspect it
was political (Haskell is too academic, etc.), or perhaps the companies
using it are just quiet about it :)

I think you could use monads for clock domains. Once something has a
clocked input, its output will be clocked too - it fits well with the
"lift anything unclocked to clocked, but once clocked it is *always*
clocked".

On 10/21/18 2:59 AM, Siddharth Bhat wrote:
> Kind of tangential, but bluespev verilog is a "Haskell inspired"
> version of verilog that has a strong Haskell flavour (typeclasses,
> purity, a rudimentary effect system that tracks combinational versus
> state based logic, clock domains embedded into the type, width
> polymorphic functions, etc).
>
> It's a really great way to see what a haskell-like-hardware
> description language could look like :)
>
> Cheers
> siddharth
>
> On Sun 21 Oct, 2018, 12:34 Joachim Durchholz, <jo at durchholz.org
> <mailto:jo at durchholz.org>> wrote:
>
>     Am 21.10.18 um 04:52 schrieb Will Yager:
>     >
>     > This is the basis of projects like Clash (Haskell to HDLs).  I
>     imagine one could extend the clash approach to generate
>     allocation-free assembly from the same (large) subset of Haskell.
>
>     Is that subset described somewhere?
>
>     Regards,
>     Jo
>     _______________________________________________
>     Haskell-Cafe mailing list
>     To (un)subscribe, modify options or view archives go to:
>     http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>     Only members subscribed via the mailman list are allowed to post.
>
> -- 
> Sending this from my phone, please excuse any typos!
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20181021/285618bb/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20181021/285618bb/attachment.sig>