about summary refs log tree commit diff stats
path: root/archive/1.vm/http-client.mu
blob: 8f04c2bc117de677e7a91ab66485c513d738e90a (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
# example program: reading a URL over HTTP

def main [
  local-scope
  $print [aaa] 10/newline
  google:&:source:char <- start-reading-from-network null/real-resources, [google.com/]
  $print [bbb] 10/newline
  n:num <- copy 0
  buf:&:buffer:char <- new-buffer 30
  {
    c:char, done?:bool <- read google
    break-if done?
    n <- add n, 1
    buf <- append buf, c
    {
      _, a:num <- divide-with-remainder n, 100
      break-if a
      $print n 10/newline
    }
    loop
  }
  result:text <- buffer-to-array buf
  open-console
  clear-screen null/screen  # non-scrolling app
  len:num <- length *result
  print null/real-screen, result
  wait-for-some-interaction
  close-console
]
class="p">: 1em; } .Constant { color: #00a0a0; } .Comment { color: #9090ff; } .Delimiter { color: #800080; } .SalientComment { color: #00ffff; } --> </style> <script type='text/javascript'> <!-- --> </script> </head> <body> <pre id='vimCodeElement'> <span class="Comment">//: Since different layers all carve out different parts of various namespaces</span> <span class="Comment">//: (recipes, memory, etc.) for their own use, there's no previous place where</span> <span class="Comment">//: we can lay out the big picture of what uses what. So we'll do that here</span> <span class="Comment">//: and just have to manually remember to update it when we move boundaries</span> <span class="Comment">//: around.</span> <span class="Comment">//:</span> <span class="SalientComment">//:: Memory</span> <span class="Comment">//:</span> <span class="Comment">//: Location 0 - unused (since it can help uncover bugs)</span> <span class="Comment">//: Locations 1-899 - reserved for tests</span> <span class="Comment">//: Locations 900-999 - reserved for predefined globals in mu scenarios, like keyboard, screen, etc.</span> <span class="Delimiter">:(before &quot;End Setup&quot;)</span> assert<span class="Delimiter">(</span>Max_variables_in_scenarios == <span class="Constant">900</span><span class="Delimiter">);</span> <span class="Comment">//: Locations 1000 ('Reserved_for_tests') onward - available to the allocator in chunks of size Initial_memory_per_routine.</span> assert<span class="Delimiter">(</span>Reserved_for_tests == <span class="Constant">1000</span><span class="Delimiter">);</span> <span class="SalientComment">//:: Recipes</span> <span class="Comment">//:</span> <span class="Comment">//: 0 - unused (IDLE; do nothing)</span> <span class="Comment">//: 1-199 - primitives</span> assert<span class="Delimiter">(</span>MAX_PRIMITIVE_RECIPES &lt; <span class="Constant">200</span><span class="Delimiter">);</span> <span class="Comment">//: 200-999 - defined in .mu files as sequences of primitives</span> assert<span class="Delimiter">(</span>Next_recipe_ordinal == <span class="Constant">1000</span><span class="Delimiter">);</span> <span class="Comment">//: 1000 onwards - reserved for tests, cleared between tests</span> <span class="SalientComment">//:: Depths for tracing</span> <span class="Comment">//:</span> <span class="Comment">//: 0 - unused</span> <span class="Comment">//: 1-100 - app-level trace statements in mu</span> <span class="Comment">//: 101-9989 - call-stack statements (mostly label run)</span> assert<span class="Delimiter">(</span>Initial_callstack_depth == <span class="Constant">101</span><span class="Delimiter">);</span> assert<span class="Delimiter">(</span>Max_callstack_depth == <span class="Constant">9989</span><span class="Delimiter">);</span> <span class="Comment">//: 9990-9999 - intra-instruction lines (mostly label mem)</span> <span class="SalientComment">//:: Summary of transforms and their dependencies</span> <span class="Comment">//: begin transforms</span> <span class="Comment">//: begin instruction inserting transforms</span> <span class="Comment">//: 52 insert fragments</span> <span class="Comment">//: ↳ 52.2 check fragments</span> <span class="Comment">//: ---</span> <span class="Comment">//: 53 rewrite 'stash' instructions</span> <span class="Comment">//: end instruction inserting transforms</span> <span class="Comment">//:</span> <span class="Comment">//: begin instruction modifying transforms</span> <span class="Comment">//: 56.2 check header ingredients</span> <span class="Comment">//: ↳ 56.4 fill in return ingredients</span> <span class="Comment">//: 48 check or set types by name</span> <span class="Comment">//:</span> <span class="Comment">//: begin type modifying transforms</span> <span class="Comment">//: 56.3 deduce types from header</span> <span class="Comment">//: ---</span> <span class="Comment">//: 30 check or set invalid containers</span> <span class="Comment">//: end type modifying transforms</span> <span class="Comment">//: ↱ 46 collect surrounding spaces</span> <span class="Comment">//: ↳ 42 transform names</span> <span class="Comment">//: ↳ 57 static dispatch</span> <span class="Comment">//: ---</span> <span class="Comment">//: 13 update instruction operation</span> <span class="Comment">//: 40 transform braces</span> <span class="Comment">//: 41 transform labels</span> <span class="Comment">//: end instruction modifying transforms</span> <span class="Comment">//: ↳ 60 check immutable ingredients</span> <span class="Comment">//:</span> <span class="Comment">//: begin checks</span> <span class="Comment">//: ---</span> <span class="Comment">//: 21 check instruction</span> <span class="Comment">//: ↳ 61 check indirect calls against header</span> <span class="Comment">//: ↳ 56 check calls against header</span> <span class="Comment">//: ↳ 43 transform 'new' to 'allocate'</span> <span class="Comment">//: 30 check merge calls</span> <span class="Comment">//: 36 check types of return instructions</span> <span class="Comment">//: 43 check default space</span> <span class="Comment">//: 56 check return instructions against header</span> <span class="Comment">//: end checks</span> <span class="Comment">//: end transforms</span> <span class="SalientComment">//:: Summary of type-checking in different phases</span> <span class="Comment">//: when dispatching instructions we accept first recipe that:</span> <span class="Comment">//: strictly matches all types</span> <span class="Comment">//: maps literal 0 or literal 1 to boolean for some ingredients</span> <span class="Comment">//: performs some other acceptable type conversion</span> <span class="Comment">//: literal 0 -&gt; address</span> <span class="Comment">//: literal -&gt; character</span> <span class="Comment">//: when checking instructions we ensure that types match, and that literals map to some scalar</span> <span class="Comment">//: (address can only map to literal 0)</span> <span class="Comment">//: (boolean can only map to literal 0 or literal 1)</span> <span class="Comment">//: (but conditionals can take any scalar)</span> <span class="Comment">//: at runtime we perform no checks</span> </pre> </body> </html> <!-- vim: set foldmethod=manual : -->