- 授权协议: 未知
- 开发语言: C/C++
- 操作系统: 跨平台
- 软件首页: http://loci-lang.org/
- 软件文档: http://loci-lang.org/
软件介绍
Loci 是一个多范式的系统编程语言,使用更直观的方式描述,跟 C++ 很类似。Loci 并不是为了弥补 C++ 的某些不足而推出,同时引入全新范式和编程风格,这些对开发者来说非常方便。此外在性能上 Loci 也没有比 C 和 C++ 强。
一段简单的代码示例:
class ExampleClass(int a, int b) {
// Constructor with default implementation.
static create = default;
int getA() const {
return @a;
}
int getB() const {
return @b;
}
}
interface ExampleInterface {
int getA() const;
}
void printA(const ExampleInterface& examplePoly) {
printf(C"A equals %d.", examplePoly.getA());
}
int main() {
auto exampleInst = ExampleClass(1, 2);
printA(exampleInst);
return 0;
}
程序设计语言理论基础
米切尔 / 电子工业出版社 / 2006-11 / 68.00元
本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!
