msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

update notes

Browse Source
This commit is contained in:
crumbtoo
2024-04-05 11:35:07 -06:00
parent 0f9afe1b2c
commit c147b6f3db
1 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
README.org
View File

@@ -58,7 +58,7 @@ Available debug flags include:
* To-do List * To-do List
** TODO rlp to core desugaring :feature: ** TODO [#A] rlp to core desugaring :feature:
** DONE [#A] HM memoisation prevents shadowing :bug: ** DONE [#A] HM memoisation prevents shadowing :bug:
CLOSED: [2024-04-04 Thu 12:29] CLOSED: [2024-04-04 Thu 12:29]
@@ -99,9 +99,9 @@ For the time being, I just disabled the memoisation. This is very, very bad.
** DONE README.md -> README.org :docs: ** DONE README.md -> README.org :docs:
CLOSED: [2024-03-28 Thu 10:44] CLOSED: [2024-03-28 Thu 10:44]
** TODO ~case~ inference :feature: ** TODO [#A] ~case~ inference :feature:
** TODO ADT support in Rlp/HindleyMilner.hs :feature: ** TODO [#A] ADT support in Rlp/HindleyMilner.hs :feature:
** DONE whole-program inference (wrap top-level in a ~letrec~) :feature: ** DONE whole-program inference (wrap top-level in a ~letrec~) :feature:
CLOSED: [2024-04-04 Thu 12:42] CLOSED: [2024-04-04 Thu 12:42]
@@ -114,13 +114,13 @@ For the time being, I just disabled the memoisation. This is very, very bad.
** TODO user-supplied annotation support in Rlp/HindleyMilner.hs :feature: ** TODO user-supplied annotation support in Rlp/HindleyMilner.hs :feature:
** TODO update architecture diagram :docs: ** TODO [#A] update architecture diagram :docs:
** TODO pattern support; everywhere [0%] :feature: ** TODO pattern support; everywhere [0%] :feature:
- [ ] in the type-checker - [ ] in the type-checker
- [ ] in the desugarer - [ ] in the desugarer
** TODO G-machine visualiser :docs: ** TODO [#A] G-machine visualiser :docs:
** TODO [#C] lambda calculus visualiser :docs: ** TODO [#C] lambda calculus visualiser :docs:
@@ -177,6 +177,7 @@ For the time being, I just disabled the memoisation. This is very, very bad.
** Final Release Plan ** Final Release Plan
SCHEDULED: <2024-04-19 Fri> SCHEDULED: <2024-04-19 Fri>
*** TODO Complete all A-priority checks in the main todo-list!!
*** TODO Tests *** TODO Tests
- [ ] rl' parser - [ ] rl' parser
- [ ] Type inference - [ ] Type inference
@@ -184,8 +185,9 @@ For the time being, I just disabled the memoisation. This is very, very bad.
- [ ] quicksort - [ ] quicksort
- [ ] factorial - [ ] factorial
- [ ] your typical FP operations -- mapping, folding, etc. - [ ] your typical FP operations -- mapping, folding, etc.
*** DONE Ditch TTG in favour of a simpler AST focusing on extendability via Fix, Free, *** DONE Ditch TTG in favour of fixed-points of functors
Cofree, etc. rather than boilerplate-heavy type families Focus on extendability via Fix, Free, Cofree, etc. rather than
boilerplate-heavy type families
*** DONE rl' type inference *** DONE rl' type inference
*** DONE Core type checking *** DONE Core type checking