monomorphism相关内容

为什么单态和多态在 JavaScript 中很重要?

我一直在阅读一些关于变化检测的文章,他们都说单态函数比多态函数快得多.例如,这是一个引用: (..)这样做的原因是,它必须以动态方式编写,所以无论其模型结构如何,它都可以检查每个组件喜欢.虚拟机不喜欢这种动态代码,因为它们不能优化它.它被认为是多态的对象的形状并不总是一样的.Angular 在每个组件的运行时,它们是单态的,因为它们知道组件模型的形状到底是什么.虚拟机可以完美优化此代码,使其 ..
发布时间:2022-01-24 16:56:41 前端开发

Julia 是否对递归多态类型执行代码单态化?

我注意到在执行代码单态化的语言(例如:C++、Rust 等)中实现多态递归类型是非常困难的,如果不是不可能的话.这通常是因为编译器需要为每个可能的类型实例化生成代码,这通常会导致无限递归. 支持这一点的语言通常使用类型擦除.编译器不会尝试实例化下一个递归调用,因为它已经知道类型的布局. Julia 执行代码单态化,但它支持多态递归.我的猜测是,它通过延迟实例化泛型类型或函数直到它被实际 ..
发布时间:2022-01-23 19:57:50 其他开发

过度概括的咖喱 fns

module MapHelpers (Ord : Map.OrderedType) = struct包括 Map.Make (Ord)让 add_all a b = fold add a b结尾 有效但看似等效 module MapHelpers (Ord : Map.OrderedType) = struct包括 Map.Make (Ord)让 add_all = 折叠添加结尾 编译失败 ..
发布时间:2021-06-12 18:34:49 其他开发

子图同构和子图同构之间有什么区别?

在我从事的一个项目中,背景知识:我不是图论专家,也没有经过正规的培训.但是,这个主题在化学中非常重要,化学家期望化学子在他们使用的结构搜索系统中进行特定类型的子图匹配. 如果目标图A具有n个节点和m个边,则化学家将接受子图匹配,其中查询图B具有n个节点和m-1个边.唯一的要求是B中的每个边都应存在于A中.例如,一个6个节点的线性链应该匹配6个节点的循环. 这是匹配的同构还是同构?也许还 ..
发布时间:2020-07-10 02:59:45 其他开发

为什么JavaScript中的单态和多态问题?

我一直在阅读一些关于变化检测的文章,他们都说单态函数比多态性快得多。例如,这里是一个引用: (..)原因是,它必须以动态方式编写,所以 它可以检查每个组件,无论它的模型结构看起来像 。虚拟机不喜欢这种动态代码,因为它们不能优化它。它被认为是多态的,因为对象的形状 并不总是相同的。 Angular在 运行时为每个组件创建变化检测器类,这些类是单态的,因为它们知道 正是组件模型的形状。 ..
发布时间:2019-06-05 22:08:23 前端开发