Alice T'Poteat
Alice T'Poteat
# Packrat Parsing Implementation As discussed in #74, this pull request implements packrat parsing using a internally specified set of memoization functions in `./src/cache.ts`. - [1. Checklist](#1-checklist) - [2. Discussion](#2-discussion)...
 The type system allows `import A from "arcsecond"`, but this doesn't actually work, as the value of `A` is undefined in this context. My preferred remediation would be to...
The recommended code in the Cookbook for parsing arithmetic expressions introduces an exponential-complexity parse bomb, which I have found does actually become extremely relevant when using Arcsecond for parsing realistic...
This would be a big win in efficiency, readability, and so if this equivalence is true.
In the following code: ```ts type _$flattenN2< T extends unknown[], N extends DigitList.DigitList, N_NEXT extends DigitList.DigitList = DigitList._$decrement, RESULT extends List.List = N extends [Digit.Zero] ? T : _$flattenN2 >...
Right now, `$` returns `never` instead of `number`. This prevents composability checks from working properly.
There is a theory that explicit `type Foo = T` syntax as opposed to `type Foo = T extends string ? T : never` syntax causes TS eager evaluation to...
# [---> HKT Status Tracker