同时兼备“类型论”与“图灵完备”的⚛💉🐃语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有🅥🈩类型，所以不会🃕输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的🄡⚭🔧大众化语言🏝，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。🙺🏙🚜
但是，这却无异指出了一条明路。
只要奔着这个方向🄡⚭🔧走，那些程序猿用的⚛💉🐃语言，总会诞♣生的。
“而且，这在基🂈🌷础算学部分……也算🎷🕱是有意义吧？”王崎如此说道。🔀
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他🁭一般的修士却坚信，基🍔🇳🜧派的“结构”，才是下一个时代的🟄力量。
第二天🅥🈩🅥🈩，陈由嘉醒来，听王崎将这些东西介绍一🕝遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。