Chapter 3: Advanced

Lesson 15: Summary

We took a look at:

accepting arguments in transitions,

manipulating Map objects,

events and procedures,

contract deployment.

We created a SocialMediaPayment smart contract using our newfound Scilla knowledge. You can try deploying it using the Scilla IDE.

You can visit the given links to find:

The full code

The javascript code for connecting the front-end and the blockchain

The Scilla IDE

Scilla documentation

We have reached the end of the Advanced level of LearnScilla. We hope to see you again in the future when we add more content to LearnScilla.

If you have any questions or feedback, please do not hesitate to reach out to us via the channels in the footer.

Congratulations!

You have completed this chapter!

Table of Contents

Chapter 3: Advanced

Lesson 14: Contract Deployment

Good Job!

You have completed this lesson.

Next Chapter

Lesson 16:

Next Chapter

Cheat Sheet

Field Type	Field Type Keyword (Case Sensitive)	Mutable var declaration with Null value	Mutable var declaration with value	Declaration as a variable in transition	Declaration in the library
Signed Integer	`IntX` (Where X can be 32, 64, 128, or 256) `eg. Int32`	`field a: Option Int32 = None {Int32}`	`field a: Int32 = Int32 5`	`a = Int32 5`	`let a = Int32 5`
Unsigned Integer	`UintX` (Where X can be 32, 64, 128, or 256) `eg. Uint32`	`field a: Option Uint32 = None {Uint32}`	`field a: Uint32 = Uint32 5`	`a = Uint32 5`	`let a = Uint32 5`
String	`String`	`field a: String = ""`	`field a: String = "hello"`	`a = "hello"`	`let a = "xyz"`
Hash	`ByStr32`	`field a: Option ByStr32 = None {ByStr32}`	`field a: ByStr32 = 0x1234...0abff`	`a = 0x1234...0abff`	`let a = 0x1234...0abff`
Address	`ByStr20`	`field a: Option ByStr20 = None {ByStr20}`	`field a: ByStr20 = 0x1234...0abff`	`a = 0x1234...0abff`	`let a = 0x1234...0abff`
Block Number	`BNum`	`field a: Option BNum = None {BNum}`	`field a: BNum = BNum 5`	`a = BNum 5`	`let a = BNum 5`
Boolean	`Bool`	`field a: Option Bool = None {Bool}`	`field a: Bool = True`	`a = True`	`let a = True`
List	`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	`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	`Map FieldType1(Key) FieldType2(Value)` Keys can have the following types: `IntX` `UintX` `String` `ByStr32` `ByStr20` Values can be of any type.	`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 "`