rachel/secd
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

elaborated a little bit on the ideas

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2021-12-13 15:49:16 +01:00
parent 8739857dc4
commit 3d9b674401
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
doc/ideas.md
View File

@ -12,8 +12,6 @@
* Provide significant IO functionality. * Provide significant IO functionality.
* Have methods for representing algebraic data types built into the machine.
* Provide efficient native methods for manipulating commonly used types * Provide efficient native methods for manipulating commonly used types
* Strings (don't represent as a list of characters, god) * Strings (don't represent as a list of characters, god)
* Characters * Characters
@ -23,6 +21,9 @@
* Lists (cons linked list), efficient map and foldr builtin would be really nice * Lists (cons linked list), efficient map and foldr builtin would be really nice
* Arrays (constant lookup continous memory) * Arrays (constant lookup continous memory)
* Have methods for representing algebraic data types built into the machine.
* Sums and products of arbitrary size, and methods for (de)constructing them.
# Non-Goals # Non-Goals
* Safely error out or leave catchable exceptions when instruction is called with wrongful operands. * Safely error out or leave catchable exceptions when instruction is called with wrongful operands.