Extensible ASTs with extensible types

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

Nutrient - The #1 PDF SDK Library
Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.
nutrient.io
featured
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
  1. hypertypes

    Hypertypes - generic programming for heterogeneous recursive types

    Otherwise I would go for modularity rather than extensibility and use hypertypes or an equivalent mechanism to represent the types.

  2. Nutrient

    Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.

    Nutrient logo
  3. danac

    A compiler for the Dana programming language

  4. open-typerep

    Open type representations and dynamic types

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

  • My quest for the perfect AST representation

    1 project | /r/haskell | 23 May 2023
  • Types versus sets (and what about categories?)

    1 project | news.ycombinator.com | 31 Aug 2023
  • If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?

    5 projects | /r/math | 11 Jul 2023
  • What can Category Theory do?

    2 projects | /r/askmath | 22 Jun 2023
  • Amendmend proposal: Changed syntax for Or patterns

    2 projects | /r/haskell | 14 Apr 2023

Did you know that Haskell is
the 25th most popular programming language
based on number of references?