sapphire-lang 0.8.0

Gradually typed scripting language where every value is an object and types are optional, checked at runtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

# functions.spr — definitions, type annotations, closures, blocks, yield

# Basic function
def add(a, b) {
  a + b
}
print add(3, 4)

# Type annotations on parameters and return type
def clamp(value: Int, min: Int, max: Int) -> Int {
  if value < min {
    min
  } elsif value > max {
    max
  } else {
    value
  }
}
print clamp(5, 1, 10)
print clamp(-3, 1, 10)
print clamp(99, 1, 10)

# Early return
def abs(n: Int) -> Int {
  return -n if n < 0
  n
}
print abs(-7)
print abs(4)

# Closures — functions capture surrounding variables
total = 0
def accumulate(n) {
  total = total + n
}
accumulate(10)
accumulate(5)
accumulate(3)
print "total: #{total}"

# Blocks and yield
def repeat(n: Int) {
  i = 0
  while i < n {
    yield(i)
    i = i + 1
  }
}
repeat(3) { |i| print "step #{i}" }

# yield with two arguments
def each_pair(list) {
  i = 0
  while i < list.size - 1 {
    yield(list[i], list[i + 1])
    i = i + 2
  }
}
each_pair([1, 2, 3, 4]) { |a, b| print "#{a} + #{b} = #{a + b}" }

# Recursive function
def factorial(n: Int) -> Int {
  return 1 if n <= 1
  n * factorial(n - 1)
}
print factorial(6)