Chapter 2: Intermediate

IntX

eg. Int32

field a: Option Int32 = None {Int32}

field a: Int32 = Int32 5

a = Int32 5

let a = Int32 5

UintX

eg. Uint32

field a: Option Uint32 = None {Uint32}

field a: Uint32 = Uint32 5

a = Uint32 5

let a = Uint32 5

String

field a: String = ""

field a: String = "hello"

a = "hello"

let a = "xyz"

ByStr32

field a: Option ByStr32 = None {ByStr32}

field a: ByStr32 = 0x1234...0abff

a = 0x1234...0abff

let a = 0x1234...0abff

ByStr20

field a: Option ByStr20 = None {ByStr20}

field a: ByStr20 = 0x1234...0abff

a = 0x1234...0abff

let a = 0x1234...0abff

BNum

field a: Option BNum = None {BNum}

field a: BNum = BNum 5

a = BNum 5

let a = BNum 5

Bool

field a: Option Bool = None {Bool}

field a: Bool = True

a = True

let a = True

List

field a: List(Int32) = Nil {Int32}

field a: List(Int32) = let b = Nil {Int32} in
    let c = Int32 5 in
    Cons {Int32} c b

a = Nil {Int32}

let a = Nil {Int32}

Pair (FieldType1) (Fieldtype2)

field a: Pair (String) (Option Uint32) =
    let b = "" in
    let c = None {Uint32} in
    Pair {(String) (Option Uint32)} b c

field a: Pair (String) (Uint32) =
    let b = "Hello" in
    let c = {Uint32} 5 in
    Pair {(String) (Uint32)} b c

a = let b = "Hello" in
    let c = {Uint32} 5 in
    Pair {(String) (Uint32)} b c

let a = let b= "Hello" in
    let c = {Uint32} 5 in
    Pair {(String) (Uint32)} b c

Map FieldType1(Key) FieldType2(Value)

    IntX

    UintX

    String

    ByStr32

    ByStr20

field a: Map FieldType1 FieldType2
= Emp FieldType1 FieldType2

field a: Map ByStr20 String = let b = Emp ByStr20 String in
    let c = 0x1234...0abff in
    let d = ""Hello"" in
    builtin put b c d "

a = let b = Emp ByStr20 String in
    let c = 0x1234...0abff in
    let d = ""Hello"" in
    builtin put b c d "

let a = let b = Emp ByStr20 String in
    let c = 0x1234...0abff in
    let d = ""Hello"" in
    builtin put b c d "