zraffer

package object types {

  import scala.language.reflectiveCalls
  import scala.language.higherKinds

  // quantifiers aka (co)ends
  type Forall[+F[_]] = { def apply[X]: F[X] }
  type Exists[+F[_]] = F[_]

  // basic categorical notions

muammar

#!/bin/bash

## cf from http://programster.blogspot.com/2014/05/ubuntu-14-desktop-install-fira-sans-and.html

cd /tmp

# install unzip just in case the user doesn't already have it.
if [[ `uname` = Linux ]]; then
    sudo apt-get install unzip -y
    wget "http://www.carrois.com/downloads/fira_4_1/FiraFonts4106.zip"

zraffer

// Scala Types are objects of Cartesian Closed Category
// (w/o equalities, probably not a category, sorry)
object CCC {

  // category structure
  def id[T0]: T0=>T0 = x0=>x0
  def mul[T1, T2, T3](f23: T2=>T3, f12: T1=>T2): (T1=>T3) = x1 => f23(f12(x1))

  // terminal object; adjunction;
  type _1_ = Unit

zraffer

package cat

object CAT {

  // system traits
  sealed trait Type[Self <: Type[Self]]
  sealed trait Of[Self <: Of[Self, T], T <: Type[T]]

  // types
  case class Ob()

zraffer

object LinVect {

  type K = Double

  trait NAT[N] { val nat: Int }
  def NAT[N: NAT]: NAT[N] = implicitly
  def nat[N: NAT]: Int = NAT[N].nat

  trait NAT_10
  implicit object NAT_10 extends NAT[NAT_10]

kristopherjohnson

//! Translation of
//! <http://www.cs.brandeis.edu/~storer/LunarLander/LunarLander/LunarLanderListing.jpg>
//! by Jim Storer from FOCAL to Rust.

use std::error::Error;
use std::io;
use std::io::prelude::*;
use std::marker::{Send, Sync};
use std::process;
use std::str::FromStr;

pchiusano

-- This gist shows how we can use abilities to provide nicer syntax for any monad.
-- We can view abilities as "just" providing nicer syntax for working with the
-- free monad.

ability Monadic f where
  eval : f a -> a

-- Here's a monad, encoded as a first-class value with
-- two polymorphic functions, `pure` and `bind`
type Monad f = Monad (forall a . a -> f a) (forall a b . f a -> (a -> f b) -> f b)

Keno

ChristopherA

Forth Links

Unsorted

Forth: Minimal, Chip [2022-06-07]

• howerj/forth-cpu: A Forth CPU and System on a Chip, based on the J1, written in VHDL
• The J1 Forth CPU — excamera
• Minimal set of low level words to build forth · Issue #92 · ForthHub/discussion
• ‎galileo.phys.virginia.edu/classes/551.jvn.fall01/primer.htm