history.md

Version History

0.4.0

• add embedded macro for FFIs
• add transpiler to Coq

0.3.9

• fix a bug on the garbage collector

0.3.8

• fix a bug on typing
  • check the number of arguments
  • (+ 10) was passed typing rule
• add != and neq
  • (!= 10 10)
  • (neq (Some "Hello") 10)

0.3.7

• add bit shift operators
  • (<< 8 4) ; shift left
  • (>> 128 4) ; shift right
• add Char type
• add character literal
  • `H`
• add chars and str functions
  • chars converts String to (List Char)
    • (chars "Hello, World!")
  • str converts (List Char) to String
    • (str '(`H` `e` `l` `l` `o`))

0.3.6

• make <, >, <=, >= functions' type (Pure (-> (t t) Bool))
  • perform comparison between 2 values whose types are same
  • (< "Hello" "World")
  • (>= (Some 5) (Some 19))
• add lt, gt, leq, geq functions
  • perform comparison between any 2 values
  • function type is (Pure (-> (t1 t2) Bool))
  • (eq "Hello" 10)
  • (lt (Some 6) "Hello")

0.3.5

• add string type and literal
  • String
  • "Hello World!"
• make equal function generics
  • it can be used for non-integer types
  • (= "Hello" "Hello")
  • (= (Some 1) (Some 2))
• fix a bug on typing
  • (= (Some 1) (Some 2)) could not be typed properly

0.3.4

• fix bugs on typing
  • bug 1: some locally defined functions are cannot be called
  • bug 2: empty list cannot be typed properly
• add filter and reverse functions to prelude

0.3.3

• add hexadecimal, octal, and binary
  • 0xabcDEF
  • 0o777
  • 0b1010

0.3.2

• add pow to compute exponent
  • example: (pow 10 20)
  • type of pow: (Pure (-> (Int Int) (Option Int)))
  • if the exponent portion is greater or equal to 2^32, then return None
• add sqrt
  • example: (sqrt 16)
  • type of sqrt: (Pure (-> (Int) (Option Int)))
  • if the value is less than 0, then return None
• add bitwise operations
  • band, bor, bxor

0.3.1

• garbage collection is ready (mark and sweep)