about summary refs log tree commit diff stats
path: root/fork.mu
Commit message (Collapse)AuthorAgeFilesLines
* 2562Kartik K. Agaram2016-01-171-1/+1
| | | | | | | | | | | | We want to use the type 'recipe' for recipe *variables*, because it seems nicer to say `recipe number -> number` rather than recipe-ordinal, etc. To support this we'll allow recipe names to be mentioned without any type. This might make a couple of places in this commit more brittle. I'm dropping error messages, causing them to not happen in some situations. Maybe I should just bite the bullet and require an explicit :recipe-literal. We'll see.
* 1868 - start using naked literals everywhereKartik K. Agaram2015-07-281-2/+2
| | | | First step to reducing typing burden. Next step: inferring types.
* 1345Kartik K. Agaram2015-05-111-0/+2
|
* 1341Kartik K. Agaram2015-05-111-8/+2
|
* 1298 - better ingredient/product handlingKartik K. Agaram2015-05-071-2/+4
| | | | | | | | | | | | | | | | | | | All primitives now always write to all their products. If a product is not used that's fine, but if an instruction seems to expect too many products mu will complain. In the process, many primitives can operate on more than two ingredients where it seems intuitive. You can add or divide more than two numbers together, copy or negate multiple corresponding locations, etc. There's one remaining bit of ugliness. Some instructions like get/get-address, index/index-address, wait-for-location, these can unnecessarily load values from memory when they don't need to. Useful vim commands: %s/ingredients\[\([^\]]*\)\]/ingredients.at(\1)/gc %s/products\[\([^\]]*\)\]/products.at(\1)/gc .,$s/\[\(.\)]/.at(\1)/gc
* 1277Kartik K. Agaram2015-05-051-0/+18
|
* 1276 - make C++ version the defaultKartik K. Agaram2015-05-051-18/+0
| | | | I've tried to update the Readme, but there are at least a couple of issues.
* 578 - switch to non-polymorphic 'print' functionsKartik K. Agaram2015-01-171-2/+2
| | | | | Also clean up various prints from last few commits. As a convention, for debugging we always print directly to host.
* 571 - screen primitives take an explicit terminalKartik K. Agaram2015-01-151-2/+2
| | | | | | | | | | | | | | | | | This will let me swap in a fake in tests. Still hacky, though. I'm sure I'm not managing the parameter right in the chessboard app. And then there's the question of whether it should also appear as an output operand. But it's a start. And using nil to mean 'real' is a reasonable convention. If I ever need to handle multiple screens perhaps we'll have to switch to 1:literal/terminal and 2:literal/terminal, etc. But those are equally easy to guard on.
* 497 - strengthen the concept of 'space'Kartik K. Agaram2015-01-021-2/+2
| | | | | | | | | | | | | | | | | | | | 'default-scope' is now 'default-space' 'closure-generator' is now 'next-space-generator' The connection to high-level syntax for closures is now tenuous, so we'll call the 'outer scope' the 'next space'. So, let's try to create a few sentences with all these related ideas: Names map to addresses offset from a default-space when it's provided. Spaces can be strung together. The zeroth variable points to the next space, the one that is accessed when a variable has /space:1. To map a name to an address in the next space, you need to know what function generated that space. A corollary is that the space passed in to a function should always be generated by a single function. Spaces can be used to construct lexical scopes and objects.
* 428 - cleanup odds and endsKartik K. Agaram2014-12-141-7/+7
|
* 403 - 'function' is more clear than 'def'Kartik K. Agaram2014-12-121-2/+2
|
* 399 - fix mu examplesKartik K. Agaram2014-12-081-2/+2
| | | | Thanks Kristis Makris for the bug report.
* 314 - better syntax for functionsKartik K. Agaram2014-11-241-4/+4
|
* 213 - bring back the fork exampleKartik K. Agaram2014-11-011-0/+18
|
* 145 - delete random programsKartik K. Agaram2014-10-141-12/+0
| | | | | | | | | They need a type table to work, but I'm keeping type tables next to the tests. Everything needs to be a test from now on. (But first some fixes to the terminal primitives.)
* 94 - old multiprocessing experimentKartik K. Agaram2014-10-041-0/+12