Recent changes to Exode

Exode modified by 0xJarno

0xJarno — Wed, 02 Sep 2015 19:52:21 -0000

--- v2
+++ v3
@@ -6,12 +6,14 @@
 * Functional
 * Object oriented
 * Declarative (constraint, logic)
+
 Type system
 -
 * Strong
 * Static
 * Effect system
 * Hindley–Milner type system
+
 Special features
 -
 * Query collections or the file system from inside the language

Exode modified by 0xJarno

0xJarno — Wed, 02 Sep 2015 19:51:48 -0000

--- v1
+++ v2
@@ -22,6 +22,7 @@
 Examples
 -
 Simplified implementation of PersistentObject:
+
 ~~~~
 class PersistenObject : Object {
     on System.shutdown {
@@ -29,7 +30,9 @@
     }
 }
 ~~~~
+
 Example of inline ASM:
+
 ~~~~
 operator Int + Int {
     mov ax, #1
@@ -37,7 +40,10 @@
     add ax, bx
     return ax
 }
+~~~~
+
 You can mix high-level and low-level code:
+
 ~~~~
 use System.CPU

@@ -57,7 +63,9 @@
  * ...
  */
  ~~~~
+ 
 Queries:
+
 ~~~~
 numbers = [2, 3, 10, -1, 0, 5, -3]
 for x in numbers where x <= 0 {
@@ -65,7 +73,9 @@
 }
 // -1, 0, -3
 ~~~~
+
 Not convinced?
+
 ~~~~
 // No need for for-in: Exode is an array language
 display (Image in User.fotoAlbum[selectedAlbum] where width > 800 px & height > 600 px)

Exode modified by 0xJarno

0xJarno — Wed, 02 Sep 2015 19:50:03 -0000

Exode is our new programming languages in development. During development of Cloudium OS we saw the need for another language than only pure ASM. Because we didn't want to lose the fine-grained acces ASM provided us, we decided not to go with an existing language like C or C++, but to make our own. This also gives us the opportunity to create a languages specifically tailored to Cloudium OS, to incorporate new ideas and have a much more modern language at the core of the OS, which still allows the low level control of plain old ASM.

Paradigm

Imperative
Functional
Object oriented
Declarative (constraint, logic)
Type system
-
Strong
Static
Effect system
Hindley–Milner type system
Special features
-
Query collections or the file system from inside the language
Built-in support for concurrency (even over the network)
Special support for event handlers
Support for units

Examples

Simplified implementation of PersistentObject:
class PersistenObject : Object {
on System.shutdown {
self.serialize.save(id:self.hash)
}
}
Example of inline ASM:
operator Int + Int {
mov ax, #1
mov bx, #2
add ax, bx
return ax
}
You can mix high-level and low-level code:
use System.CPU

fn main() {
ax, bx, cx = 1, 2, 3
for register: value in registers {
println "(register): (value)"
}
}
/
* AX: 0x0001
* BX: 0x0002
* CX: 0x0003
* DX: 0xFD31
* CS: 0x7D23
* FS: 0x81D3
* ...
/
Queries:
numbers = [2, 3, 10, -1, 0, 5, -3]
for x in numbers where x <= 0 {
print x .. ", "
}
// -1, 0, -3
Not convinced?
// No need for for-in: Exode is an array language
display (Image in User.fotoAlbum[selectedAlbum] where width > 800 px & height > 600 px)
// Equivalent SQL: "select image from userPictures where album = (selectedAlbum) and width > 800 and height > 600"