From 2e04271b58a2378ccf8cfc84e69c7243069a5e05 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Wed, 27 Mar 2019 10:36:44 +0100 Subject: [PATCH] explain prelude --- guide/as-slides.md | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/guide/as-slides.md b/guide/as-slides.md index c28fa38978d..8ff15eba459 100644 --- a/guide/as-slides.md +++ b/guide/as-slides.md @@ -1,14 +1,12 @@ -% "ActorScript" - ### Motivation / Goals -A simple but useful language for writing DFINITY actors. +A simple but useful language for writing Dfinity actors. -* High-level language for DFINITY dapps +* High-level language for Dfinity dapps * Simple design (K.I.S.S.) * Familiar syntax * Incorporating ~~actor~~ *canister* model -* Good fit for Wasm / DFINITY execution +* Good fit for Wasm / Dfinity execution * Forward looking (anticipating Wasm v.*X*) --- @@ -633,6 +631,13 @@ charlie.go("charlie", server); --- +### Language prelude + +* connects internal primitives with surface syntax (types, operations) +* conversions `intToWord32` +* side-effecting operations `printInt` (tie into execution environment) +* utilities `hashInt`, `clzWord32` + ### Implementation(s) * implemented in OCaml (leverages `wasm` libary)