Peridot: A functional language based on two-level type theory

• peridot

  13 388 3.1 Haskell

  Discontinued A fast functional language based on two level type theory

Hey! I'm Peridot's author. Peridot is a language based on two-level type theory which allows for the compiler backend to be written in userspace. The language is really two languages tied together: a logic language, and a dependently typed functional language. The former is built for metaprogramming - high-level optimizers and compilers can be written that translate the latter language into a target language of choice. An in-depth explanation of the language's rationale can be found here.

• unseemly

  4 128 0.0 Rust

  Macros have types!

Did you take a look at paul stansifer's unseemly? https://github.com/paulstansifer/unseemly cc /u/paul_stansifer

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• typer

  1 - -

One of my professor's is also working on a dependently typed language with lisp like macros. It's called typer

Suggest a related project