程序员经验分享-hwhale

函数式编程语言的静态分析器，例如Scheme

2023-12-25

我很少看到像Racket/Scheme这样的函数式编程语言的静态分析器，我什至怀疑是否有。我想为函数式语言编写一个静态分析器，比如Scheme/Racket。我该怎么办？


是的，有一些关于像Scheme这样的动态语言的静态分析的工作。例如，请参阅 Olin Shivers 的作品（http://www.ccs.neu.edu/home/shivers/itations.html http://www.ccs.neu.edu/home/shivers/citations.html）和曼努埃尔·塞拉诺（http://www-sop.inria.fr/members/Manuel.Serrano/index-1.html http://www-sop.inria.fr/members/Manuel.Serrano/index-1.html).

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

functionalprogramming

SCHEME

racket

analyzer

函数式编程语言的静态分析器，例如Scheme 的相关文章

  • 方案语言：合并两个数字

    如何将列表中的两个整数合并为一个 方案中 例子 11 223 gt 11223 假设列表恰好有两个元素 并且都是数字 define merge numbers lst let 1st number gt string first lst 2

  • 我应该选择哪种函数式编程语言作为第一种函数式编程语言？ [关闭]

    Closed 这个问题是基于意见的 help closed questions 目前不接受答案 我想学习一种函数式编程语言 以了解不同的编程范例 我的编程背景 Java 我刚刚通过了 SCJP 考试 一些 ruby 和非常有限的 Rails

  • “foop”：命名约定？它是“foo”的辅助递归函数；后缀“p”是什么意思？

    我遇到了以下代码片段 函数定义 choose x xs choosep x xs where choosep x x choosep x x choosep x xs choosep x xs in 柯里编程语言 http en wikip

  • Swit 中的函数式编程将数组元素分配到正确的“桶”

    我是函数式编程的新手 我的问题是我有一个主数组和固定数量的 目标 数组 我想根据每个元素的特定值将主数组中的元素分配到正确的结果数组中 我猜测一种方法是使用一个映射函数来遍历主数组元素 确定正确的 目标数组 值 基于某种逻辑 然后将元素添加

  • 如何在球拍中查看扩展宏？

    我得到了这个答案https stackoverflow com a 70318991 https stackoverflow com a 70318991关于编写一个简单的宏来记录宏扩展时的时间 然后始终返回该时间 lang racket

  • “函数是第一等值”这到底是什么意思？

    有人可以用一些很好的例子清楚地解释它吗 在解释函数式编程时 我在 Scala 中遇到了这句话 一流 并不是一个正式定义的概念 但它通常意味着一个实体具有三个属性 有可能used 不受限制 只要 普通 值可以 即从函数传递和返回 放入容器等

  • 方案如何返回多个值？

    我注意到几乎所有方案函数只能返回一个列表作为输出 下面 我想返回邻居的所有相邻节点的多个值 define neighbors l w if and 1 l 1 w list and l 1 w and 1 l w how to output

  • 纯函数怎么能做IO呢？

    我最近了解到莫纳德随机数 http hackage haskell org package MonadRandom 0 1 13 docs Control Monad Random Class html t 3aMonadRandom图书馆

  • 球拍博士中的位图[关闭]

    Closed 这个问题需要多问focused help closed questions 目前不接受答案 如何在 drracket 中的框架 gui 上加载位图 请给出必要的代码和参考文献 我承认 我很难在文档中找到正确的位置来指向您 这是

  • 理解 Scala FP 库

    只是为了让那些想要开始使用 Scala FP 库 在纯 FP 方面变得更好的人快速清晰地了解 有人能澄清猫和猫效应 猫效应 IO 之间的区别 关系吗 最重要的是 齐奥和莫尼克斯对此有何看法 最后 与 ScalaZ 7 8 有何关系 到目前为

  • 在Racket中将结构递归转化为累积递归

    我有一些代码来查找最大高度并将其替换为关联的名称 身高和姓名有单独的列表 每个列表的长度相同且非空 我可以使用结构递归来解决这个问题 但必须将其更改为累积递归 而且我不确定如何做到这一点 我见过的所有例子都让我困惑 有人能够将代码变成使用累

  • Vim 脚本中的“reduce”函数

    Vim 脚本有一些非常基本的函数式编程工具 It has map and filter 但据我所知它缺乏reduce 功能 Reduce https en wikipedia org wiki Fold 28higher order fun

  • Haskell 入门

    这个问题的答案是社区努力 help privileges edit community wiki 编辑现有答案以改进这篇文章 目前不接受新的答案或互动 几天来 我一直试图理解 Haskell 中的函数式编程范例 我通过阅读教程和观看截屏视频

  • scala 返回列表中的第一个 Some

    我有一个清单l List T1 目前我正在执行以下操作 myfun T1 gt Option T2 val x Option T2 l map myfun l flatten find gt true The myfun函数返回 None

  • 正确使用术语 Monoid

    从下面的例子来看 我认为这样的说法是正确的String在串联运算下定义了一个幺半群 因为它是关联二元运算 并且String碰巧有一个身份元素 它是一个空字符串 scala gt Jane Doe Jane Doe res0 Boolean

  • std::bind 重载解析

    下面的代码工作正常 include

  • 为什么 Javascript 函数在实例化时的行为与执行时的行为不同？

    我来自 C PHP 并试图了解 Javascript 的想法 即函数是变量 对象并且具有准构造函数等 任何人都可以解释为什么以下代码会起作用 即 为什么实例化变量 函数时不显示 2 test 为什么执行变量 函数时不显示 1 test co

  • 如何判断何时创建新组件？

    我一直在寻找背后的逻辑当有人在 AngularJS Angular 上的 Web 应用程序中创建新组件时但我认为这更通用 可能适用于所有基于组件的前端框架 我知道有像这样的一些原则应该是抽象的和可重用的但例如我在角度文档中看到 每个单独的路

  • Haskell 对于 Web 应用程序来说足够成熟吗？ [关闭]

    就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心 help reopen questi

  • 我在函数的最后一次递归调用中得到“方案应用程序而不是过程”

    所以这是代码 define time prime test n newline display n start prime test n runtime define start prime test n start time if pri

随机推荐

  • 如何只在 IE 上破解 css 内联样式？

    如何破解仅在 IE 上的 css 内联样式 只在所有版本的 IE 上破解 css 内联样式 我该怎么办 像那样 div style color eee border 1px solid 000 line height 32px div 你需

  • PyQt5：检查鼠标是否在输入事件中按下

    我的实际应用程序比这复杂得多 但下面的示例总结了我的大部分问题 我有多个 QLabel 我对它们进行了子类化以使它们可单击 标签显示 16x16 图像 需要通过 Pillow 加载图像 将其转换为 ImageQt 对象 然后设置标签的像素图

  • 带下划线前缀的受保护属性

    Like public foo null bar 10 protected stuff null moreStuff 5 似乎很多人都这样做 为什么 这不是不一致的命名吗 就像某些 PHP 函数一样 这是 php5 之前的旧约定 Php4

  • Ipython raw_input 可以解决吗？

    我正在运行一个Python程序 它想要接受raw input 而Ipython笔记本不这样做 已知的限制 实现该功能的推荐方法是什么 解决方法 我想做的是能够运行程序 接受输入并响应 将根据检索到的信息确定选择 并提示输入用户 ID 和密码

  • 我应该使用哪种方法来手动引导我的 AngularJS？

    我看到了以下内容 angular bootstrap document TodoApp angular bootstrap angular element body 0 TodoApp AngularJS 文档也提到了这一点 我不太明白 a

  • VS Code 的 EditorConfig 不起作用

    我使用 VS Code 作为编辑器 我们有一个 editorconfig其中包含格式配置的文件 我们都在编辑器中使用扩展 EditorConfig 来格式化 HTML 和 CSS 常规内容 我已经从这里安装了 VS Code 的扩展 Edi

  • 以编程方式设置 java.awt.headless=true

    我正在尝试设置java awt headless true在应用程序启动期间 但似乎我来得太晚了 非无头模式已经开始 static System setProperty java awt headless true java awt Gra

  • 在 FFMPEG 中对数据流和视频进行编码

    我想将一些专有数据 它是每帧的序列化无符号 64 位整数 编码到视频容器 mp4 作为数据流 但我无法找到任何人执行此操作的说明 教程 我唯一能找到的是这个 它描述了如何创建数据流 用户显然没有成功https lists libav org

  • 如何在 HTML 中创建泪滴？

    如何创建这样的形状以显示在网页上 我不想使用images因为它们在缩放时会变得模糊 我尝试过CSS tear display inline block transform rotate 30deg border 5px solid gree

  • Plotly：并排条形图和饼图

    我想使用并排绘制条形图和饼图subplot函数在plotly然而 在图形的中心绘制了一个大饼图 覆盖了条形图 这是示例代码 Animals lt c giraffes orangutans monkeys SF Zoo lt c 20 14

  • Android Native 在 /system/lib/libskia.so 崩溃（位图处理）

    我需要帮助解决影响 Play 商店中应用程序的错误 Play 开发者控制台上的崩溃报告 此崩溃仅限于某些安卓4 4 devices 无法在模拟器上重现崩溃 堆栈跟踪发生在本机代码 而不是 Java 上 因此很难看出此错误是在哪里调用的 研究

  • 使用 jcifs 读取文件的最简单方法

    我正在尝试使用外部从网络共享读取文件jcifs图书馆 https jcifs samba org 我能找到的大多数用于读取文件的示例代码都非常复杂 甚至可能不必要 我找到了一个简单的方法write到如下所示的文件 有没有办法使用类似的语法读

  • 声明框架中结构的简单协议一致性

    是否可以声明 struct 是在框架中定义的结构 它基本上符合在我的应用程序中定义的协议 举例来说 我有一个 API 它为框架中建模的一些小部件声明结构 public struct VagueWidget public let temper

  • 如何比较 Boost 几何形状？

    我有 2 个 升压 几何 模型 环 我试图判断它们是否相同 是否有内置的增强几何比较函数 方法可以为我解决这个问题 boost geometry equals a b 报告两个几何图形在空间上是否相等

  • WSO2 ESB 5 中的动态 json-eval 表达式

    我正在尝试使用动态生成的 json eval 来处理 JSONPayload 以选择特定的酒店对象 下面提到的直接 json eval 工作得很好 直接 json eval 表达式 json eval content hotelcode A

  • 从 HTML5 存储打开 PDF

    我想将 pdf 文件客户端存储在 HTML5 存储之一 indexedDB 或 localstorage 中 然后稍后使用 adobe reader 打开它们 场景如下 用户访问了我的网站并将一堆 pdf 下载到存储中 稍后 用户重新访问该

  • 获取现有的 NSLayoutConstraint 宽度？

    我正在尝试使用自动布局为 Cocoa 中的控件设置动画 现在 我可以设置 constraint animator setConstant newWidth 有效 但我怎样才能得到正确的约束呢 With self constraints 你可

  • 没有适用于应用内购买的信息。稍后再试。 21105

    昨天 当我从任何地方测试我的应用程序时 这个错误开始出现 打电话时发生这种情况restoreCompletedTransactions 在应用程序启动时 此错误是什么意思 我可以采取什么措施来避免此错误 这是苹果的内部服务器造成的 根据我几

  • 如何在 Visual Studio 2017 中运行 MSBuild 包目标

    我的问题类似于this https stackoverflow com questions 40661918 how do you create a nuget package from a net core msbuild project

  • 函数式编程语言的静态分析器，例如Scheme

    我很少看到像Racket Scheme这样的函数式编程语言的静态分析器 我什至怀疑是否有 我想为函数式语言编写一个静态分析器 比如Scheme Racket 我该怎么办 是的 有一些关于像Scheme这样的动态语言的静态分析的工作 例如 请

热门标签