Comments on: From Haskell to hardware via cartesian closed categories http://conal.net/blog/posts/haskell-to-hardware-via-cccs Inspirations & experiments, mainly about denotative/functional programming in Haskell Sat, 26 Sep 2020 21:06:12 +0000 hourly 1 http://wordpress.org/?v=4.1.17 By: Muzaffer Kal http://conal.net/blog/posts/haskell-to-hardware-via-cccs#comment-862 Sun, 08 Dec 2013 08:20:44 +0000 http://conal.net/blog/?p=523#comment-862 Hi, Are you aware of this work http://clash.ewi.utwente.nl/ClaSH/Home.html ? Currently getting deeper into Haskell and very interested in Haskell for Hardware

]]> By: Conal Elliott » Blog Archive » Circuits as a bicartesian closed category http://conal.net/blog/posts/haskell-to-hardware-via-cccs#comment-861 Mon, 16 Sep 2013 22:52:21 +0000 http://conal.net/blog/?p=523#comment-861 […] previous few posts have been about cartesian closed categories (CCCs). In From Haskell to hardware via […]

]]> By: Lev http://conal.net/blog/posts/haskell-to-hardware-via-cccs#comment-860 Sun, 15 Sep 2013 20:43:47 +0000 http://conal.net/blog/?p=523#comment-860 Haskell to HDL are the great news !! . Being VLSI engineer and Haskell beginner I am looking forward to possibility to use Haskell for VLSI . I’m interested in it as a potential user . Would it be used as DSL to describe invariants + temporal logic to be translated to HDL/netlist ? Or maybe to be used to concisely describe netlist ? Can you provide with some motivational example , such as DSL -> Dsl Translation -> Final representation

Regards, Lev

]]> By: conal http://conal.net/blog/posts/haskell-to-hardware-via-cccs#comment-859 Sat, 14 Sep 2013 00:58:22 +0000 http://conal.net/blog/?p=523#comment-859 Max & Gabor & others: Thanks much for the reminder about Adam’s generalized arrows work. I’m revisiting it now.

]]> By: Gabor Grief http://conal.net/blog/posts/haskell-to-hardware-via-cccs#comment-858 Fri, 13 Sep 2013 21:41:22 +0000 http://conal.net/blog/?p=523#comment-858 Conal, are you aware of Adam Megacz’ work? http://www.cs.berkeley.edu/~megacz/garrows/

]]> By: Max http://conal.net/blog/posts/haskell-to-hardware-via-cccs#comment-857 Fri, 13 Sep 2013 07:46:23 +0000 http://conal.net/blog/?p=523#comment-857 You are probably aware of GArrows (http://www.cs.berkeley.edu/~megacz/garrows/), which implements a GHC pass translating Haskell terms into a language of arrows, but if not you may find that link useful.

]]>