@open-formulieren/infernologic
Advanced tools
Readme
Type checker for JsonLogic expressions with full type inference
Infer the result types of JsonLogic expressions and possibly of data referenced in {"var": ...}
expressions.
{"if": [predicate-expression, then-expression, else-expression]} require then- and
else-expressions of the same type, even though JsonLogic allows them to differing ones.Install with npm or yarn:
npm install --save-dev @open-formulieren/infernologic
yarn add -D @open-formulieren/infernologic
Builds on implementations from domdomegg/hindley-milner-typescript-minimal for
Algorithm W
Damas, L. and Milner, R. (1982). Principal type-schemes for functional programs. Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '82. https://doi.org/10.1145/582153.582176
Algorithm M
Lee, O. and Yi, K. (1998). Proofs about a folklore let-polymorphic type inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4), 707-723. https://doi.org/10.1145/291891.291892
FAQs
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.
We found that @open-formulieren/infernologic demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 2 open source maintainers collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
The Python Software Foundation has secured a 5-year sponsorship from Fastly that supports PSF's activities and events, most notably the security and reliability of the Python Package Index (PyPI).
Security News
LDAPjs, an LDAP Client and Server API for Node.js, was decommissioned after its maintainer received an abusive email from a user, raising concerns about this form of abuse as a potential attack vector.
Security News
CISA launched a new project called Vulnrichment to enrich CVEs with details that help prioritize patching and mitigation efforts, as the NVD backlog of unenriched CVEs awaiting analysis surpasses 10,000.