VictorTaelin

Refactoring Kind's switch with ChatSH

(This is a readable version of my ChatSH session. For the full log, click here.)

Taelin: Hello. We're going to refactor an aspect of the implementation of the Kind language. Are you ready? Start by doing 'ls', then 'cat kind-lang.cabal' to get familiar with the repo.

ChatSH: Certainly! I'm ready to help you refactor an aspect of the Kind language implementation. Let's start by examining the repository structure and the contents of the Cabal file.

ls && echo "---" && cat kind-lang.cabal

FreyaHolmer

///////////////////////////////////////////////////////////////////////////////
// ABOUT:        A unity Shader .cginc to draw numbers in the fragment shader
// AUTHOR:       Freya Holmér
// LICENSE:      Use for whatever, commercial or otherwise!
//               Don't hold me liable for issues though
//               But pls credit me if it works super well <3
// LIMITATIONS:  There's some precision loss beyond 3 decimal places
// CONTRIBUTORS: yes please! if you know a more precise way to get
//               decimal digits then pls lemme know!
//               GetDecimalSymbolAt() could use some more love/precision

liam-fitzgerald

/+  *chat-json
:-  %say
|=  [[now=@da eny=@uvJ bec=beak] ~ ~]
:-  %json
(inbox-to-json .^(inbox %gx /(scot %p p.bec)/chat-store/(scot %da now)/all/noun))

belisarius222

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

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

mattnewport

|=  dim=@ud  ^-  (list @t)
=/  dx  (div:rs .1 (sun:rs dim))
=/  white  [.1 .1 .1]
=<  (genppm dim)
|%
++  min
    |=  [x=@rs y=@rs]  ^-  @rs
    ?:  (lth:rs x y)  x  y
++  max
    |=  [x=@rs y=@rs]  ^-  @rs

belisarius222

::  start with some data from the lexical subject
::
=/  a=@  2
::  a ford rune produces a +schematic:ford
::
^-  schematic:ford
::  /?  produces a %reef at that version
::
/?  310
::  /+  prepend expression into subject (like =+ for ford)

belisarius222

|%
::  +make-diff: create a noun representing the diff from :a to :b
::
++  make-diff
  |=  [a-vase=vase b-vase=vase]
  ^-  vase
  ::
  ?>  (~(nest ut p.a-vase) | p.b-vase)
  ?>  (~(nest ut p.b-vase) | p.a-vase)
  ::

xykj61

~wicdev-wisryt
~panret-tocsel
~tomfur-figpur
~masrep-sanlyx
~locnyl-dacdel
~tocbel-habnyx
~wandeg-nildun
~toltud-pacryl
~dolnyd-pastyr
~sandul-matluc

xykj61

Eyre

Overview

Eyre is Arvo's web server and one of Arvo's eight kernel modules (vanes). Eyre is responsible for handling inbound and outbound HTTP requests, parsing mark extensions and query strings in URLs, and sending respective moves based on the requests to the other Arvo vanes, like Clay, Ford and Gall.

Specification

This document is for the current iteration of Eyre, which has not yet been designed and implemented into its ideal state.