gpt4 book ai didi

language-agnostic - 类型作为一等对象有什么好处?

转载 作者:行者123 更新时间:2023-12-01 01:27:30 25 4
gpt4 key购买 nike

这里有人有很好的例子,其中类型作为一等对象出现吗?

我想直接实现一些数学概念会有所帮助,这确实是我正在寻找的那种例子。

UPD 为了澄清这个问题,如果可以让函数接受类型和返回类型,或者将类型存储在变量中,可以做什么?

我在学习 Aldor ,虽然由于许可证问题,它有点死了。至少在上面的意思中,类型被称为一等的对象。

最佳答案

看看 Agda2、ats-lang.org 和其他具有依赖类型的语言。不完全是你问的,但相关。

关于language-agnostic - 类型作为一等对象有什么好处?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6806454/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com