Mar. 13th, 2016

juan_gandhi: (VP)
scala> sealed trait Nat
defined trait Nat

scala> case object Z extends Nat { override def toString = "0" }
defined module Z

scala> case class S(n:Nat) extends Nat { override def toString = (n.toString.toInt + 1).toString }
defined class S

scala> def pred(n:Nat) = n match {
     | case Z => Z
     | case S(x) => x
     | }
pred: (n: Nat)Nat

scala> pred(S(S(S(S(Z)))))
res3: Nat = 3


juan_gandhi: (VP)
по ошибке (с кодом 500)

Я однажды, трепеща, изготовил в машине 10 баксов (с помощью insert into), и они были превращены в чек. Чек был уничтожен.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415 161718
1920 2122 23 2425
26 2728 293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 31st, 2025 01:48 am
Powered by Dreamwidth Studios