.idea/dictionaries/mizus.xml

@@ -0,0 +1,7 @@
+<component name="ProjectDictionaryState">
+  <dictionary name="mizus">
+    <words>
+      <w>vals</w>
+    </words>
+  </dictionary>
+</component>

.idea/dictionaries/mizusato.xml

@@ -15,6 +15,7 @@
       <w>bytelist</w>
       <w>centralwidget</w>
       <w>cmds</w>
+      <w>conds</w>
       <w>desugar</w>
       <w>desugared</w>
       <w>discardable</w>
@@ -22,10 +23,14 @@
       <w>dtor</w>
       <w>elif</w>
       <w>elifs</w>
+      <w>eventloop</w>
       <w>exprlist</w>
       <w>exprs</w>
       <w>extern</w>
       <w>fscanln</w>
+      <w>gctx</w>
+      <w>icrc</w>
+      <w>icrp</w>
       <w>inspectable</w>
       <w>ireg</w>
       <w>kmmm</w>
@@ -53,7 +58,9 @@
       <w>scanln</w>
       <w>sched</w>
       <w>sqrt</w>
+      <w>strlist</w>
       <w>typelist</w>
+      <w>ufcs</w>
       <w>unbox</w>
       <w>unboxes</w>
       <w>unpop</w>

.idea/misc.xml

@@ -3,4 +3,9 @@
   <component name="JavaScriptSettings">
     <option name="languageLevel" value="ES6" />
   </component>
+  <component name="SwUserDefinedSpecifications">
+    <option name="specTypeByUrl">
+      <map />
+    </option>
+  </component>
 </project>

.idea/runConfigurations/go_test_kumachan_interpreter_compiler_loader.xml

@@ -1,15 +0,0 @@
-<component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="go test kumachan/interpreter/compiler/loader" type="GoTestRunConfiguration" factoryName="Go Test" nameIsGenerated="true">
-    <module name="KumaChan" />
-    <working_directory value="$PROJECT_DIR$/interpreter/compiler/loader" />
-    <kind value="PACKAGE" />
-    <package value="kumachan/interpreter/compiler/loader" />
-    <directory value="$PROJECT_DIR$" />
-    <filePath value="$PROJECT_DIR$" />
-    <output_directory value="$PROJECT_DIR$/build" />
-    <framework value="gotest" />
-    <method v="2">
-      <option name="RunConfigurationTask" enabled="true" run_configuration_name="Dependencies" run_configuration_type="MAKEFILE_TARGET_RUN_CONFIGURATION" />
-    </method>
-  </configuration>
-</component>

.idea/runConfigurations/go_test_kumachan_standalone_sss.xml

@@ -1,10 +1,10 @@
 <component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="go test kumachan/standalone/sss" type="GoTestRunConfiguration" factoryName="Go Test" nameIsGenerated="true">
+  <configuration default="false" name="go test kumachan/lang/textual" type="GoTestRunConfiguration" factoryName="Go Test" nameIsGenerated="true">
     <module name="KumaChan" />
-    <working_directory value="$PROJECT_DIR$/standalone/sss" />
+    <working_directory value="$PROJECT_DIR$/lang/textual" />
     <root_directory value="$PROJECT_DIR$" />
     <kind value="PACKAGE" />
-    <package value="kumachan/standalone/sss" />
+    <package value="kumachan/lang/textual" />
     <directory value="$PROJECT_DIR$" />
     <filePath value="$PROJECT_DIR$" />
     <output_directory value="$PROJECT_DIR$/build" />

.idea/runConfigurations/go_test_kumachan_interpreter_runtime_rt.xml

@@ -1,10 +1,10 @@
 <component name="ProjectRunConfigurationManager">
-  <configuration default="false" name="go test kumachan/interpreter/runtime/rt" type="GoTestRunConfiguration" factoryName="Go Test" nameIsGenerated="true">
+  <configuration default="false" name="go test kumachan/lang/textual/syntax" type="GoTestRunConfiguration" factoryName="Go Test" nameIsGenerated="true">
     <module name="KumaChan" />
-    <working_directory value="$PROJECT_DIR$/interpreter/runtime/rt" />
+    <working_directory value="$PROJECT_DIR$/lang/textual/syntax" />
     <root_directory value="$PROJECT_DIR$" />
     <kind value="PACKAGE" />
-    <package value="kumachan/interpreter/runtime/rt" />
+    <package value="kumachan/lang/textual/syntax" />
     <directory value="$PROJECT_DIR$" />
     <filePath value="$PROJECT_DIR$" />
     <output_directory value="$PROJECT_DIR$/build" />

TODO

@@ -2,134 +2,36 @@ TODO
 
 ## Important
 
-encode, decode, decode*: async version
+repl gui (text browser + line edit, tab completion)
+    - QTextBrowser < QTextEdit::append
+    - display details of large objects in another window
+    - consider full debugger (multiple tabs, console + timeline + source + gui)
+    - debugger (in machine), debugger server, debugger client
+    - reflect::Type, (param T -> Unknown)
+    - reflect::Value (implicit cast from T to reflect::Value[T])
+    - debug::Log('state', state)
 
-type #XXX -> type XXX data
+ui api
+    - ui::modal-get-text
+    - api functions for file dialogs, font dialog, ...
+    - `interact-with-window` add option `min-size`; `popup` add option `rel-pos`
+    - context menu (QMenu.exec)
 
-SQLite (QSqlDatabase) project source storage (exclusive conn, diff the whole db)
+adjust
+    - qtbinding C side int vs. go side int (not the same type, fix it)
+    - var wait = make(chan struct{})  // encapsulate to something in util (SyncPair)
 
-module(can be private/public) < package
+## IDE
 
-UUID for each type/const/operator
-
-package: kvdb (-> gist)
-    content: modules(types,operators), entry point, dependencies, assets, docs
-
-ctor lambda -> generate default ctor (private) for protected/opaque type
-
-- ui::Input -> ui::TextInput
-- ui::TextView 2-way binding with Mutable[String] relay buffer (details on gist)
-- ListEdit: change mutating flag to relay buffer, similarly
-- Reactive: consider forbidding update(commit) during notification(notify)
-- ui::modal-get-text, ui::TextViewMultiLine, ui::InputMultiLine
-
-consider: type LiteralString protected String;
-
-dynamic cast (CaseRef[Interface,Concrete])
-
-`interact-with-window` add option `min-size`; `popup` add option `rel-pos`
-
-revise argument count limit (consider accessing elements in TupleValue directly)
-
-implicit context default values
-
-context menu (QMenu.exec)
-
-consider hook-based event handling
-
-var wait = make(chan struct{})  // encapsulate to something in util
-
-qtbinding C side int vs. go side int (not the same type, fix it)
-
-api functions for file dialogs, font dialog, ...
-
-loader cache: (file-path, modified-time) => AST/asset
-
-"map" operation for homogenous tuple
-
-typeList and functionList: consider sorting by date
-
-consider making `container` module standalone
-
-refactor code of container types after generics available
-
-
-## IDE Roadmap / Design
-
-CS: code structures
-
-code {
-    textual: code --parse--> CST --transform--> AST --adapt--> CS
-    structural: CS
-}
-
-file {
-    textual: 1 file, .rxt, package { mod1 { ... } mod2 { ... } }
-    structural: 1 file, .rx, sqlite database (kvdb)
-}
-
-module can be configured as 'no module prefix' (mod:: not displayed in IDE)
-
-- {prefix,infix,suffix,continuation} operator
-    prefix (function)
-    infix (operator)
-    suffix (method)
-    continuation (control)
-
-export 'b9adcfb3-7830-4092-9fd2-fc414172c774'
-function tick {interval: Number}: Source[unit] {
-    // code
-}
-export 'c4dfe913-35f5-46ee-bd46-232d778cffd4'
-method List.length: Number {
-    // code
-}
-export '89faeba7-e533-4f72-92db-93aab92c3a40'
-operator + (l: Integer, r: Integer): Integer {
-    // code
-}
-export '6e95ceb3-a479-4586-a788-ee9a2284ca1e'
-control await[A,B] (a: Async[A], k: &(A) => Async[B]): Async[B] {
-    // code
-}
-
-- Browser-like navigation (statement <=> page) (back, forward, recent history)
-
-- Tags for functions/types (tags instead of classes/folders)
-
-- { Type.method obj-subtype }
-
-- call function with explicit context passing { f(ctx{=:eq}) x }
-
-- no function ref, function -> operator
-
-- language-based debug-log (we can know the type)
-
-- sample input (to get a clear preview of the dataflow)
+browser-like navigation
+    - back, forward, recent history
 
+structural editing
+    - based on readonly QTextEdit
 
 ## Refinement
 
-- Code: dummy interface: consider { impl(Interface) } instead of { Interface() }
-
-- Code: AST node renaming
-
-- API: consider renaming wait and tick
-
-
-## Reflection
-
-type type[T] protected Type;
-type Type native;
-type value[T] protected Value;
-type Value native;
-|reflect::type[Foo]|
-|reflect::value| "abc"
-// type assertion etc. implemented by (native) functions
-
-
-## API Refactor
-
-- API: revise resource management for files, ... (consider Disposable[T] monad)
+revise resource management for files
+    - consider Disposable[T] (ctx-based disposal or persist closable object)
 
 

interpreter/compiler/assign.go

@@ -0,0 +1,181 @@
+package compiler
+
+import (
+	"kumachan/lang/source"
+	"kumachan/lang/typsys"
+	"kumachan/interpreter/program"
+)
+
+
+func assign(expected typsys.Type, expr *program.Expr, ctx *exprContext, s0 *typsys.InferringState) (*program.Expr, *typsys.InferringState, *source.Error) {
+	var loc = expr.Info.Location
+	var t = expr.Type.Type
+	// direct
+	if ok, s1 := typsys.Match(expected, t, s0); ok {
+		return expr, s1, nil
+	}
+	// convert to interface
+	if I, Id, Ia, ok := getInterface(expected, ctx); ok {
+		var d, a, ok = getTypeDefArgs(t, ctx)
+		if !(ok) { goto NG }
+		if _, is_interface := d.Content.(typsys.Interface); is_interface {
+			// interface -> interface
+			var ok, s1 = typsys.MatchAll(Ia, a, s0)
+			if !(ok) { goto NG }
+			{ var It, ok = typsys.GetCertainOrInferred(expected, s1)
+			if !(ok) { goto NG }
+			if up, ok := getInterfacePath(d, Id, ctx, nil); ok {
+				var converted = &program.Expr {
+					Type:    It,
+					Info:    expr.Info,
+					Content: program.InterfaceTransformUpward {
+						Arg:  expr,
+						Path: up,
+					},
+				}
+				return converted, s1, nil
+			} else {
+				goto NG
+			} }
+		} else {
+			// concrete -> interface
+			var table, ok = ctx.resolveDispatchTable(d, Id)
+			if !(ok) {
+				if isSamInterface(I, Id) {
+					var field = I.FieldList[0]
+					var field_t = inflateFieldType(field, Id, Ia)
+					var ok, s1 = typsys.Match(field_t, t, s0)
+					if !(ok) { goto NG }
+					{ var It, ok = typsys.GetCertainOrInferred(expected, s1)
+					if !(ok) { goto NG }
+					var converted = &program.Expr {
+						Type: It,
+						Info: expr.Info,
+						Content: program.InterfaceFromSingleMethod {
+							MethodValue: expr,
+						},
+					}
+					return converted, s1, nil }
+				}
+				goto NG
+			}
+			{ var ok, s1 = typsys.MatchAll(Ia, a, s0)
+			if !(ok) { goto NG }
+			{ var It, ok = typsys.GetCertainOrInferred(expected, s1)
+			if !(ok) { goto NG }
+			var converted = &program.Expr {
+				Type:    It,
+				Info:    expr.Info,
+				Content: program.Interface {
+					ConcreteValue: expr,
+					DispatchTable: table,
+				},
+			}
+			return converted, s1, nil } }
+		}
+	}
+	// convert to union
+	if U, Ud, Ua, ok := getUnion(expected, ctx); ok {
+		var converted *program.Expr
+		var s2 *typsys.InferringState
+		var key string
+		var found = false
+		for i, field := range U.FieldList {
+			var index = uint(i)
+			var field_t = inflateFieldType(field, Ud, Ua)
+			var ok, s1 = typsys.Match(field_t, t, s0)
+			if ok {
+				var certain, ok = typsys.GetCertainOrInferred(expected, s1)
+				if ok {
+					if found {
+						var this_key = field.Name
+						return nil, nil, source.MakeError(loc,
+							E_AmbiguousAssignmentToUnion {
+								Union: Ud.Ref.String(),
+								Key1:  key,
+								Key2:  this_key,
+							})
+					}
+					found = true
+					key = field.Name
+					s2 = s1
+					converted = &program.Expr {
+						Type:    certain,
+						Info:    expr.Info,
+						Content: program.Union {
+							Index: int(index),
+							Value: expr,
+						},
+					}
+				}
+			}
+		}
+		if found {
+			return converted, s2, nil
+		} else {
+			goto NG
+		}
+	}
+	// convert to Int
+	if program.T_Int_(expected) {
+		if _, _, ok := getEnum(t, ctx); ok {
+			var converted = &program.Expr {
+				Type:    typsys.CertainType { Type: program.T_Int() },
+				Info:    expr.Info,
+				Content: program.EnumToInt { EnumValue: expr },
+			}
+			return converted, s0, nil
+		}
+	}
+	NG:
+	return nil, nil, source.MakeError(loc,
+		E_NotAssignable {
+			From: typsys.Describe(t),
+			To:   typsys.DescribeWithInferringState(expected, s0),
+		})
+}
+
+func getUnion(t typsys.Type, ctx *exprContext) (typsys.Union, *typsys.TypeDef, ([] typsys.Type), bool) {
+	var def, args, ok = getTypeDefArgs(t, ctx)
+	if !(ok) { goto NG }
+	{ var union, ok = def.Content.(typsys.Union)
+	if !(ok) { goto NG }
+	return union, def, args, true }
+	NG:
+	return typsys.Union {}, nil, nil, false
+}
+func getEnum(t typsys.Type, ctx *exprContext) (typsys.Enum, *typsys.TypeDef, bool) {
+	var def, _, ok = getTypeDefArgs(t, ctx)
+	if !(ok) { goto NG }
+	{ var enum, ok = def.Content.(typsys.Enum)
+	if !(ok) { goto NG }
+	return enum, def, true }
+	NG:
+	return typsys.Enum {}, nil, false
+}
+func getTypeDefArgs(t typsys.Type, ctx *exprContext) (*typsys.TypeDef, ([] typsys.Type), bool) {
+	if ref_type, ok := t.(typsys.RefType); ok {
+		var def = ctx.mustHaveType(ref_type.Def)
+		var args = ref_type.Args
+		return def, args, true
+	} else {
+		return nil, nil, false
+	}
+}
+func getInterfacePath(root *typsys.TypeDef, descendant *typsys.TypeDef, ctx *exprContext, base ([] int)) ([] int, bool) {
+	for i, child_ref := range root.Interfaces {
+		var child = ctx.mustHaveType(child_ref)
+		var current = append(base, i)
+		if child == descendant {
+			return current, true
+		} else {
+			var path, ok = getInterfacePath(child, descendant, ctx, current)
+			if ok {
+				return path, true
+			}
+		}
+	}
+	return nil, false
+}
+
+

interpreter/compiler/checker/asset.go

@@ -1,23 +0,0 @@
-package checker
-
-type AssetProcessor struct {
-	MIME       string
-	Type       nominalType
-	Transform  func([] byte) ([] byte, error) // nullable
-}
-var assetProcessorsMap = map[string] AssetProcessor {
-	".png": {
-		MIME: "image/png",
-		Type: coreAssetPNG,
-	},
-	".css": {
-		MIME: "text/css",
-		Type: coreAssetCSS,
-	},
-	".ttf": {
-		MIME: "font/ttf",
-		Type: coreAssetTTF,
-	},
-}
-
-