]> git.vouivredigital.com Git - vouivre.git/commit
projects / vouivre.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d71596a) | patch
Change argument counting to type construction
authoradmin <admin@vouivredigital.com>
Thu, 21 Sep 2023 04:07:42 +0000 (13:07 +0900)
committeradmin <admin@vouivredigital.com>
Thu, 21 Sep 2023 04:07:42 +0000 (13:07 +0900)
commitc7d1db162ca44e8be395f090b23a00557399e647
tree1c374fdfcd74714261e2dfc1075f8252e72405b9tree | snapshot
parentd71596a0e6615e742dc4aa9a8780b8f2fbe731a3commit | diff
Change argument counting to type construction

Instead of counting the arguments a function can receive
we now construct its type. Anything but functions has
a type of 0 while (curried) functions are typed with cons
cells containing the type of its domain and codomain.
curry-tests.scm diff | blob | history
curry.scm diff | blob | history
Dependent type infrastructure for machine learning.