typedefs / try-typedefs

Try Typedefs!

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

try-typedefs's Issues

Add links

Add links to:

• typedefs.com
• github
• statebox
• documentation?
• ...

Read type/term definitions from URL

reasonML and JSON output broken

The console reports "unssuported backend"

Deploy online

we have typedefs.org, and we could create a github pages thing.

• publish online
• refactor a bit so that it works (subdirs, bundling)
• add subdomain

Catch errors

Example: this causes an error, but only prints output to the console, so the user will not see anything. typedefs/typedefs#117

Get typedefs.js from NPM

See https://github.com/typedefs/typedefs.js

Update to most recent typedefs version

• Update typedefs js code
• bundle it once as a typedefs bundle
• update UI code to use new typedefs version
• update examples

`oops` as example result

The examples name MySum (+ 1 0)) and name MyProduct (* 1 1)) produce oops as result, which isn't expected

Create demoable Typedefs IDE

Expose Haskell, ReasonML, JSON backends

Radio buttons are not mutually exclusive

Do parsing asynchronously

Parsing things can take a fairly long time so we don't want to block the whole page while doing so.

• use a web worker to do the parsing on
• show a waiting indicator

Revert hacks to get the specialisation preview release to build

• Stop overriding the typedefs npm package by an included bundle file: https://github.com/typedefs/try-typedefs/pull/23/files#diff-a89910110c5c8700a71e3c918d7ef28cR3
• simplify the build? it's a bit of a legacy mess of files atm.

/cc @andrevidela

Render Typedefs using MathJax

Render multi-line examples in menu

License

Maybe it would be a good idea to add a license, so that people could fiddle around with the code freely