From 84e7c319ae2178848f49f062ea10d57584408021 Mon Sep 17 00:00:00 2001
From: "C. Guy Yarvin" <cgyarvin@gmail.com>
Date: Tue, 2 Feb 2016 11:52:10 -0800
Subject: [PATCH] Making typed .^ a little less fake.

---
 arvo/hoon.hoon | 36 ++++++++++++++++++++++++++++++++++--
 1 file changed, 34 insertions(+), 2 deletions(-)

diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon
index f003932675..054a383ea1 100644
--- a/arvo/hoon.hoon
+++ b/arvo/hoon.hoon
@@ -1,4 +1,4 @@
-::::::  ::::::::::::::::::::::::::::::::::::::::::::::::::::::
+!:::::  ::::::::::::::::::::::::::::::::::::::::::::::::::::::
 ::::::  ::::::    Preface                               ::::::
 ::::::  ::::::::::::::::::::::::::::::::::::::::::::::::::::::
 ?>  ?=(@ .)                                             ::  atom subject 
@@ -4531,6 +4531,11 @@
   =+  ton=(mink [sub fol] |~(* ~))
   ?.(?=({$0 *} ton) ~ [~ p.ton])
 ::
+++  mick
+  ~/  %mick
+  |=  {{sub/* fol/*} sea/$+({* *} (unit))}
+  (mink [sub fol] |=(* (sea [151 %noun] +<)))
+::
 ++  mink
   ~/  %mink
   |=  {{sub/* fol/*} sky/$+(* (unit))}
@@ -10359,9 +10364,12 @@
 ++  sink  (trel bone ship path)                         ::  subscription
 ++  sled  $+  {(unit (set monk)) term beam}             ::  namespace function
           (unit (unit cage))                            ::
-++  slad  $+  {(unit (set monk)) term beam}             ::  underspand
+++  slad  $+  {(unit (set monk)) term beam}             ::  fully advanced
+          (unit (unit (cask)))                          ::
+++  slyd  $+  {* (unit (set monk)) term beam}           ::  super advanced
           (unit (unit (cask)))                          ::
 ++  slut  $+(* (unit (unit)))                           ::  old namespace
+++  slyt  $+({* *} (unit (unit)))                       ::  old namespace
 ++  vile                                                ::  reflexive constants
           $:  typ/span                                  ::  -:!>(*span)
               duc/span                                  ::  -:!>(*duct)
@@ -10393,6 +10401,30 @@
   ?~  bop  ~
   ?~  u.bop  [~ ~]
   [~ ~ +.q.u.u.bop]
+::
+++  sloy
+  |=  sod/slyd
+  ^-  slyt
+  |=  {ref/* raw/*}
+  =+  pux=((soft path) raw)
+  ?~  pux  ~
+  ?.  ?=({@ @ @ @ *} u.pux)  ~
+  =+  :*  hyr=(slay i.u.pux)
+          fal=(slay i.t.u.pux)
+          dyc=(slay i.t.t.u.pux)
+          ved=(slay i.t.t.t.u.pux)
+          tyl=t.t.t.t.u.pux
+      ==
+  ?.  ?=({$~ $$ $tas @} hyr)  ~
+  ?.  ?=({$~ $$ $p @} fal)  ~
+  ?.  ?=({$~ $$ $tas @} dyc)  ~
+  ?.  ?=(^ ved)  ~
+  =+  ron=q.p.u.hyr
+  =+  bed=[[q.p.u.fal q.p.u.dyc (case p.u.ved)] (flop tyl)]
+  =+  bop=(sod ref ~ ron bed)
+  ?~  bop  ~
+  ?~  u.bop  [~ ~]
+  [~ ~ +.q.u.u.bop]
 ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
 ::                section 3bE, Arvo core                ::
 ::