From 6c3c2c7624cdfe42e2f4d8395c6a45eec7d97f40 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Wed, 3 Jul 2019 20:30:29 +0200 Subject: [PATCH 1/3] Some accomplishments --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 3c548cba4a2..dfa8c65a2df 100644 --- a/README.md +++ b/README.md @@ -38,9 +38,7 @@ A simple language for writing Dfinity actors. * Gas-related features? -* Infinite-precision integers - -* Richer destructuring and pattern matching +* Richer destructuring and pattern matching (done?) * Exception handling @@ -48,7 +46,7 @@ A simple language for writing Dfinity actors. * Mixin composition for inheritance -* Fancier types (generic bounds, top type?, union types?, co/contra-variance?) +* Fancier types (generic bounds, co/contra-variance?) * Linear types? @@ -64,6 +62,7 @@ A simple language for writing Dfinity actors. * Primitive types: integers, naturals, words, floats, characters, (unicode) text, bool, null - `Int`, `Nat` (trap on overflow) - `Word8`, `Word16`, `Word32`, `Word64` (wrap around) + - `Int8`, `Int16`, `Int32`, `Int64`, `Nat8`, `Nat16`, `Nat32`, `Nat64` (traps on over/underflow) - `Float` - `Char`, `Text` - `Bool`, `Null` From f2fcbc1ad779f785f29ab41bdbe5503fbc851a5b Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Mon, 8 Jul 2019 19:08:59 +0200 Subject: [PATCH 2/3] Update README.md --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index dfa8c65a2df..f3eed376697 100644 --- a/README.md +++ b/README.md @@ -38,15 +38,13 @@ A simple language for writing Dfinity actors. * Gas-related features? -* Richer destructuring and pattern matching (done?) - * Exception handling * Tail calls * Mixin composition for inheritance -* Fancier types (generic bounds, co/contra-variance?) +* Fancier types (co/contra-variance annotations?) * Linear types? From a25515e5d18720170adcb42ee5f93abd81dd0c06 Mon Sep 17 00:00:00 2001 From: Gabor Greif Date: Mon, 8 Jul 2019 19:11:23 +0200 Subject: [PATCH 3/3] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f3eed376697..e9193f3ceeb 100644 --- a/README.md +++ b/README.md @@ -60,7 +60,7 @@ A simple language for writing Dfinity actors. * Primitive types: integers, naturals, words, floats, characters, (unicode) text, bool, null - `Int`, `Nat` (trap on overflow) - `Word8`, `Word16`, `Word32`, `Word64` (wrap around) - - `Int8`, `Int16`, `Int32`, `Int64`, `Nat8`, `Nat16`, `Nat32`, `Nat64` (traps on over/underflow) + - `Int8`, `Int16`, `Int32`, `Int64`, `Nat8`, `Nat16`, `Nat32`, `Nat64` (trap on over/underflow) - `Float` - `Char`, `Text` - `Bool`, `Null`