每种语言都保证安全。
Nirdosha的样板套房读作对这个承诺的审计——每个文件都存在以显示一个保证,被否决的程序生活在测试套房中.
所有权没有垃圾收集人格。
框在任务中移动;第二个使用是编译时间出错。
借阅而不取取取( L) 。
同样的affine纪律适用于每个资源手柄——文件,套接字,数据库连接,消息队列,沙盒——所以"忘记关闭它"也是类型错误.
影响你不做注释 直到你想。
效果是默认推断的;如果声明效果(纯)而机体做一/O,那就是一个编译错误,而不是linter警告.
无法化名的货币.
产物的参数运动完全像正常的调用,因此两个并发的计算永远不能持有相同的等同值.
通道是多出产地,多消费地;发送一个盒子将其移动到电线上.
同名 chan/send/recv语法通过沙盒跨越OS-进程边界工作——运输变化,源头没有.
作为语言构造的交易.
切换在任何东西运行前生成一能键,记录意图可持久,在承诺前进行核实,对失败进行补偿,并留有非命中条目在崩溃后重放.
如果重试预算用完,它会陷阱而不是猜测.
类型系统中的身份。
Nirdosha是一个OIDC依赖方:它验证了JWTs对抗JWKS,并且从不薄荷身份标志.
A request(作用:"physician") 函数的值在没有证据的情况下是无法实现的——获取是唯一的路径,直接调用它是一个编译时间错误.
数学为任务。
Dense线性代数,一个线性卡尔曼滤波器,和WGS84大地测量学都是内建的.
基准套件并不是"解决一个巨大的系统"——它是20万个恒速跟踪器的预测/更新步骤,因为这是实际的工作量形状.
苹果,不是玩具,不是玩具,是玩具,不是玩具,是玩具,是玩具 nirdosha service从示例文件夹运行真实的应用程序:在线商店(SQLite后置的CRUD,对照模拟支付网关检查出账,在消息队列上订购事件),收入保证工具(作为单一SQL声明的调和,由命名公约衍生的仪表板),以及企业贸易-金融平台,拥有制作者-检查者批准治理.
网络UI通过出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出自出 这些例子坦率地说明了语言尚不能做的事情——没有字符串接合,没有借入的affine手柄,固定实体在演员模拟中计数.
这种诚实是关键:每个限制都记录在显示特征的文件中。
试试看