dope2

research/dope2

Fork 0

Commit graph

c51e517b66 fix missing return stmt Joeri Exelmans 2025-04-18 09:14:42 +02:00
28f60e77be rename dir scripts -> examples Joeri Exelmans 2025-04-18 09:14:09 +02:00
bc9dce4b9c move test to separate file Joeri Exelmans 2025-04-17 16:48:17 +02:00
4d1fb81492 can auto-generate comparison functions for composed types Joeri Exelmans 2025-04-17 16:43:28 +02:00
0b262daf7f add enum type (generalization of sum-type) Joeri Exelmans 2025-04-17 16:10:00 +02:00
8653bb99c6 restructure code a bit, add comparison functions for primitive types and composed types (needed to put values in sets) Joeri Exelmans 2025-04-17 15:11:06 +02:00
3978f7f835 branching and very basic merging of slots Joeri Exelmans 2025-04-17 09:19:41 +02:00
614e6c0fdb read-dependencies now correctly recorded (i think) Joeri Exelmans 2025-04-16 16:32:06 +02:00
7a5b9d4f38 when chaining functions, properly carry over read-dependencies the functions Joeri Exelmans 2025-04-16 15:44:34 +02:00
248c41e99f experiment with encoding of read- and write-dependencies Joeri Exelmans 2025-04-16 14:51:12 +02:00
c6c49a0966 add purely functional red-black tree benchmark Joeri Exelmans 2025-04-14 18:25:09 +02:00
342d4b34ef fix bug in polymorphic types (when creating a tuple of two empty lists, there was only one type variable (the type of the list), whereas each list could have a different type, so there should be two type variables) + make type variables look nicer Joeri Exelmans 2025-04-04 10:04:40 +02:00
8ac0c6d3dd show generic functions also Joeri Exelmans 2025-04-02 15:57:16 +02:00
4a4983f693 interactive prompt can handle polymorphic types Joeri Exelmans 2025-04-02 15:49:43 +02:00
a0e3aa0cb3 turn the function for creating new types (or type constructors) into a DOPE function Joeri Exelmans 2025-03-31 17:35:30 +02:00
d8ca2f3999 progress and some refactoring Joeri Exelmans 2025-03-31 15:35:02 +02:00
d236eca5e5 move executables to scripts Joeri Exelmans 2025-03-24 17:29:33 +01:00
145835ad5d progress Joeri Exelmans 2025-03-24 17:28:07 +01:00
6af72e525c progress Joeri Exelmans 2025-03-24 08:25:53 +01:00
3596e01c28 interactive prompt Joeri Exelmans 2025-03-23 17:46:39 +01:00
bc91d9bf39 lotta progress Joeri Exelmans 2025-03-23 13:25:47 +01:00
29d20b2273 wip Joeri Exelmans 2025-03-23 09:15:37 +01:00
afd78c3b3e progress Joeri Exelmans 2025-03-22 10:33:35 +01:00
33c156fc5c type inferencing "unifying" operation is now bi-directional + begin writing generic version of "unifying" operation (that should work on all types) Joeri Exelmans 2025-03-20 19:59:24 +01:00
c5ac55b0ff progress with type classes, type inference still very ad-hoc Joeri Exelmans 2025-03-20 18:34:58 +01:00
5283be608b refactor code: move everything from type_registry to "most appropriate" modules Joeri Exelmans 2025-03-20 18:12:30 +01:00
4ca60784aa greatly simplify type registry Joeri Exelmans 2025-03-20 17:29:13 +01:00
303fa869a8 ... got it wrong Joeri Exelmans 2025-03-20 14:14:28 +01:00
9405ba1b4e add String type + use String to make nominal types unique (worse, but more pleasant when debugging) Joeri Exelmans 2025-03-20 14:09:17 +01:00
18b5e56ff0 add nominal types for 2D points Joeri Exelmans 2025-03-20 12:07:31 +01:00
94efde3e65 add interactive prompt Joeri Exelmans 2025-03-20 09:54:11 +01:00
ce192b49f2 move file Joeri Exelmans 2025-03-19 16:13:10 +01:00
fc1a588e23 clean up module generic a bit Joeri Exelmans 2025-03-19 16:01:59 +01:00
a826f475c3 preliminary implementation of polymorphic types and type inferencing Joeri Exelmans 2025-03-19 15:45:13 +01:00
e892ade34d rename function Joeri Exelmans 2025-03-19 15:43:45 +01:00
97b4e83379 add serializable iface Joeri Exelmans 2025-03-17 20:33:26 +01:00
3d08485a08 list of byte encoded as JS Uint8Array + demo more readable Joeri Exelmans 2025-03-17 20:14:57 +01:00
574651ccb7 Add product and sum types Joeri Exelmans 2025-03-17 17:54:42 +01:00
6023efc295 use fnType everywhere to create function types Joeri Exelmans 2025-03-14 17:05:04 +01:00
a8260f2afb basic functionality, no generics Joeri Exelmans 2025-03-14 16:56:37 +01:00