thautwarm/idris-python

Successor project: https://github.com/thautwarm/Quick-Backend

idris-Python

Finally, we reached dependent types in Python side.

Requirements

• The Haskell Tool Stack
• Python 3.7+

P.S: For users of Python3.7-, you can make a PR to remove the usages of dataclass and from __future__ import annotations to support almost all Python versions, which I don't have time and motivations to deal with.

Install

Firstly you should clone Idris-Cam and install it:

Then install idris-python,

Usage

• Command: Idris-Python

• Command: Run-Cam

Example

Quite verbose for the lack of encapsulations, not a good example but I'm too busy to work for this.

Following example just revealed that I've alredy implmented such a big task.

You might got

If you run it as a file with command idris-python.

idris-python's Issues

Unsafe coercion leads to the missing of datatype definition and construction

idris-lang/Idris-dev#4692

Currently, the workaroud is using the datatypes you'd use in FFIs at least once without FFI, making sure they engage in the computation that' ll be used in main without being unsafe coerced(like show them and then putStrLn ).

use Quick-backend as the underlying implementation

https://github.com/thautwarm/Quick-Backend

MacOS support

Can I build this on MacOS Catalina?

Currently when I'm trying to launch stack build I have an error

Installed GHC.

Error: While constructing the build plan, the following exceptions were encountered:

In the dependencies for Cabal-2.4.1.0:
    unix must match >=2.6.0.0 && <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> Cabal-2.4.1.0

In the dependencies for base-compat-0.10.5:
    unix needed, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> base-compat-0.10.5

In the dependencies for directory-1.3.6.0:
    unix must match >=2.5.1 && <2.9, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> directory-1.3.6.0

In the dependencies for haskeline-0.7.5.0:
    unix must match >=2.0 && <2.9, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> haskeline-0.7.5.0

In the dependencies for hfsevents-0.1.6:
    unix needed, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> hfsevents-0.1.6

In the dependencies for idris-1.3.2:
    unix must match <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> idris-1.3.2

In the dependencies for idris-cam-0.1.0.0:
    unix must match <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed since idris-cam is a build target.

In the dependencies for network-2.8.0.0:
    unix must match >=2, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> network-2.8.0.0

In the dependencies for process-1.6.7.0:
    unix must match >=2.5 && <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> process-1.6.7.0

In the dependencies for unix-compat-0.5.1:
    unix must match >=2.4 && <2.9, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> unix-compat-0.5.1

In the dependencies for zip-archive-0.4:
    unix needed, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> zip-archive-0.4

Some different approaches to resolving this:

  * Recommended action: try adding the following to your extra-deps in /Users/bmwant/projects/idris-cam/stack.yaml:

- unix-2.7.2.2@sha256:e69269a17b9fa26cb77f3f55e86c39d0a4940ccfa0c4bc20826919d2572076ad,3496

Plan construction failed.

Is it related to the OS used or some specific versions of toolset is required? Any guidance of how I should debug/resolve this error would be helpful.