|
|
|
|
|
|
by seg_lol
2061 days ago
|
|
|
Interesting, I assume you are familiar with Terra, Titan and Pallene research languages? I love the idea of typed base language to implement a higher level more flexible language while still being able to drop down for correctness and speed. Gradually dynamically typed, ;) Another thing to look at is https://chocopy.org/ a typed subset of Python for teaching compilers courses. Might be worthwhile pinging Chocopy students and enticing them towards epython. What is the semantic union and intersection between EPython and Chocopy? [1] http://terralang.org/ [2] https://github.com/titan-lang/titan [3] https://github.com/pallene-lang/pallene |
|
|