Programmable type systems?

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages
HacktoberFest Dhall raku Compiler configuration-language

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • dhall-lang

    Maintainable configuration files

    Dhall (https://dhall-lang.org) is an example of a language where types are first-class values

  • roast

    🦋 Raku test suite

    In Raku, the type system uses runtime behavior so you can have types with arbitrary conditions and/or values

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  • Idris2

    A purely functional programming language with first class 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