leque

(*
inspired by 
- Flexiblly Extend Nested Structures - "Trees that Grow" in TypeScript 
  https://dev.to/igrep/flexiblly-extend-nested-structures-trees-that-grow-in-typescript-4347
- 入れ子構造を自由に拡張する – TypeScript版「Trees that Grow」 (Japanese translation of above article)
  https://eng-blog.iij.ad.jp/archives/18900
*)
type 'a literal = [`Literal of int * 'lit]
  constraint 'a = <literal: 'lit; ..>

leque

flowchart TB;

saty[.saty file]
md[.md file]

saty == parse ==> utast[untyped AST]
md == decode markdown ==> utast

subgraph frontend

leque

module type Reader = sig
  type t
  type stream
  type elem
  val make : stream -> t
  val read : t -> (elem * t) option
end

module Option_syntax = struct
  let (let*) = Option.bind

leque

SATySFiの文字列構文まわり試案

概要

SATySFiの文字列構文を整理し、拡張性が高く理解しやすい構文にする。文字列先頭/末尾の空白を自動で除去しないように変更する。現状の #`〜` 文字列や `〜`# 文字列を廃止する。 新たにタグ付き文字列（tagged-string）の構文を導入する。

動機

• 現状の課題
  • 特殊文字を書くための構文が不十分（改行文字、Unicodeエスケープ、……）

leque

leque

(**
 An OCaml implementation of a call-by-value abstract machine for lambda-calculus +
   control, shift, control0, shift0, and prompt.
   based on "A dynamic continuation-passing style for dynamic delimited continuations"
   https://dl.acm.org/doi/10.1145/2794078
 *)
type variable = string

type term =
  | Var of variable

leque

# visualize "Is this the simplest (and most surprising) sorting algorithm ever?" https://arxiv.org/abs/2110.01111
require 'curses'

def show_array(i, j, arr)
   Curses.clear
   Curses.setpos(i, 0)
   Curses.addstr('i')
   Curses.setpos(j, 1)
   Curses.addstr('j')
   arr.each_with_index do |x, idx|

leque

;;; AST
(define-class <expr> ()
  ())

(define-class <int-expr> (<expr>)
  ((value :init-keyword :value)))

(define-class <binop-expr> (<expr>)
  ())

leque

{
  "type": "cons",
  "head": 1,
  "tail": {
    "type": "cons",
    "head": 42,
    "tail": {
      "type": "nil"
    }
  }

leque

vi(m)クローンの正規表現（雑）比較

• viはPOSIX BRE + \<, \>, ~

  • https://pubs.opengroup.org/onlinepubs/9699919799/utilities/ex.html#tag_20_40_13_58

  • ただし \{, \} はSUSv2 (1997) 以降？

    • https://pubs.opengroup.org/onlinepubs/7990989775/xcu/ex.html#tag_001_014_598_050

  • 4.4BSD (1994) のviには \{, \} は含まれないようである

    • https://minnie.tuhs.org/cgi-bin/utree.pl?file=4.4BSD/usr/src/usr.bin/ex/ex_re.c

  • nviは \{, \} を実装していない

    • https://repo.or.cz/nvi.git/blob/HEAD:/ex/ex_subst.c#l1038