derrickturk

load petra_grid;

%%

%entry
%name header
%type Header
%offset 0x0#B

%entry

derrickturk

# Copyright (c) 2023 Derrick W. Turk / terminus, LLC

# Permission is hereby granted, free of charge, to any person obtaining a copy
# of this software and associated documentation files (the "Software"), to deal
# in the Software without restriction, including without limitation the rights
# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
# copies of the Software, and to permit persons to whom the Software is
# furnished to do so, subject to the following conditions:

# The above copyright notice and this permission notice shall be included in all

derrickturk

#[inline]
fn pop_char(s: &str) -> Option<(char, &str)> {
    let mut chars = s.chars();
    chars.next().map(|c| (c, chars.as_str()))
}

derrickturk

# Language path: Haskell->Ocaml->Python, mypy typesystem [semantic loss ~31%]
# Subject: Zippers as the key insight

# what great fun! since mypy ~0.991 (?) we can finally, finally work with
#   recursive types. this opens up Python to some traditional functional
#   programming practices with a minimum of bullshit.

from typing import NamedTuple, TypeAlias

# let's walk amongst the trees for a bit.

derrickturk

function push(q, val) {
    if (empty(q)) {
        q["head"] = 0
        q["tail"] = 0
        q[0] = val
    } else {
        q[q["tail"] + 1] = val
        q["tail"] = q["tail"] + 1
    }
}

derrickturk

{-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}

module Data.HList
  ( HList(..)
  , TypeMap
  ) where

import Data.Kind (Type)
import Data.Maybe (fromJust, fromMaybe)

derrickturk

base26 :: Integer -> String
base26 n =
  let (m, n') = n `divMod` 26
      ones = [toEnum (fromEnum 'A' + fromInteger n')]
   in case m of
     0 -> ones
     m -> base26 (m - 1) ++ ones

derrickturk

#include <stdio.h>
#include <stddef.h>
#include <stdlib.h>

typedef struct node {
    int value;
    struct node *next;
} node, *list;

void list_free(list l)

derrickturk

use "collections"

interface Sendable
  fun tag send(word: I64)

primitive Running
primitive Blocked
primitive Halted
primitive IllegalInstruction

derrickturk

abstract type meat
  Beef
  pub Lamb(age: int)