Question about Unbound's FreshM/LFreshM (Compiler)

This page summarizes the projects mentioned and recommended in the original post on /r/haskell
Compiler

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • Schemer

    A simple Scheme compiler for my thesis (by teichholz)

    • I'm currently writing a simple Scheme compiler (https://github.com/teichholz/Schemer) as my first big Haskell project and I can't seem to figure out Unbound / Unbound Generics. I have read the paper and get the internals, though I guess I'm missing Haskell experience. Consider:

  • unbound

    Replib: generic programming & Unbound: generic treatment of binders

    • Here's an example of using LFresh for the simply-typed lambda calculus. https://github.com/sweirich/replib/blob/master/Unbound/Examples/STLC.hs Note that LFresh and FreshM are monads, so they will only guarantee fresh name generation while in the monad. contFreshM lets you "run" the monadic computation, so you'll only want to call it at the "top level" of your program.

  • InfluxDB

    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.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts