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

• ghc

  95 2,968 9.7 Haskell

  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

  41 175 9.8 C

  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

  surveyjs.io sponsored

  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.

  

• passerine

  10 1,029 0.0 Rust

  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

  110 189 9.8 Java

  Ecstasy and XVM

  

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

• TypeScript

  1,303 97,944 9.9 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.

• WorkOS

  workos.com sponsored

  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.

  

Suggest a related project