Functional Programming with TypeScript's Type System

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

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

    The repository for high quality TypeScript type definitions.

  • While no actual Turing machine’s tape is infinitely long, I found issues in TypeScript with how finite generics are.

    You have to define every possible count of generic arguments. And if you go above that count your type system degrades. I think there’s also a maximum of 10 or so before it doesn’t work. Thought that might have just been VSCode.

    For example, Lodash enumerating types for # generic items per function: https://github.com/DefinitelyTyped/DefinitelyTyped/blob/0452...

    Admittedly I don’t understand the problem space well. I’ve just seen it happen to me and in others’ code. It might not actually be an issue, or is already fixed.

  • TypeScript

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

  • This is an issue open for discussion since 2017

    https://github.com/microsoft/TypeScript/issues/13347

  • 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