Sam A. Horvath-Hunt

Support for generic sum types

1

A tracking issue for if this ever becomes viable. In the meantime we should document the challenges faced.

A limitation of our object-based matching API is that an equivalent to the following isn't possible: ```hs case x of A, B -> etc C -> etc ``` ```ts switch...

And then the same for the bindings libs.

Enumeration

1

It's a common use case to want to enumerate members of a sum type. This probably warrants inclusion in this library, but in what shape? In Haskell, for all-nullary constructors,...

Probably LTS (currently v12). And use a matrix in CI. Then repeat for bindings libs.

The equivalent of matching tuples in Haskell: ```hs case (x, y) of (A, B) -> etc otherwise -> etc ``` Potentially relevant/blocker: #15

Failing example: https://github.com/unsplash/sum-types/commit/bd72c559732e7553feb311dfc446512c4617c4c4#diff-177d97aec07fd5b22f04049b34d74939b1d8364a7a83e8fb69ee3ee8695105fbR23

In Helix with typescript-language-server I see this repeatedly in my logs, though the plugin *does* work: ```console $ hx -v $ cat ~/.cache/helix/helix.log 2023-09-30T18:19:23.240 helix_term::application [ERROR] received malformed notification from...

With the `tsx` backend we currently type everything relevant as `ReactElement`. This generally makes sense as it's stricter than `ReactNode`, however we actually could permit consumers to return `ReactNode` in...

Binaries are dynamically linked

5

This usually isn't a problem, however in some environments such as AWS Lambda, or as I'm learning NixOS, it is. Looking at the 0.3.0 release Linux binary: ``` $ ldd...