emdash

module Main

import Data.Vect

namespace Game

  data State : Type where
    NotRunning : State
    Running    : (guesses : Nat) -> (letters : Nat) -> State
    

emdash

module Main

import Data.Vect

namespace ATM

  total
  PIN : Type
  PIN = Vect 4 Char

emdash

set -eo pipefail

function just_count {
    local -i i=0
    local -i n="$1"

    while test "${i}" -lt "${n}"
    do
        i="$(( i + 1 ))"
    done

emdash

set -eo pipefail
shopt -s inherit_errexit
while getopts "s" option; do
    case "${option}" in
        s) declare -r "SLOW_MODE"=1;;
        *) : ;;
    esac
done

emdash

Overview

I propose extending the the existing notion of "structured data over pipes" to a paradigm that embraces explicit message-passing semantics.

I outline a set of complementary ideas, united under the banner of some suitably pithy term of art -- such as: shell actors, record streams, shell sockets, etc (the bikeshedding about which I wholeheartedly encourage).

emdash

# source:
# https://www.bodybuilding.com/content/nutrient-ratios-and-aloric-needs.html
def body_fat_coef(body_fat_percentage):
    if 10 <= body_fat_percentage <= 14:
        return 1.0
    elif 14 <= body_fat_percentage <= 20:
        return 0.95
    elif 20 <= body_fat_percentage <= 28:
        return 0.90
    elif body_fat_percentage >= 28: