Haskell doesn't have macros

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

Our great sponsors
  • InfluxDB - Access the most powerful time series database as a service
  • SonarLint - Clean code begins in your IDE with SonarLint
  • SaaSHub - Software Alternatives and Reviews
  • klister

    an implementation of stuck macros

    In Klister, which already has Scheme-like macros and Haskell-like types (polymorphism, algebraic types and higher-kinded types, but not yet fancier types like RankNTypes and GADTs), our plan to get the best of both worlds (lexical syntax and typed ASTs) is to separate parsing from macro evaluation. That is, users write their programs using the surface syntax of s-expressions, parsers parse those into typed ASTs, and macros are typed by the type of the ASTs they receive as input and produce as output. At this stage this is only a research idea, I don't know if that's going to work out yet, but I hope so!

  • Squid

    Squid – type-safe metaprogramming and compilation framework for Scala (by epfldata)

    In the video, the presenter says he doesn't know any other system with "type-aware hygienic macros". You may want to have a quick look at Scala 3, which also has such a system. See, for instance, this paper and also the precursor work by myself for Scala 2: https://github.com/epfldata/squid#publications

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

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