concrete
concrete copied to clipboard
lambdaclass
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
``` struct A {} impl A { fn x(a: u32, &self) {} } ```
``` mod foo { struct Foo { _: Foo, } #[intrinsic = "sizeof"] fn sizeof() -> u64; pub fn main() -> i32 { sizeof::(); return 0; } } ``` Currently...
I think its related to libloading
- Preemptive - Predictable https://commonware.xyz/blogs/commonware-runtime.html
https://github.com/lambdaclass/concrete/blob/main/README.md?plain=1#L237
Take examples from - [Rosetta Code](https://rosettacode.org/wiki/Rosetta_Code) - [Project Euler](https://projecteuler.net/) - [99 Problems](https://www.ic.unicamp.br/~meidanis/courses/mc336/2009s2/prolog/problemas/)
The String is a struct with a known layout, maybe mark it with a attribute telling its a lang item like in rust. ```rust #[lang = "String"] struct String {...
``` mod test_direct_use { mod first { mod second { struct Hello { a: i32, } fn hello() -> i32 { return 2; } } } pub fn main() ->...
``` mod test_direct_use { mod first { mod second { fn hello() -> i32 { return 2; } } } import first.{second}; pub fn main() -> i32 { let mut...
``` mod MyMod { struct GenericStruct { a: T, b: u32, } pub fn main() -> i32 { let value: GenericStruct = GenericStruct:: { a: 2, b: 4, }; return...
Metadata
Owner
Metadata
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.