Achieving nullable ergonomics with a real optional type without special compiler privileges.

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

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.io
featured
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
  • ghc

    Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  • As for the implementation details, I would suggest looking into Haskell’s maybe implementation as an example. There are lots of ways to implement ADTs in a form that’s extensible and ergonomic enough for the end user.

  • seed7

    Source code of Seed7

  • It used to work pretty well only if the core PL makes semicolons programmable, but given the development of effect systems, plus customizable syntax as in https://github.com/ThomasMertes/seed7 and https://github.com/vrtbl/passerine , I'd say, there are much more we can do about it.

  • 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
  • passerine

    A small extensible programming language designed for concise expression with little code.

  • It used to work pretty well only if the core PL makes semicolons programmable, but given the development of effect systems, plus customizable syntax as in https://github.com/ThomasMertes/seed7 and https://github.com/vrtbl/passerine , I'd say, there are much more we can do about it.

  • xvm

    Ecstasy and XVM

  • The Ecstasy "null" is an enumeration that looks like this:

  • TypeScript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TypeScript has a very powerful type system and allows type exclusion. So one can do Map>. This is not how it is done in the Map definition built into TypeScript it's held rather simple.

  • 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

  • Show HN: We are trying to (finally) get tail-calls into the WebAssembly standard

    11 projects | news.ycombinator.com | 12 Jul 2022
  • Why are you building a programming language?

    16 projects | /r/ProgrammingLanguages | 5 Sep 2021
  • Svelte Series-1: An awesome framework

    6 projects | dev.to | 15 May 2024
  • React Compiler is now open source

    3 projects | news.ycombinator.com | 15 May 2024
  • Branded Types for TypeScript

    4 projects | news.ycombinator.com | 15 May 2024