typedefs/purescript-typedefs-interop

DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

Typedefs

About

Typedefs is a programming language-agnostic, algebraic data type definition language, written in Idris.

See http://typedefs.com, or play around with examples at Try Typedefs!

Build and run

Nix package descriptions, an Elba manifest and a Makefile are provided.

Nix packages

If you want to build everything, do:

nix-build

If you only want to build a specific package:

nix-build -A typedefs.nix

Makefile

Build everything:

make build-lib
sudo make install-lib
make build-rest

Build a specific package:

make build pkg=typedefs

Build documentation:

make doc-all

Run tests:

make test-all

Install:

sudo make install-all

Clean up:

make clean-all

Elba

There is a complete tutorial on how to compile and install typedefs using the elba package manager here.

In most cases it should be just as easy as:

elba install

purescript-typedefs-interop's Issues

Probably doomed, should write proper AST

So @clayrat noted:

alex 5:15 PM hm looks like the `ps-interop` thing is doomed 😞
alex 5:15 PM the internal JS representation of `Mu`'s `Inn` is just a `()`
alex 5:16 PM so you can't deserialize mu-terms
alex 5:17 PM guess we should switch to writing proper termdefs for js

So we have two ways in which other programming languages relate to typedefs.

1. target language for static codegenerator
2. have representation of typedefs type definitions work dynamically with types (reflect into UI, generic programming on types, etc)

One option would be to write a typedef loosely representing the parsed AST and then use the typedefs compiler to generate the 'typedefs-interop' thing

Add build files.