Ejemplos

fn main() {
  println("Hello, kaikai")
}

type Tag
  = Ambos
  | Fizz
  | Buzz
  | Otro(Int)

# Cada rama lleva su propia condición con una guarda, así que no
# necesitas una cascada de `if / else if`.
fn clasificar(n: Int) : Tag = match n {
  n if n % 15 == 0 -> Ambos
  n if n % 3 == 0  -> Fizz
  n if n % 5 == 0  -> Buzz
  n                -> Otro(n)
}

fn etiqueta(c: Tag) : String = match c {
  Ambos    -> "FizzBuzz"
  Fizz     -> "Fizz"
  Buzz     -> "Buzz"
  # `#{expr}` inserta cualquier valor mostrable dentro del texto.
  Otro(n)  -> "#{n}"
}

fn main() {
  [1..15]
    | clasificar  # transforma: [Int] -> [Tag]
    | etiqueta    # transforma: [Tag] -> [String]
    |! println    # recorre: imprime cada línea
}

type Expr
  = Lit(Int)
  | Suma(Expr, Expr)
  | Mult(Expr, Expr)
  | Neg(Expr)

# Cuando el cuerpo de una función es una sola expresión basta con
# `=`: sin llaves y sin `return`.
fn eval(e: Expr) : Int = match e {
  Lit(n)     -> n
  Suma(l, r) -> eval(l) + eval(r)
  Mult(l, r) -> eval(l) * eval(r)
  Neg(x)     -> -eval(x)
}

fn mostrar(e: Expr) : String = match e {
  Lit(n)     -> "#{n}"
  Suma(l, r) -> "#{mostrar(l)} + #{mostrar(r)}"
  Mult(l, r) -> "#{mostrar(l)} * #{mostrar(r)}"
  Neg(x)     -> "-#{mostrar(x)}"
}

fn main() {
  let e = Suma(Lit(2), Mult(Lit(3), Lit(4)))
  println("#{mostrar(e)} = #{eval(e)}")
}

effect Log {
  log(msg: String) : Unit
}

fn saludar(nombre: String) : Unit / Log {
  # `#{...}` inserta el valor en el texto, sin concatenar a mano.
  Log.log("hello, #{nombre}")
}

fn main() {
  handle {
    saludar("kaikai")
    saludar("world")
  } with Log {
    log(msg, resume) -> {
      println("[INFO] #{msg}")
      resume(())
    }
  }
}

import spawn
import loop

fn trabajador(tag: String, n: Int) : Unit / Stdout + Spawn {
  loop.repeat(n) {
    println(tag)
    spawn.yield()
  }
}

fn main() {
  # Con lambda final escribes `spawn.spawn { ... }` en vez de
  # `spawn.spawn(() => ...)`.
  let f = spawn.spawn { trabajador("B", 3) }
  trabajador("A", 3)
  spawn.await(f)
}

fn cuadrado(n: Int) : Int = n * n

fn divisores(n: Int) : [Int] = [1, n]

fn es_par(n: Int) : Bool = n % 2 == 0

fn main() {
  # `[1..4]` es un literal de rango: no hace falta un acumulador a mano.
  # `[1..10..2]` agrega un paso.
  let total = [1..4]                  # [1, 2, 3, 4]
    | cuadrado                        # [1, 4, 9, 16]      (transforma)
    || divisores                      # [1, 1, 1, 4, 1, 9, 1, 16] (aplana)
    |? es_par                         # [4, 16]            (filtra)
    |> list.sum                       # 20                 (aplica)

  println("total=#{total}")
}

unit USD
unit EUR

fn convertir_a_usd(monto: Real<EUR>, tasa: Real<USD/EUR>) : Real<USD>
  = monto * tasa

fn main() {
  let salario   : Real<USD> = 1000.0<USD>
  let mercado   : Real<USD> =  250.0<USD>
  let comision  : Real<USD> =    5.0<USD>
  let reembolso : Real<EUR> =   91.0<EUR>
  let tasa      : Real<USD/EUR> = 1.10<USD/EUR>

  let balance = salario - mercado - comision + convertir_a_usd(reembolso, tasa)

  # 1000 - 250 - 5 + 100.1 = 845.1 USD
  println("balance=#{balance}")
}

unit m

# `Measure` está declarado sobre `AbelianGroup`, que tiene clausura
# multiplicativa: metros por metros es una cantidad real, así que
# `u^2` es una unidad que puedes nombrar. `[u: Measure]` es un
# parámetro de tipo común que recorre unidades en vez de tipos.
fn area[u: Measure](w: Real<u>, h: Real<u>) : Real<u^2> = w * h

# Como las unidades son solo un kind, la maquinaria queda abierta:
# declara el tuyo. Los puntos de experiencia se suman, pero `xp^2` no
# significa nada, así que este kind se declara sobre `Module`: un
# grupo aditivo SIN clausura multiplicativa. Una cantidad es escalar o
# lleva exactamente un habitante, y `fn sq(a: Real<xp>) : Real<xp^2>`
# se rechaza justo donde se escribe la unidad:
#
#   error: unit `xp^2` does not exist: `Points` habitants have no
#          products or powers
#
# Misma maquinaria que `Measure`, otra teoría, otra álgebra.
kind Points : Module with points
points xp

fn ganar(a: Real<xp>, b: Real<xp>) : Real<xp> = a + b

fn main() {
  let piso    = area(3.0<m>, 4.0<m>)
  let puntaje = ganar(120.0<xp>, 45.0<xp>)

  # Habitantes de kinds distintos tampoco unifican nunca: `3.0<m> +
  # 4.0<xp>` es un error de tipo. Tu kind no puede filtrarse en el de
  # nadie más.
  println("piso=#{piso}")
  println("puntaje=#{puntaje}")
}

fn dividir(a: Int, b: Int) : Int
  requires b != 0
  ensures  result * b == a
{
  a / b
}

# Valor absoluto: la postcondición garantiza un resultado no negativo
# y de la misma magnitud que el argumento.
fn abs(n: Int) : Int
  ensures result >= 0
  ensures result == n or result == -n
{
  if n >= 0 { n } else { -n }
}

fn main() {
  println("#{dividir(10, 2)}")   # 5
  println("#{abs(-3)}")          # 3
}