|
|
|
|
|
|
by krcz
1990 days ago
|
|
|
Zygote [1], started as bunch of ideas about programming languages, now it is in exploration/design phase, might end up becoming a new programming language. Main goals: idiomatic translation (transpilation into readable code, with both imperative and functional targets possible, e.g. translating map-filter-reduce chain into a loop), restricted homoiconic syntax (with typed macros), advanced language concepts (dependent types, contracts, verification, effect systems) implemented as macros. Target uses: GPU/heterogenous programming, neural networks model definitions, cryptography; everywhere where control is needed over how abstractions are translated into the low level code. [1] https://github.com/krcz/zygote |
|
|