标签: fortress

除了monoid之外,函数式编程中是否使用了任何代数结构?

我最近了解了函数式编程(在Haskell和Scala中).它的功能和优雅非常迷人.

但是当我遇到使用名为Monoid的代数结构的Monads时,我很惊讶并且很高兴看到我从数学中学到的理论知识在编程中得到了应用.

这个观察带来了一个问题:组,字段或环(参见其他代数结构)是否可以用于编程,以实现更多的抽象和代码重用目的,并实现类似数学的编程?

据我所知,名为Fortress的语言(在编译器完成后我肯定会喜欢任何语言)在其库代码中定义了这些结构.但到目前为止我只看到数字类型,我们已经熟悉了.它们还有其他用途吗?

最好的问候,ciun

functional-programming fortress algebraic-data-types abstract-algebra

17
推荐指数
1
解决办法
1540
查看次数

HPC(主要是Java)

我正在寻找一些方法来使用GPU的数字运算能力(可能还有Java?)以及使用目标机器拥有的多个核心.我将致力于实现(目前)A*算法,但在未来我希望用遗传算法替代它.我看过Project Fortress但是当我在JavaFX中构建我的GUI时,我宁愿不要偏离JVM太远.

当然,如果没有可行的解决方案,我将迁移到最简单的解决方案来实现.

java algorithm hpc fortress

7
推荐指数
2
解决办法
849
查看次数