the language

[zaoqi]

我正在实现一些语言于https://github.com/the-language/the-language 现在人工写C，所以不能用中文标识。 部分直接实现在C/Verilog，同时互相实现

• 入（λ） https://github.com/the-language/the-language/blob/898ec51c4004c9f9196d47329612a4897b71d6be/%E5%8C%96/%E8%BF%B0.scrbl
• miniKanren？
• 一个书面语言？
• (λ x (λ y x))和(λ x (λ y (λ z (x z (y z)))))？ 现在正在实现像PHP的GC C实现将可以作为内核，Verilog实现将可以作为CPU。

[4b5ent1]

minikanren有点意思，支持一个。verilog能实现的话也不错。

[swizl]

这个不错。C的编译器用的是GCC，还是Clang呀？我都做过关键字汉化哟。GCC也可以用UTF–8的符号哟。 verilog有没有什么开源的编译器？

[zaoqi]

@swizl Verilog icarus

C的实现能用以后，会实现一个翻译到Verilog的中文的更好的硬件描述语言

为了兼容各种C，不能用汉化关键字，不能用UTF–8的符号。

[zaoqi]

C不是Expression-Oriented的，有些东西难做到，于是我实现了https://github.com/zaoqi/Expression-Oriented-C ，现在C不像C

#include "module<"
#include "require<"
#include "example-lambda.c"
#include ">require"
define_struct(List)(
    var(car, void*);
    List* cdr;
)
#include ">module"

#include "module<"
define_public_lambda_withTypeOfBody(add(var(x, int), var(y, int)) __ int)(
    x+y;)
#include ">module"

[nobodxbodon]

如有进展请重开此贴.