feat(std): map->dict (data-type, to avoid confusion with Map component)

.vscode/settings.json

@@ -6,6 +6,7 @@
     "out": true // set this to false to include "out" folder in search results
   },
   "cSpell.words": [
+    "ambig",
     "axxxbyc",
     "cnctr",
     "cprogram",

e2e/const_refs_verbose/main/main.neva

@@ -1,16 +1,16 @@
 type NumsStruct struct {
     l list<int>
-    m map<int>
+    d dict<int>
 }
 
 const one int = 1
 const two int = 2
 const three int = 3
 const numsList list<int> = [one, two, three]
-const numsMap map<int> = { key: one }
+const numsMap dict<int> = { key: one }
 const numsStruct NumsStruct = {
     l: numsList,
-    m: numsMap
+    d: numsMap
 }
 
 flow Main(start) (stop) {

examples/const_refs/main.neva

@@ -1,16 +1,16 @@
 type NumsStruct struct {
     l list<int>
-    m map<int>
+    d dict<int>
 }
 
 const one int = 1
 const two int = 2
 const three int = 3
 const numsList list<int> = [one, two, three]
-const numsMap map<int> = { key: one }
+const numsMap dict<int> = { key: one }
 const numsStruct NumsStruct = {
     l: numsList,
-    m: numsMap
+    d: numsMap
 }
 
 flow Main(start) (stop) {

internal/compiler/parser/smoke_test/happypath/005_type.args.neva

@@ -15,16 +15,16 @@ type MyVec vec<int>
 
 pub type MyVec2 Vec<int>
 
-pub type MyMap map<string, int>
+pub type MyMap dict<string, int>
 
-type MyMap map<string, int>
+type MyMap dict<string, int>
 
 type MyInt int
 
-type MyMap1<T, Y> map<T, Y>
+type MyMap1<T, Y> dict<T, Y>
 
-type MyMap2<T int, Y> map<T, Y>
+type MyMap2<T int, Y> dict<T, Y>
 
-type MyMap3<T int, Y vec<float>> map<T, Y>
+type MyMap3<T int, Y vec<float>> dict<T, Y>
 
-type MyMap3<T int, Y vec<float>> map<T, vec<Y>>
+type MyMap3<T int, Y vec<float>> dict<T, vec<Y>>

internal/compiler/parser/smoke_test/happypath/008_type.rec.args.neva

@@ -12,35 +12,35 @@ pub type Rec struct {
 
 pub type Rec struct {
     foo vec<int>
-    bar map<string, int>
+    bar dict<string, int>
 }
 
 pub type Rec struct {
-    foo map<string, int>
+    foo dict<string, int>
     bar vec<enum { Monday, Tuesday, Wednesday, Thursday, Friday }>
 }
 
 pub type Rec struct {
-    foo map<string, int>
+    foo dict<string, int>
     bar vec<enum {
         Monday, Tuesday, Wednesday, Thursday, Friday }>
 }
 
 pub type Rec struct {
-    foo map<string, int>
+    foo dict<string, int>
     bar vec<enum { Monday, Tuesday, Wednesday, Thursday, Friday
     }>
 }
 
 pub type Rec struct {
-    foo map<string, int>
+    foo dict<string, int>
     bar vec<enum {
         Monday, Tuesday, Wednesday, Thursday, Friday
     }>
 }
 
 pub type Rec struct {
-    foo map<string, int>
+    foo dict<string, int>
     bar vec<enum {
         Monday,
         Tuesday,

internal/compiler/parser/smoke_test/happypath/010_type.rec.nested.neva

@@ -26,7 +26,7 @@ pub type Rec4Lvl1 struct {
     rec4Lvl2 struct {
         foo vec<struct {
             bar vec<struct {
-                baz map<string, struct { baz bool }>
+                baz dict<string, struct { baz bool }>
             }>
         }>
     }

internal/compiler/parser/smoke_test/happypath/013_type.union.args.neva

@@ -35,26 +35,26 @@ type bar vec<i32
 type bar vec<
     i32 | vec<i32>
 >
-type bar vec<i32 | vec<i32>> | map<i32, i32 | f32>
+type bar vec<i32 | vec<i32>> | dict<i32, i32 | f32>
 
 type bar vec<
-    i32 | vec<i32>> | map<i32, i32 | f32
+    i32 | vec<i32>> | dict<i32, i32 | f32
 >
 
 type bar vec<
     i32 | vec<i32>
-> | map<i32, i32 | f32>
+> | dict<i32, i32 | f32>
 
-type bar vec<i32 | vec<i32>> | map<
+type bar vec<i32 | vec<i32>> | dict<
     i32, i32 | f32
 >
-type bar vec<i32 | vec<i32 | f32>> | map<i32, i32 | vec<f32>>
+type bar vec<i32 | vec<i32 | f32>> | dict<i32, i32 | vec<f32>>
 
 type bar vec<
-    i32 | vec<i32 | f32>> | map<i32, i32 | vec<f32>
+    i32 | vec<i32 | f32>> | dict<i32, i32 | vec<f32>
 >
 
 pub type bar vec<
     i32 |
     vec<i32 | f32>
-> | map<i32, i32 | vec<f32>>
+> | dict<i32, i32 | vec<f32>>

internal/compiler/parser/smoke_test/happypath/025_component.neva

@@ -38,7 +38,7 @@ flow Doer<T>(x int) (y T) {
     simpleAbsNode INode
     absNodeWithTypeArgs INode<
         int,
-        map<
+        dict<
             string, vec<bool>
         >
     >
@@ -83,7 +83,7 @@ flow Doer<T>(x int) (y T) {
 flow Doer<T>(x int) (y T) {
     concreteNodeWithDIAndTypeArgs  Node1<
         int,
-        map<
+        dict<
             string,
             vec<bool>
         >
@@ -99,7 +99,7 @@ flow Doer<T>(x int) (y T) {
 
     absNodeWithTypeArgs INode<
         int,
-        map<
+        dict<
             string, vec<bool>
         >
     >
@@ -108,7 +108,7 @@ flow Doer<T>(x int) (y T) {
 
     concreteNodeWithDIAndTypeArgs  Node1<
         int,
-        map<
+        dict<
             string,
             vec<bool>
         >

std/builtin/collections.neva

@@ -3,7 +3,7 @@
 // for maps it returns number of keys,
 // for for strings it returns number of utf-8 characters.
 #extern(list list_len, map map_len)
-pub flow Len<T list<any> | map<any> | string>(data T) (res int)
+pub flow Len<T list<any> | dict<any> | string>(data T) (res int)
 
 // List receives stream and sends list with all elements from the stream.
 #extern(stream_to_list)

std/builtin/types.neva

@@ -1,17 +1,20 @@
-pub type any
-pub type bool
-pub type int
-pub type float
-pub type string
-pub type map<T> // TODO rename to dict
-pub type list<T>
-pub type maybe<T>
+pub type any // any possible type
+pub type bool // 1-byte for true/false
+// pub type byte // 8-bit unsigned integer // TODO?
+pub type int // 64-bit signed integer
+pub type float // 64-bit floating point
+pub type string // UTF-8 encoded string
+pub type dict<T> // unordered set of key-value pairs
+pub type list<T> // ordered sequence of elements
+pub type maybe<T> // optional value
 
+// error type
 pub type error struct {
     text string
     child maybe<error>
 }
 
+// stream type
 pub type stream<T> struct {
     data T
     idx int