s5bug

BITS 64

	org	0x00010000

ehdr:
	db	0x7F, "ELF"
	db	2	; 64 bits
	db	1	; LE
	db	1	; ELF v1
	db	0	; SysV

s5bug

Accepts input as a list of UTF-32 codepoints and returns a Number.

High-Level

let isNewline: Number -> Boolean =
  (x: Number) -> x == 10

let isDigit: Number -> Boolean =
  (x: Number) -> (x >= 48) && (x < 58)

s5bug

???? ???? ???? 0000:
  [TODO: document special cases related to Xemnas]
  ???? ???? ??0? 0000:
    ???? ???? ??00 0000 iiii iiii iiii iiii iiii iiii iiii iiii:
      load immediate INT
      push to TP
    ???? ???? ??01 0000 ffff ffff ffff ffff ffff ffff ffff ffff:
      load immediate FLOAT
      push to TP
  iiii iiii ii1m 0000 oooo oooo oooo oooo:

s5bug

High-level Immutable Algorithm

val volumeWithin: (Vec3, Vec3) -> List[Vec3] = (a: Vec3, b: Vec3) -> {
  val Vec3(ax, ay, az) = a
  val Vec3(bx, by, bz) = b
  
  val (minX, maxX) =
    if(ax <= bx) (ax, bx)
    else (bx, ax)

s5bug

Basic Control Flow

Given an arbitrary program:

@main def lcm(a: Int, b: Int): Int =
  if(a < b) (a * (b / gcd(b, a))
  else (b * (a / gcd(a, b))

def gcd(a: Int, b: Int): Int =
  if(b == 0) a

s5bug

// show Fluffy instances
trait Fluffy[F[_]] {
  def furry[A, B](fa: F[A])(f: A => B): F[B]
}

// Exercise 1
// Relative Difficulty: 1
implicit def fluffyList: Fluffy[List] = new Fluffy[List] {}

// Exercise 2

s5bug

// Author: Aly Cerruti
// Please follow along in Scastie, so you can see the output of statements:
//   https://scastie.scala-lang.org/CLmK5tLuRd6rxXuEnba0rQ

// A Category
trait Category[
  // A collection of objects
  Obj <: AnyKind,
  // A constraint on those objects (Scala lacks dependent typing, so i.e. `Val = [A] =>> Monoid[A]` makes the category of Monoids)
  Val[_ <: Obj],

s5bug

import cats._, cats.data._, cats.syntax.all._
import scala.annotation.tailrec

object Main2 {
  
  sealed trait Trace {
    def show: String
  }
  object Trace {
    implicit val showTrace: Show[Trace] = Show.show(_.show)

s5bug

import cats._, cats.data._, cats.syntax.all._
import scala.annotation.tailrec

object Main {
  
  case class Snapshot(comparisons: Int, exchanges: Int, tikz: String)

  def main(args: Array[String]): Unit = {
    val vector: Vector[Int] = Vector(55, 50, 10, 40, 80, 90, 60, 100, 70, 80, 20, 50, 22)
    val (snapshots, _, ()) = heapify[Int].runEmpty(vector).value

s5bug

Making Everest mods in FSharp

Prerequesites:

• Everest installed
• Git
• Visual Studio 2015 or newer with the .NET Framework 4.5.2 Targeting Pack

And either:

• Visual Studio Code
• Iodine for Visual Studio Code