What are the differences between syntaxes of CameLIGO and OCaml ?

Most of the CameLIGO syntax follows the OCaml syntax, however, there are a few syntactic shortcuts available in one but not the other.

Consecutive '-' operators

In OCaml, you can do :

let y = - -1 (* In OCaml *)

But this has been forbidden in CameLIGO, you have to add parentheses instead:

let y = -(-1) (* In CameLIGO *)

Unary '+' operator

This is possible in OCaml but not CameLIGO :

let x = +1 (* In OCaml *)

'type in' statements

In CameLIGO, you can declare types locally to an expression. For example, here is a function returning a list of integers :

(* In CameLIGO *)

let res =

type t = int list in

let x : t = [42] in

43 :: x

Entry point declarations

Although it is possible to execute code at the top-level using e.g. ligo run test contract.mligo, a CameLIGO program will need one or more entry points in order to be published as an on-chain contract.

These are "main" functions which can be invoked by sending a transaction to the blockchain. An entry point must have the type parameter -> storage -> operation list * storage, where the storage type must be the same for all entry points in a given contract, but different entry points will typically use different parameter types.

An entry point will take the value of the parameter passed in the transaction, and the value of the permanent on-chain storage, and will return a list of new transactions initiated from the contract (i.e. transfers of 0 or more tokens to other contracts or to implicit account addresses), and a new value for the on-chain storage. The next transaction sent to that contract will use the updated storage, and so on. In order to provide a pure function that may consult the storage without modifying it, one can use @view instead of @entry. A view can be called by another contract without generating a transaction (i.e., the call is performed synchronously, instead of returning a delayed transaction which would run after the end of this contract's execution), and the view can return any value (since it cannot produce new transactions nor an updated storage, it simply returns the desired output value).

type storage = string

type result = operation list * storage

[@entry] let hello (_u : unit) (_store : storage) : result =

[], "hello"

[@entry] let big (_u : unit) (store : storage) : result =

[], store ^ " big"

type planet = Earth | Mars | Earth2

[@view] let world (p : planet) (store : storage) : string =

let world = match p with

| Earth -> " pale blue dot"

| Mars -> " pale red dot"

| Earth2 -> failwith "backup planet not found"

in

store ^ " " ^ world

Semicolons in begin ... end sequences

In OCaml, the last instruction of a begin ... end sequence can be terminated by a semicolon ;, but not in CameLIGO.

(* In CameLIGO *)

type storage = int

[@entry]

let main (_p : unit) (s : storage) : operation list * storage =

let tests =

begin

assert (1 = 1);

assert (2 = 2) // no semicolon here

end

in

[], s

Name punning

Name punning permits record assignments without repeating the right-hand side if it is the same as the record field name. Although possible in OCaml, this is not yet avaiable in CameLIGO.

(* In OCaml *)

type point = {

x : int;

y : int;

}

let x = 24

let y = 42

let p_assign_without_punning : point = {x = x; y = y}

let p_assign_with_punning : point = {x; y} (* Unavailable in CameLIGO *)