<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - 113write-stream.subx</title>
<meta name="Generator" content="Vim/8.1">
<meta name="plugin-version" content="vim8.1_v1">
<meta name="syntax" content="none">
<meta name="settings" content="number_lines,use_css,no_foldcolumn,expand_tabs,line_ids,prevent_copy=">
<meta name="colorscheme" content="minimal-light">
<style type="text/css">
<!--
pre { font-family: monospace; color: #000000; background-color: #c6c6c6; }
body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; }
a { color:inherit; }
* { font-size:12pt; font-size: 1em; }
.subxComment { color: #005faf; }
.subxS2Comment { color: #8a8a8a; }
.subxTest { color: #5f8700; }
.subxFunction { color: #af5f00; text-decoration: underline; }
.LineNr { }
.subxS1Comment { color: #0000af; }
.CommentedCode { color: #8a8a8a; }
.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; }
.Constant { color: #008787; }
.subxMinorFunction { color: #875f5f; }
-->
</style>
<script type='text/javascript'>
<!--
/* function to open any folds containing a jumped-to line before jumping to it */
function JumpToLine()
{
var lineNum;
lineNum = window.location.hash;
lineNum = lineNum.substr(1); /* strip off '#' */
if (lineNum.indexOf('L') == -1) {
lineNum = 'L'+lineNum;
}
var lineElem = document.getElementById(lineNum);
/* Always jump to new location even if the line was hidden inside a fold, or
* we corrected the raw number to a line ID.
*/
if (lineElem) {
lineElem.scrollIntoView(true);
}
return true;
}
if ('onhashchange' in window) {
window.onhashchange = JumpToLine;
}
-->
</script>
</head>
<body onload='JumpToLine();'>
<a href='https://github.com/akkartik/mu/blob/master/113write-stream.subx'>https://github.com/akkartik/mu/blob/master/113write-stream.subx</a>
<pre id='vimCodeElement'>
<span id="L1" class="LineNr"> 1 </span><span class="subxComment"># write-stream: like write, but write streams rather than strings</span>
<span id="L2" class="LineNr"> 2 </span>
<span id="L3" class="LineNr"> 3 </span>== code
<span id="L4" class="LineNr"> 4 </span><span class="subxComment"># instruction effective address register displacement immediate</span>
<span id="L5" class="LineNr"> 5 </span><span class="subxS1Comment"># . op subop mod rm32 base index scale r32</span>
<span id="L6" class="LineNr"> 6 </span><span class="subxS1Comment"># . 1-3 bytes 3 bits 2 bits 3 bits 3 bits 3 bits 2 bits 2 bits 0/1/2/4 bytes 0/1/2/4 bytes</span>
<span id="L7" class="LineNr"> 7 </span>
<span id="L8" class="LineNr"> 8 </span><span class="CommentedCode">#? Entry: # manual test</span>
<span id="L9" class="LineNr"> 9 </span><span class="CommentedCode">#? # write-stream(stdout, _test-stream2)</span>
<span id="L10" class="LineNr"> 10 </span><span class="CommentedCode">#? 68/push _test-stream2/imm32</span>
<span id="L11" class="LineNr"> 11 </span><span class="CommentedCode">#? 68/push 1/imm32/stdout</span>
<span id="L12" class="LineNr"> 12 </span><span class="CommentedCode">#? e8/call write-stream/disp32</span>
<span id="L13" class="LineNr"> 13 </span><span class="CommentedCode">#? # syscall(exit, Num-test-failures)</span>
<span id="L14" class="LineNr"> 14 </span><span class="CommentedCode">#? 8b/copy 0/mod/indirect 5/rm32/.disp32 . . 3/r32/ebx Num-test-failures/disp32 # copy *Num-test-failures to ebx</span>
<span id="L15" class="LineNr"> 15 </span><span class="CommentedCode">#? e8/call syscall_exit/disp32</span>
<span id="L16" class="LineNr"> 16 </span>
<span id="L17" class="LineNr"> 17 </span><span class="subxFunction">write-stream</span>: <span class="subxComment"># f: fd or (addr stream byte), s: (addr stream byte)</span>
<span id="L18" class="LineNr"> 18 </span> <span class="subxS1Comment"># . prologue</span>
<span id="L19" class="LineNr"> 19 </span> 55/push-ebp
<span id="L20" class="LineNr"> 20 </span> 89/copy 3/mod/direct 5/rm32/ebp <span class="Normal"> . </span> <span class="Normal"> . </span> <span class="Normal"> . </span> 4/r32/esp <span class="Normal"> . </span> <span class="Normal"> . </span> <span class="subxComment"># copy esp to ebp</span>
<span pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */# .tlv file generated by https://github.com/akkartik/teliva
# You may edit it if you are careful; however, you may see cryptic errors if you
# violate Teliva's assumptions.
#
# .tlv files are representations of Teliva programs. Teliva programs consist of
# sequences of definitions. Each definition is a table of key/value pairs. Keys
# and values are both strings.
#
# Lines in .tlv files always follow exactly one of the following forms:
# - comment lines at the top of the file starting with '#' at column 0
# - beginnings of definitions starting with '- ' at column 0, followed by a
# key/value pair
# - key/value pairs consisting of ' ' at column 0, containing either a
# spaceless value on the same line, or a multi-line value
# - multiline values indented by more than 2 spaces, starting with a '>'
#
# If these constraints are violated, Teliva may unceremoniously crash. Please
# report bugs at http://akkartik.name/contact
- __teliva_timestamp: original
str_helpers:
>-- some string helpers from http://lua-users.org/wiki/StringIndexing
>
>-- index characters using []
>getmetatable('').__index = function(str,i)
> if type(i) == 'number' then
> return string.sub(str,i,i)
> else
> return string[i]
> end
>end
>
>-- ranges using (), selected bytes using {}
>getmetatable('').__call = function(str,i,j)
> if type(i)~='table' then
> return string.sub(str,i,j)
> else
> local t={}
> for k,v in ipairs(i) do
> t[k]=string.sub(str,v,v)
> end
> return table.concat(t)
> end
>end
>
>-- iterate over an ordered sequence
>function q(x)
> if type(x) == 'string' then
> return x:gmatch('.')
> else
> return ipairs(x)
> end
>end
>
>-- insert within string
>function string.insert(str1, str2, pos)
> return str1:sub(1,pos)..str2..str1:sub(pos+1)
>end
>
>function string.remove(s, pos)
> return s:sub(1,pos-1)..s:sub(pos+1)
>end
>
>-- TODO: backport utf-8 support from Lua 5.3
- __teliva_timestamp: original
debugy:
>debugy = 5
- __teliva_timestamp: original
dbg:
>-- helper for debug by print; overlay debug information towards the right
>-- reset debugy every time you refresh screen
>function dbg(window, s)
> local oldy = 0
> local oldx = 0
> oldy, oldx = window:getyx()
> window:mvaddstr(debugy, 60, s)
> debugy = debugy+1
> window:mvaddstr(oldy, oldx, '')
>end
- __teliva_timestamp: original
check_eq:
>function check_eq(x, expected, msg)
> if x == expected then
> Window:addch('.')
> else
> print('F - '..msg)
> print(' expected '..tostring(expected)..' but got '..x)
> teliva_num_test_failures = teliva_num_test_failures + 1
> -- overlay first test failure on editors
> if teliva_first_failure == nil then
> teliva_first_failure = msg
> end
> end
>end
- __teliva_timestamp: original
map:
>-- only for arrays
>function map(l, f)
> result = {}
> for _, x in ipairs(l) do
> table.insert(result, f(x))
> end
> return result
>end
- __teliva_timestamp: original
reduce:
>-- only for arrays
>function reduce(l, f, init)
> result = init
> for _, x in ipairs(l) do
> result = f(result, x)
> end
> return result
>end
- __teliva_timestamp: original
filter:
>-- only for arrays
>function filter(l, f)
> result = {}
> for _, x in ipairs(l) do
> if f(x) then
> table.insert(result, x)
> end
> end
> return result
>end
- __teliva_timestamp: original
find_index:
>function find_index(arr, x)
> for n, y in ipairs(arr) do
> if x == y then
> return n
> end
> end
>end
- __teliva_timestamp: original
trim:
>function trim(s)
> return s:gsub('^%s*', ''):gsub('%s*$', '')
>end
- __teliva_timestamp: original
split:
>function split(s, d)
> result = {}
> for match in (s..d):gmatch("(.-)"..d) do
> table.insert(result, match);
> end
> return result
>end
- __teliva_timestamp: original
Window:
>Window = curses.stdscr()
- __teliva_timestamp: original
render:
>function render(window)
> window:clear()
> -- draw stuff to screen here
> window:attron(curses.A_BOLD)
> window:mvaddstr(1, 5, "example app")
> window:attrset(curses.A_NORMAL)
> for i=0,15 do
> window:attrset(curses.color_pair(i))
> window:mvaddstr(3+i, 5, "========================")
> end
> window:refresh()
>end
- __teliva_timestamp: original
menu:
>-- To show app-specific hotkeys in the menu bar, add hotkey/command
>-- arrays of strings to the menu array.
>menu = {}
- __teliva_timestamp: original
update:
>function update(window)
> local key = window:getch()
> -- process key here
>end
- __teliva_timestamp: original
init_colors:
>function init_colors()
> for i=0,7 do
> curses.init_pair(i, i, -1)
> end
> curses.init_pair(8, 7, 0)
> curses.init_pair(9, 7, 1)
> curses.init_pair(10, 7, 2)
> curses.init_pair(11, 7, 3)
> curses.init_pair(12, 7, 4)
> curses.init_pair(13, 7, 5)
> curses.init_pair(14, 7, 6)
> curses.init_pair(15, -1, 15)
>end
- __teliva_timestamp: original
main:
>function main()
> init_colors()
>
> while true do
> render(Window)
> update(Window)
> end
>end
- __teliva_timestamp: original
eval:
>function eval(x, env)
> function symeq(x, s)
> return x and x.sym == s
> end
> if x.sym then
> return lookup(env, x.sym)
> elseif atom(x) then
> return x
> -- otherwise x is a pair
> elseif symeq(x.car, 'quote') then
> return x.cdr
> elseif unary_functions[x.car.sym] then
> return eval_unary(x, env)
> elseif binary_functions[x.car.sym] then
> return eval_binary(x, env)
> -- special forms that don't always eval all their args
> elseif symeq(x.car, 'if') then
> return eval_if(x, env)
> elseif symeq(x.car.car, 'fn') then
> return eval_fn(x, env)
> elseif symeq(x.car.car, 'label') then
> return eval_label(x, env)
> end
>end
- __teliva_timestamp: original
eval_unary:
>function eval_unary(x, env)
> return unary_functions[x.car.sym](eval(x.cdr.car, env))
>end
- __teliva_timestamp: original
eval_binary:
>function eval_binary(x, env)
> return binary_functions[x.car.sym](eval(x.cdr.car, env))
>end
- __teliva_timestamp: original
unary_functions:
>-- format: lisp name = lua function that implements it
>unary_functions = {
> atom=atom,
> car=car,
> cdr=cdr,
>}
- __teliva_timestamp: original
binary_functions:
>-- format: lisp name = lua function that implements it
>binary_functions = {
> cons=cons,
> iso=iso,
>}
- __teliva_timestamp: original
lookup:
>function lookup(env, s)
> if env[s] then return env[s] end
> if env.next then return lookup(env.next, s) end
>end
- __teliva_timestamp: original
eval_if:
>function eval_if(x, env)
> -- syntax: (if check b1 b2)
> local check = x.cdr.car
> local b1 = x.cdr.cdr.car
> local b2 = x.cdr.cdr.cdr.car
> if eval(check, env) then
> return eval(b1, env)
> else
> return eval(b2, env)
> end
>end
- __teliva_timestamp: original
eval_fn:
>function eval_fn(x, env)
> -- syntax: ((fn params body*) args*)
> local callee = x.car
> local args = x.cdr
> local params = callee.cdr.car
> local body = callee.cdr.cdr
> return eval_exprs(body,
> bind_env(params, args, env))
>end
- __teliva_timestamp: original
bind_env:
>function bind_env(params, args, env)
> if params == nil then return env end
> local result = {next=env}
> while true do
> result[params.car.sym] = eval(args.car, env)
> params = params.cdr
> args = args.cdr
> if params == nil then break end
> end
> return result
>end
- __teliva_timestamp: original
eval_exprs:
>function eval_exprs(xs, env)
> local result = nil
> while xs do
> result = eval(xs.car, env)
> xs = xs.cdr
> end
> return result
>end
- __teliva_timestamp: original
eval_label:
>function eval_label(x, env)
> -- syntax: ((label f (fn params body*)) args*)
> local callee = x.car
> local args = x.cdr
> local f = callee.cdr.car
> local fn = callee.cdr.cdr.car
> return eval({car=fn, cdr=args},
> bind_env({f}, {callee}, env))
>end
- __teliva_timestamp: original
atom:
>function atom(x)
> return x == nil or x.num or x.char or x.str or x.sym
>end
- __teliva_timestamp: original
car:
>function car(x) return x.car end
- __teliva_timestamp: original
cdr:
>function cdr(x) return x.cdr end
- __teliva_timestamp: original
cons:
>function cons(x, y) return {car=x, cdr=y} end
- __teliva_timestamp: original
doc:main:
>John McCarthy's Lisp -- without the metacircularity
>If you know Lua, this version might be easier to understand.
>
>Words highlighted like [[this]] are suggestions for places to jump to using ctrl-g (see the menu below).
>You can always jump back here using ctrl-b (for 'big picture').
>
>Lisp is a programming language that manipulates objects of a few different types.
>There are a few _atomic_ types, and one type that can combine them.
>The atomic types are what you would expect: numbers, characters, strings, symbols (variables). You can add others.
>
>The way to combine them is the [[cons]] table which has just two keys: a [[car]] and a [[cdr]]. Both can hold objects, either atoms or other cons tables.
>
>We'll now build an interpreter that can run programs constructed out of cons tables.
>
>One thing we'll need for an interpreter is a symbol table (env) that maps symbols to values (objects).
>We'll just use a Lua table for this purpose, but with one tweak: a _next_ pointer that allows us to combine tables together.
>See [[lookup]] now to get a sense for how we'll use envs.
>
>Lisp programs are just cons tables and atoms nested to arbitrary depths, constructing trees. A Lisp interpreter walks the tree of code,
>performing computations. Since cons tables can point to other cons tables, the tree-walker interpreter [[eval]] is recursive.
>As the interpreter gets complex, we'll extract parts of it into their own helper functions: [[eval_unary]], [[eval_binary]], [[eval_if]], and so on.
>The helper functions contain recursive calls to [[eval]], so that [[eval]] becomes indirectly recursive, and [[eval]] together with its helpers
>is mutually recursive. I sometimes find it helpful to think of them all as just one big function.
>
>All these mutually recursive functions take the same arguments: a current expression 'x' and the symbol table 'env'.
>But really, most of the interpreter is just walking the tree of expressions. Only two functions care about the internals of 'env':
> - [[lookup]] which reads within env as we saw before
> - [[bind_env]] which creates a new _scope_ of symbols for each new function call.
>More complex Lisps add even more arguments to every. single. helper. Each arg will still only really matter to a couple of functions.
>But we still have to pass them around all over the place.
>
>Hopefully this quick overview will help you get a sense for this codebase.
>
>Here's a reference list of eval helpers: [[eval_unary]], [[eval_binary]], [[eval_if]], [[eval_fn]], [[eval_exprs]], [[eval_label]]
>More complex Lisps with more features will likely add helpers for lumpy bits of the language.
>Here's a list of primitives implemented in Lua: [[atom]], [[car]], [[cdr]], [[cons]], [[iso]] (for 'isomorphic'; comparing trees all the way down to the leaves)
>Here's a list of _constructors_ for creating objects of different types: [[num]], [[char]], [[str]], [[sym]] (and of course [[cons]])
>I should probably add more primitives for operating on numbers, characters and strings..
- __teliva_timestamp: original
iso:
>function iso(x, y)
> if x == nil then return y == nil end
> local done={}
> -- watch out for the rare cyclical expression
> if done[x] then return done[x] == y end
> done[x] = y
> if atom(x) then
> if not atom(y) then return nil end
> for k, v in pairs(x) do
> if y[k] ~= v then return nil end
> end
> return true
> end
> for k, v in pairs(x) do
> if not iso(y[k], v) then return nil end
> end
> for k, v in pairs(y) do
> if not iso(x[k], v) then return nil end
> end
> return true
>end