程序员经验分享-hwhale

Scala 的 Cake Pattern 可以在 Haskell 中实现吗？

2024-02-29

使用 Scala 中的许多较新的语言功能，可以实现可组合组件系统并使用 Martin Odersky 在论文中描述的所谓的 Cake 模式创建组件可扩展的组件抽象 http://lampwww.epfl.ch/~odersky/papers/ScalableComponent.pdf并且也在一个最近的谈话 http://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Reflection-and-Compilers.

Cake 模式中使用的几个 Scala 功能具有相应的 Haskell 功能。例如，Scala 隐式对应于 Haskell 类型类，而 Scala 的抽象类型成员似乎对应于 Haskell 的关联类型。这让我想知道蛋糕模式是否可以在 Haskell 中实现以及它会是什么样子。

蛋糕模式可以在 Haskell 中实现吗？在这样的实现中，Scala 功能对应于哪些 Haskell 功能？如果 Cake 模式无法在 Haskell 中实现，那么缺少哪些语言特性才能实现这一点？


奥列格在这里提供了非常详细的答案：http://okmij.org/ftp/Haskell/ScalaCake.hs http://okmij.org/ftp/Haskell/ScalaCake.hs

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

Haskell

module

cakepattern

Scala 的 Cake Pattern 可以在 Haskell 中实现吗？ 的相关文章

  • 如何以轮子格式安装 Python 库？

    我正在寻找有关如何以轮格式安装 Python 库的教程 它看起来并不简单 所以我希望有一个简单的分步教程 说明如何为 CPython 安装名为 requests 的模块 我从以下位置下载的 https pypi python org pyp

  • 更新到 Xcode 10.2、Swift 5 后找不到“NBPhoneNumberDesc.h”文件

    我正在使用吊舱chronotruck Flag电话号码 https github com chronotruck FlagPhoneNumber issues 103我刚刚更新自High Sierra Xcode 10 1 Swift 4

  • Haskell 中自动函数约束推导的类型约束

    出于教育目的 我在 Haskell 中摆弄树木 我有Tree a像这样定义的类型 data Tree a EmptyTree Node a Tree a Tree a 以及许多共享基本约束的函数 Ord a 所以他们有这样的类型 treeI

  • haskell 的foldr 总是采用两个参数的lambda 吗？

    Haskell 新手在这里 我正在用 haskell 解决这个问题 Eliminate consecutive duplicates of list elements If a list contains repeated elements

  • 惰性 IO - 字符串未被垃圾收集？

    我目前正在尝试将 XML 文件的内容读入Map Int Map Int String 而且效果很好 使用 HaXml 但是 我对程序的内存消耗不满意 问题似乎是垃圾收集 这是我用来读取 XML 文件的代码 type TextFile Map

  • ruby/rails：扩展或包含其他模块

    我将模块分开 以便它们更易于阅读和搜索 lib features running rb walking rb features rb 他们有 lib features running rb module Features Running e

  • 为什么类型系统拒绝我看似有效的程序？

    注意这个程序 class Convert a b where convert a gt b data A A deriving Show data B B deriving Show data C C deriving Show data

  • 选择 Haskell 解析器

    有很多开源的解析器实现 http hackage haskell org packages archive pkg list html cat parsing我们可以在 Haskell 中使用 Parsec http hackage has

  • 错误：无法安全地评估递归定义模块的定义

    我很想了解为什么会发生此错误以及解决该错误的最佳方法是什么 我有几个文件types ml and types mli它定义了一个变体类型value可以是许多不同的内置 OCaml 类型 float int list map set 等 由于

  • TypeScript 扩展模块中的对象

    我想做的事情确实类似于this https stackoverflow com questions 12802383 extending array in typescript and this https stackoverflow co

  • 如何在函数式编程中为AST节点生成稳定的id？

    我想将一个特定的 AST 节点替换为另一个节点 并且这个替换的节点是由交互式用户输入指定的 在非函数式编程中 可以使用可变数据结构 并且每个AST节点都有一个对象引用 因此当我需要引用特定节点时 我可以使用这个引用 但在函数式编程中 使用I

  • 证明 Applicative 和 Monad 的序列定义的等价性

    我怎样才能正确地证明这一点 sequenceA Traversable t Applicative f gt t f a gt f t a sequenceA pure sequenceA x xs pure lt gt x lt gt s

  • 在 Haskell 中的列表末尾添加一个元素

    我是 Haskell 的初学者 我正在尝试在列表末尾添加一个元素 我输入一个像 1 2 3 4 这样的列表和一个数字 10 我想要一个像这样的输出 1 2 3 4 10 My code func a a func a x xs x func

  • 查找多模块 Maven Reactor 项目的根目录

    有没有一种简单的方法可以找到多模块 Maven 项目的根 例如 Gradle 的rootDir 背景 我想使用 maven dependency plugin 将多模块项目的所有子模块中的工件复制到相对于整个项目的根目录的目录 也就是说 我

  • 如何安装 Haskell 控制镜头

    我注意到 Control Lens 不是 Haskell 平台的一部分 所以我可能需要安装它 谁能解释一下如何安装吗 它不是 Haskell 平台的一部分吗 编辑 我正在使用 GHCi 它使用 prelude 警告 此答案仅适用于版本 3

  • unsafePerformIO 和 FFI 库初始化

    我正在为 C 中的库创建一个 FFI 模块 该模块希望在执行其他操作之前调用一个一次性 不可重入的函数 这个调用是幂等的 但是有状态的 所以我可以在每个 Haskell 调用中调用它 但它很慢 并且由于不可重入 可能会导致冲突 那么现在是使

  • 应该如何理解“引理”函数的一般类型？

    也许这是一个愚蠢的问题 这是引用自the 哈索主义 paper https personal cis strath ac uk conor mcbride pub hasochism pdf 解决这个问题的一种方法是对引理进行编码 由下式给

  • excel vba 将 system.collections.hashmap 导入模块

    从我的内心微软 Excel 2010安装我已经打开了Visual Basic 编辑器 选项卡开发工具 gt Visual Basic 在 的里面Visual Basic 编辑器我右键单击进入项目窗口并创建了一个module 插入 gt 模块

  • 仅使用 Hunit 在 Haskell 中创建并运行最小测试套件

    我对 Haskell 比较陌生 所以如果我的术语不太正确 请提前道歉 我想为一个非常简单的项目实现一些简单的单元测试 通过管理cabal 我注意到这个非常相似的问题 https stackoverflow com questions 118

  • macOS 上的堆栈构建

    我是新来的haskell 我有最简单的程序 usr bin env stack stack resolver lts 13 7 script module Main where import Lib main IO main putStrL

随机推荐

  • Xamarin-Android 和 UWP 之间的蓝牙连接

    在相当多的时间里 我一直在努力寻找一个可行的解决方案来通过 IP 连接或蓝牙连接 Android 设备和 UWP 应用程序 在 PC 上 主要问题是找到一组足够简单但又保证可以工作的代码或示例 这样我的努力就不会白费 这种情况已经持续了一个

  • 为什么要加密用户密码？ [复制]

    这个问题在这里已经有答案了 可能的重复 为什么不存储原始密码 https stackoverflow com questions 3107810 why arent original passwords stored 如果密码是数据中最不有

  • Laravel 设置无法打开流

    我正在尝试设置 laravel 但事实证明它是正确的 我从 github 克隆了它 还使用 Composer 克隆了 Laravel 这两种技术都可以工作 这很好 因为它是我真正想学习的东西 比我想象的简单 然而 当我尝试导航到名为 iPr

  • Rowset不支持向后滚动

    我正在尝试使用以下代码查询 MySQL 数据库 declare the variables Dim Connection Dim Recordset Dim SQL declare the SQL statement that will q

  • 读取分区镶木地板时，Spark 错误地将以“d”或“f”结尾的分区名称解释为数字

    我在用着spark read parquet 从分区中组织镶木地板文件的文件夹中读取 当分区名称以以下结尾时 结果将是错误的f or d 显然 Spark 会将它们解释为数字而不是字符串 我创建了一个最小的测试用例 如下所示来重现该问题 d

  • 无法在 eclipse 中安装 blackberry webworks 插件

    using http www blackberry com go eclipseUpdate 3 6 java http www blackberry com go eclipseUpdate 3 6 java 我安装了Blackberry

  • Python TypeVar 中输出变量和第一个参数之间的区别

    我正在查看 Python TypeVar 的文档 但无法弄清楚第一个参数 或者可能是赋值变量 的含义 从 3 8 文档 A TypeVar A str bytes Must be str or bytes def longest x A y

  • pyautogui，屏幕截图功能无法识别已安装的 Pillow 模块

    我想在Pycharm中执行这段代码 x y pyautogui locateCenterOnScreen LVL35 png 但我收到这条消息 ImportError Pillow module must be installed to u

  • 如何在android布局中创建固定页脚？

    我正在使用以下代码在活动底部显示按钮

  • 如何将程序限制为单个实例

    我有一个 C 控制台应用程序 我想限制我的应用程序一次仅运行一个实例 我如何在 C 中实现这一目标 我会用一个Mutex http msdn microsoft com en us library system threading mute

  • 引导 gem5 X86 Ubuntu 完整系统模拟

    我需要在 gem5 上运行相对较新版本的 x86 磁盘映像 从 开始本指南 http www lowepower com jason creating disk images for gem5 html我使用了带有 Kernel v3 2

  • 实施到我的应用程序的深层链接后，应用程序图标不出现

    我正在 Android Studio 中开发一个应用程序 它运行得很好 但是在实现了到我的启动活动的深层链接后 我的应用程序没有出现在菜单中的应用程序图标 我知道该应用程序已安装 因为它出现在 设置 gt 应用程序 中 我知道问题出在man

  • 如何将 python 字符串转换为 ucs2 十六进制？

    我一直在寻找这个 但找不到 尽管它看起来很简单 我需要在 url 中发送 ucs2 十六进制字符串 但我不知道如何将 python 字符串转换为 ucs2 十六进制 有什么想法吗 gt gt gt encode utf16 b xff xf

  • 将视频字幕与文本转语音同步

    我尝试创建一个文本视频 其中的文本通过文本转语音进行叙述 为了创建视频文件 我使用VideoFileWriter of Aforge Net如下 VideoWriter new VideoFileWriter VideoWriter Ope

  • R 中通过列值的排列进行聚合

    背景 我正在处理出发地 目的地数据 我想计算每对城市之间的比例流量 但是 我发现很难按每对城市聚合数据 因为这些城市对涉及列条目的排列 我可以使用大量 for 循环和条件通过暴力来完成此操作 但这需要很长时间才能计算 具体来说给定以下形式的

  • 在 React-Redux 中实时重新排序列表的最佳方法？

    I m currently build an app that have a realtime list the view of list as bellow picture 当触发以下操作之一时 此列表将实时更新 有消息更新 update

  • 如何以角反应形式保存价值？

    当用户导航到不同的组件 例如隐私策略 并返回表单时 我希望在角度表单输入字段中保留值 当用户从隐私政策返回到表单时 他应该看到之前输入的数据 单击 保存 按钮后如何保留数据 当用户单击 保存 按钮时 我们调用下面的方法 它会删除旧密钥并将新

  • 计算移动平均/滚动函数的快速方法，允许自定义权重

    一个可以用TTR SMA or TTR EMA 但这些不允许自定义权重 我想出的一种解决方案是使用data table frollapply library data table x lt data table type rep 1 100

  • 从另一个程序分配特定的内存地址，并更改它的值

    最近我请假几天 想做一个用 C 处理内存地址的小程序实验 我想看到的是 当前正在运行的程序 我们称之为程序 A 创建了一个指向堆中 int 对象的指针 是否可以被另一个程序看到并被修改 程序 B 所以对于程序A 这是我的基本代码 Progr

  • Scala 的 Cake Pattern 可以在 Haskell 中实现吗？

    使用 Scala 中的许多较新的语言功能 可以实现可组合组件系统并使用 Martin Odersky 在论文中描述的所谓的 Cake 模式创建组件可扩展的组件抽象 http lampwww epfl ch odersky papers Sc

热门标签