/SPar

An Haskell DSL that compiled to dead-lock free and parallel C code utilising Actor-based Concurrency and recursion schemes

Primary LanguageCBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

spar

You need to install stack to start this project.

$ git clone https://github.com/Richard-zhang/SPar.git --recursive
$ cd SPar && make cr

Questions

  1. How to build recursive data type without the mu? For example, List = \mu a. ('PSum ('PK ()) ('PProd ('PK elem) 'PId)) a
  2. How to build a function whose data type is Core (a->b) using by composing existing constructors?
  3. Why there isn't :$ and Lam constructors?