From a654e4ecace2d506d1b10f1dde2c287ebe84ef37 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 26 Mar 2016 23:59:59 -0700 Subject: 2812 --- index.html | 36 ++++++++++++++++++++++-------------- 1 file changed, 22 insertions(+), 14 deletions(-) (limited to 'index.html') diff --git a/index.html b/index.html index e4909263..66788595 100644 --- a/index.html +++ b/index.html @@ -93,12 +93,13 @@ and comparing values. operations to help with testing and debugging.

030container.cc: Mu supports -compound types akin to records, structs or classes. +compound types calledcontainers akin to records, structs or classes.
031address.cc: adding and removing layers of indirection to Mu data.
032array.cc: all Mu data structures are bounds-checked. -
033exclusive_container.cc: tagged unions or sum types. +
033exclusive_container.cc: +tagged unions or sum types.
034call.cc: calls to recipes look just like primitive operations.
035call_ingredient.cc: how @@ -145,16 +146,16 @@ previous instructions in the same recipe.
052tangle.cc: support for layers in Mu programs. They've been so good to us.
Support for shape-shifting or generic data structures that can -contain type ingredients: 054dilated_reagent.cc, -a new syntax for allowing whitespace in types; 055parse_tree.cc, +contain type ingredients: 053dilated_reagent.cc, +a new syntax for allowing whitespace in types; 054parse_tree.cc, a new syntax for representing complex types as trees using whitespace and -parentheses (s-expressions); 056recipe_header.cc, +parentheses (s-expressions); 055recipe_header.cc, a new syntax for introducing ingredients and products with the name of a reagent; -057static_dispatch.cc, allowing +056static_dispatch.cc, allowing multiple variants of a recipe to coexist with support for different headers; -058shape_shifting_container.cc, +057shape_shifting_container.cc, a new syntax for wildcard type ingredients in containers; and finally -059shape_shifting_recipe.cc, +058shape_shifting_recipe.cc, support for type ingredients in recipes. Everytime you call a shape-shifting recipe with a new set of types for its type ingredients, it creates a new variant of the recipe for you matching those types. @@ -173,17 +174,24 @@ use in previous layers.

070text.mu: strings in Mu are bounds-checked rather than null-terminated. They're also unicode-aware (code points only; no control characters, no combining characters, no normalization). -
071channel.mu: channels are Mu's +
071rewrite_stash.cc: a +convenience when debugging is the ability to add variables to the trace using +the stash command. By default +stash just prints out the +locations in memory, one by one. To extend its display format specific types, +define a function called to-text +with the appropriate ingredient type, returning a Mu string. +
072channel.mu: channels are Mu's only synchronization primitive, queues that can cause the routine reading or writing from them to stall without taking up CPU resources. -
072array.mu -
073list.mu: linked lists where each +
073array.mu +
074list.mu: linked lists where each node points to the next, permitting fast insertion/deletion but slow for search. -
074random.cc -
075duplex_list.mu: doubly +
075random.cc +
076duplex_list.mu: doubly linked lists that can be traversed both forwards and back. -
076stream.mu: data structure to +
077stream.mu: data structure to efficiently append strings.

Part V: Nascent tools for browsing Mu codebases, and for teaching -- cgit 1.4.1-2-gfad0