aboutsummaryrefslogtreecommitdiff
path: root/metafang/cm/ex02.decl
diff options
context:
space:
mode:
Diffstat (limited to 'metafang/cm/ex02.decl')
-rw-r--r--metafang/cm/ex02.decl22
1 files changed, 22 insertions, 0 deletions
diff --git a/metafang/cm/ex02.decl b/metafang/cm/ex02.decl
new file mode 100644
index 0000000..d695e33
--- /dev/null
+++ b/metafang/cm/ex02.decl
@@ -0,0 +1,22 @@
+// Declarations only version of Cm (like mojo/protobuf? not sure)
+
+// assume special receiver (as opposed to smalltalk/objC style message passing)
+// -- actually, on second thought, this has nothing to do with dispatching (and smalltalk is single dispatch)
+// -- (no touching multiple dispatch since that's equivalent to reinventing a new language)
+// overloading discouraged, because runtime has to do extra work dispatching
+// declare functions outside, with `this` keyword marking receiver
+// - in C, func -> prefixed with reciever type, 1st arg is reciever pointer
+// - in C++, func -> member function
+// - lua (or whatever else), reciever type correspondingly
+
+Foo {
+ data
+}
+
+// C: mangling
+// C++: overloading
+// Lua: generate binding with type detection based dispatcher
+fn some_function(this: Foo, arg: i32)
+fn some_function(this: Foo)
+
+// alternative: use S-expression, get rid of parsing step?