research/dope2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update roadmap

Browse source
This commit is contained in:
Joeri Exelmans 2025-05-28 07:48:53 +02:00
parent cac0cb7f81
commit bc9a229a5c
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
progress.txt
View file

@ -10,11 +10,16 @@ done:
- types - types
- generic types and type unification (inferencing) - generic types and type unification (inferencing)
- recursive types - recursive types
- dynamic typing (value + type)
- projectional editor (hosted at https://deemz.org/public/dope2)
todo: todo:
- dynamically typed values: have 'Any' or 'Top' type? - simpler encoding of product/sum and struct/enum
- mutually recursive types
- turn AST type for lambda calculus expressions from projectional editor into explicit DOPE type
- to support sets of slots, need comparison of slots - to support sets of slots, need comparison of slots
=> comparison of values => comparison of values
=> problem: how to compare transformed values? their inputs can come from different types => problem: how to compare transformed values? their inputs can come from different types