Alternative to monads for enforcing purity?

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

Our great sponsors
  • SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • firefly-boot

    Bootstrap compiler for Firefly

  • Firefly uses object capabilities for enforcing purity:

  • eff

    A functional programming language based on algebraic effect handlers (by matijapretnar)

  • BTW, monads and "algebraic effects" aren't really foreign concepts to each other (they differ in which aspect they are lazy/eager). For example: this fragment from Eff compiler is basically 1-1 correspondent to a Free monad instance.

  • SurveyJS

    Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

    SurveyJS 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