Implement type inference for JsonLogic

open-formulieren / InferNoLogic

InferNoLogic is the TypeScript library designed to cool down the hellfire of type mismatches in JsonLogic. Navigate through your complex logic rules with the confidence that your types align.

1 stars 0 forks source link

Implement type inference for JsonLogic #1

Open CharString opened 1 year ago

CharString commented 1 year ago

[x] setup project using domdomegg/hindley-milner-typescript or hindley-milner-typescript-minimal as the implementations of M/M'/W
[x] implement a parser from JsonLogic to an inference context
[x] define a default context with the type signatures of JsonLogic operators
[ ] #2
[x] #3
[x] add possibility to add type information to the context maybe "auto" as an explicit request for inference.

joeribekker commented 8 months ago

Type inference feature was cancelled due to implementation difficulties vs benefits.