belisarius222

=>
|%
+$  cone
  $@  %noun
  $%  [%back ix=@ud]
      [%loop =cone]
      [%cell p=cone q=cone]
      [%face p=term q=cone]
      [%atom =aura]
      [%mote =aura val=@]

belisarius222

extern crate num;
use num::bigint::{BigUint, ToBigUint};
use std::rc::Rc;

#[derive(Clone, Debug, Eq, PartialEq)]
enum Ur {  S, K, J, D }

#[derive(Clone, Debug, Eq, PartialEq)]
enum Exp {
    N(Ur),

belisarius222

|%
++  mebe
  |*  a=mold
  |%
  +$  form  (unit a)
  ++  pure
    |=  arg=a
    ^-  form
    `u=arg
  ++  bind

belisarius222

Ford Pinto - Smaller and Less Explosive

Overview and Rationale

Ford Turbo, the current incarnation of Ford, has some exciting features. In retrospect some of those features were the result of irrational exuberance. Many have been in Ford since the beginning.

Ford Pinto is an attempt to take a more measured look at which features Ford actually needs and to support only those features. The overall plan involves passing through Ford Pinto into Ford Focus, which will include performance tuning targeted at the major Ford use cases.

What is Ford actually used for? Building files, and doing mark operations, basically. The primary simplification I'm making to Ford in this revision is to separate those two interfaces. Ford runes other than simple imports have been removed, and there is now a strict layering where building a source file does not depend on mark builds.

belisarius222

=<  (do-some-stack-ops ~[1 2 3])
|%
++  do-some-stack-ops
  =/  liz  (list @)
  =/  st  (stack @)
  =/  m  (stat liz @)
  ^-  form:m
  ;<  empty=?  bind:m  is-empty:st
  ?.  empty
    pop:st

belisarius222

|%
::  $plan: ford build, at the current beak
::
+$  plan
  $%  [%'/.' data=vase]
      [%'//' =spur]  ::  produces !>(*(unit [mark contents]))
      [%'/*' =hoon]
      [%'/=' face=@tas value=plan]
      [%'/:' head=plan tail=plan]
      [%'/>' with=plan rest=plan]

belisarius222

=>
|%
+$  exp
  $~  [%lit %int 0]
  $%  [%var =var]
      [%lit =lit]
      [%app fun=exp arg=exp]
      [%abs =var bod=exp]
      [%let =var val=exp bod=exp]
  ==

belisarius222

|%
+$  op
  $@  $?  %bail  ::  error out
          %call  ::  =+  gate=pop  =+sample=pop  (gate sample)
          %cons  ::  =+  head=pop  =+  tail=pop  [head tail]
          %copy  ::  duplicate top of stack
          %done  ::  halt (successfully)
          %eval  ::  eval top of stack as schematic against next top as subject
          %numb  ::  catch error
          %swap  ::  swaps top two elements of stack

belisarius222

::  $type: a hoon type, represented in noun form
::
::    Instead of lazily evaluating the type of a hoon when compiled against a
::    subject type, use the special value %loop to recurse back up to the
::    nearest %hold.
::
+$  type
  $@  ?(%noun %void %loop)
  $%  [%atom p=term q=(unit @)]
      [%cell p=type q=type]

belisarius222

|%
+$  nock-func    $-(subject=* result=*)
+$  cps-formula  $-([subject=* next=nock-func] result=*)
--
|%
++  nock-to-cps
  |=  fol=nock
  ^-  cps-formula
  ::
  ?-    fol