blocks|key|1358348|text|LLVM提供了很多功能，但它仍然只是函数语言所需要的运行时的一小部分。而C调用并不复杂，因为LLVM将内存管理留给其他人处理。交互垃圾收集器是FFI在诸如Scheme之类的语言中调用困难的原因。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1358349|您可能对HLVM感兴趣，但在这一点上它仍然不仅仅是实验性的。|offset|length|1358350|entityMap|0|LINK|mutability|MUTABLE|url|http://hlvm.forge.ocamlcore.org/^0|0|4|4|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|O|8|@]|9|@$D|P|E|Q|1|R]]|A|$]]|$1|F|3|-4|5|6|7|S|8|@]|9|@]|A|$]]]|G|$H|$5|I|J|K|A|$L|M]]]]

LLVM provides a lot, but it's still only a small part of the runtime a functional language needs. And C FFI calls are uncomplicated because LLVM leaves memory management to be handled by someone else. Interacting the Garbage Collector is what makes FFI calls difficult in languages such as Scheme.

You might be interested in <a href="http://hlvm.forge.ocamlcore.org/" rel="noreferrer">HLVM</a>, but it's still more than experimental at this point.

blocks|key|1358646|text|对于CL：卡环是LLVM上的一个通用Lisp实现，而莫克雷在LLVM上实现了一个公共Lisp的子集。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|1358647|对于方案:有一个self-hosting+Scheme->LLVM+demo和Bigloo方案的原型LLVM后端。|1358648|对于Clojure:有莱茵河，这是一个以Clojure为灵感的lisp。|1358649|entityMap|0|LINK|mutability|MUTABLE|url|https://github.com/drmeister/clasp|1|https://wukix.com/mocl|2|https://web.archive.org/web/20160316234719/http://pygments.org/demo/55807/|3|https://gupea.ub.gu.se/bitstream/2077/34201/1/gupea_2077_34201_1.pdf|4|https://github.com/artagnon/rhine-ml^0|5|2|0|Q|3|1|0|8|U|2|13|H|3|0|B|3|4|0^^$0|@$1|2|3|4|5|6|7|X|8|@]|9|@$A|Y|B|Z|1|10]|$A|11|B|12|1|13]]|C|$]]|$1|D|3|E|5|6|7|14|8|@]|9|@$A|15|B|16|1|17]|$A|18|B|19|1|1A]]|C|$]]|$1|F|3|G|5|6|7|1B|8|@]|9|@$A|1C|B|1D|1|1E]]|C|$]]|$1|H|3|-4|5|6|7|1F|8|@]|9|@]|C|$]]]|I|$J|$5|K|L|M|C|$N|O]]|P|$5|K|L|M|C|$N|Q]]|R|$5|K|L|M|C|$N|S]]|T|$5|K|L|M|C|$N|U]]|V|$5|K|L|M|C|$N|W]]]]

For CL: <a href="https://github.com/drmeister/clasp" rel="noreferrer">Clasp</a> is a Common Lisp implementation on LLVM, and <a href="https://wukix.com/mocl" rel="noreferrer">mocl</a> implements a subset of Common Lisp on LLVM. 

For Scheme: there's a <a href="https://web.archive.org/web/20160316234719/http://pygments.org/demo/55807/" rel="noreferrer">self-hosting Scheme->LLVM demo</a> and <a href="https://gupea.ub.gu.se/bitstream/2077/34201/1/gupea_2077_34201_1.pdf" rel="noreferrer">a prototype LLVM backend for Bigloo Scheme</a>.

For Clojure: there's <a href="https://github.com/artagnon/rhine-ml" rel="noreferrer">Rhine</a>, which is a Clojure-inspired lisp.

blocks|key|2882380|text|这里有一个非常小且显然未优化的Scheme编译器：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|2882381|http://www.ida.liu.se/~tobnu/scheme2llvm/|offset|length|2882382|从字面上看你的问题，|2882383|编写编译器是很困难的。|unordered-list-item|2882384|像上面链接的那样糟糕的实现会阻止新的实现。访问LLVM页面的人看到已经有了一个方案，而不必费心编写一个方案。|2882385|有有限的人写和使用方案(我是一个，而不是仇恨，顺便说一句)。|2882386|这里有很多现有的Scheme整数和编译器，而且不需要有一个新的。|2882387|使用LLVM编写新的解释器并没有立即、明确的好处。它会比其他数十种方案的实现更快、更容易、更灵活、更好吗？|2882388|LLVM项目使用了另一种语言(C)来演示他们的技术，而且还没有看到需要实现很多其他语言。|2882389|我认为，对于构建一个基于LLVM的Scheme编译器来说，这是一件很有趣的事情。SICP和PAIP中的方案编译器都是很好的例子。|2882390|entityMap|0|LINK|mutability|MUTABLE|url^0|0|0|15|0|0|0|0|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|13|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|14|8|@]|9|@$D|15|E|16|1|17]]|A|$]]|$1|F|3|G|5|6|7|18|8|@]|9|@]|A|$]]|$1|H|3|I|5|J|7|19|8|@]|9|@]|A|$]]|$1|K|3|L|5|J|7|1A|8|@]|9|@]|A|$]]|$1|M|3|N|5|J|7|1B|8|@]|9|@]|A|$]]|$1|O|3|P|5|J|7|1C|8|@]|9|@]|A|$]]|$1|Q|3|R|5|J|7|1D|8|@]|9|@]|A|$]]|$1|S|3|T|5|J|7|1E|8|@]|9|@]|A|$]]|$1|U|3|V|5|6|7|1F|8|@]|9|@]|A|$]]|$1|W|3|-4|5|6|7|1G|8|@]|9|@]|A|$]]]|X|$Y|$5|Z|10|11|A|$12|C]]]]

There's a very small and apparently unoptimised Scheme compiler here:

<a href="http://www.ida.liu.se/~tobnu/scheme2llvm/" rel="noreferrer">http://www.ida.liu.se/~tobnu/scheme2llvm/</a>

Taking your question literally,

<ul>
<li>Writing compilers is hard.</li>
<li>A poor implementation like the one linked above can block new implementations. People going to the LLVM page see that there's a Scheme already, and don't bother writing one.</li>
<li>There's a limited number of people who write and use Scheme (I'm one, not a hater, btw).</li>
<li>There are lots of existing Scheme intepreters and compilers and there's not a screaming need to have a new one.</li>
<li>There's not an immediate, clear benefit to writing a new interpreter using LLVM. Would it be faster, easier, more flexible, better in some way than the other dozens of Scheme implementations?</li>
<li>The LLVM project went with another language (C) to demo their technology, and haven't seen a need to implement a lot of others.</li>
</ul>

I think that it could be a lot of fun for someone to build an LLVM-based Scheme compiler. The Scheme compilers in SICP and PAIP are both good examples.

blocks|key|1358405|text|需要记住的一件事是，这些实现中的许多都有明显早于LLVM的FFIs和本机代码编译器。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1358406|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

One thing to keep in mind is that many of these implementations have C FFIs and native-code compilers that significantly predate LLVM.

blocks|key|2882401|text|也许我完全误解了问题或上下文，但我相信您可以使用ECL+(它是一个编译成C的通用Lisp+)，并使用嘎吱声编译器来针对LLVM+(而不是GCC)。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|2882402|我不知道这会给您带来什么好处(如果有的话)，但是它会给您一个在LLVM+=上运行的Lisp。|2882403|entityMap|0|LINK|mutability|MUTABLE|url|http://ecls.sourceforge.net/|1|http://clang.llvm.org/^0|O|3|0|1E|3|1|0|0^^$0|@$1|2|3|4|5|6|7|P|8|@]|9|@$A|Q|B|R|1|S]|$A|T|B|U|1|V]]|C|$]]|$1|D|3|E|5|6|7|W|8|@]|9|@]|C|$]]|$1|F|3|-4|5|6|7|X|8|@]|9|@]|C|$]]]|G|$H|$5|I|J|K|C|$L|M]]|N|$5|I|J|K|C|$L|O]]]]

Maybe I'm completely misunderstanding the question or context, but I believe that you could use <a href="http://ecls.sourceforge.net/" rel="noreferrer">ECL</a>, which is a Common Lisp that compiles down to C, and use the <a href="http://clang.llvm.org/" rel="noreferrer">Clang</a> compiler to target LLVM (instead of GCC).

I'm not sure what (if any) benefit this would give you, but it would give you a Lisp running on LLVM =].

blocks|key|1208924|text|CL-LLVM为LLVM提供了通用Lisp绑定。它采用FFI方法，而不是试图直接输出LLVM程序集或bitcode。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|1208925|此库可通过Quicklisp获得。|1208926|entityMap|0|LINK|mutability|MUTABLE|url|https://github.com/sellout/CL-LLVM^0|0|7|0|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@$A|O|B|P|1|Q]]|C|$]]|$1|D|3|E|5|6|7|R|8|@]|9|@]|C|$]]|$1|F|3|-4|5|6|7|S|8|@]|9|@]|C|$]]]|G|$H|$5|I|J|K|C|$L|M]]]]

<a href="https://github.com/sellout/CL-LLVM" rel="noreferrer">CL-LLVM</a> provides Common Lisp bindings for LLVM. It takes the FFI approach, rather than attempting to output LLVM assembly or bitcode directly.

This library is available via Quicklisp.

blocks|key|1358574|text|莫克雷是Common的一个相对静态子集的编译器。它通过LLVM/Clang编译。|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|1358575|entityMap|0|LINK|mutability|MUTABLE|url|https://wukix.com/mocl^0|0|3|0|0^^$0|@$1|2|3|4|5|6|7|L|8|@]|9|@$A|M|B|N|1|O]]|C|$]]|$1|D|3|-4|5|6|7|P|8|@]|9|@]|C|$]]]|E|$F|$5|G|H|I|C|$J|K]]]]

<a href="https://wukix.com/mocl" rel="nofollow">mocl</a> is a compiler for a relatively static subset of Common Lisp. It compiles via LLVM/Clang.

blocks|key|1210022|text|据我所知，在LLVM上没有一个流行的方案/lisp|type|blockquote|depth|inlineStyleRanges|entityRanges|data|1210023|目前，llvm-gcc是最接近于LLVM上任何语言的流行实现的东西。特别是，目前还没有成熟的基于LLVM的语言实现和垃圾收集。我相信LLVM将被用作许多令人兴奋的下一代语言实现的基础，但这将需要大量的时间和精力，在这种情况下，LLVM还处于起步阶段。|unstyled|offset|length|style|CODE|1210024|我自己的HLVM项目是唯一基于LLVM的垃圾收集实现之一，它的GC是多核的，但绑定松散:我使用一个影子堆栈作为一个“不合作的环境”，而不是侵入LLVM中的C%2B%2B代码来集成真正的堆栈遍历。|1210025|entityMap|0|LINK|mutability|MUTABLE|url|http://www.ffconsultancy.com/ocaml/hlvm/^0|0|3|8|0|4|4|0|0^^$0|@$1|2|3|4|5|6|7|S|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|T|8|@$E|U|F|V|G|H]]|9|@]|A|$]]|$1|I|3|J|5|D|7|W|8|@]|9|@$E|X|F|Y|1|Z]]|A|$]]|$1|K|3|-4|5|D|7|10|8|@]|9|@]|A|$]]]|L|$M|$5|N|O|P|A|$Q|R]]]]

<blockquote>
 there's not (to my knowledge) a single
 popular scheme/lisp on LLVM
</blockquote>

Currently, <code>llvm-gcc</code> is the nearest thing to a popular implementation of any language on LLVM. In particular, there are no mature LLVM-based language implementations with garbage collection yet. I am sure LLVM will be used as the foundation for lots of exciting next-generation language implementations but that will take a lot of time and effort and it is early days for LLVM in this context.

My own <a href="http://www.ffconsultancy.com/ocaml/hlvm/" rel="nofollow noreferrer">HLVM</a> project is one of the only LLVM-based implementations with garbage collection and its GC is multicore-capable but loosely bound: I used a shadow stack for an "uncooperative environment" rather than hacking the C++ code in LLVM to integrate real stack walking.

blocks|key|2882696|text|有一个Scheme2LLVM，显然是基于SICP的：|type|unstyled|depth|inlineStyleRanges|entityRanges|offset|length|data|2882697|该代码与第五章SICP+(计算机程序的结构和解释)一书中的代码非常相似，其不同之处在于它实现了SICP假定的显式控制评估器(虚拟机)所具有的额外功能。编译器的许多功能都是在一个名为llvm定义的方案的子集中实现的，该子集被编译成llvm函数。|blockquote|2882698|我不知道这是不是“好”。|2882699|entityMap|0|LINK|mutability|MUTABLE|url|https://github.com/melvinzhang/scheme2llvm^0|3|B|0|0|0|0^^$0|@$1|2|3|4|5|6|7|Q|8|@]|9|@$A|R|B|S|1|T]]|C|$]]|$1|D|3|E|5|F|7|U|8|@]|9|@]|C|$]]|$1|G|3|H|5|6|7|V|8|@]|9|@]|C|$]]|$1|I|3|-4|5|6|7|W|8|@]|9|@]|C|$]]]|J|$K|$5|L|M|N|C|$O|P]]]]

There is a <a href="https://github.com/melvinzhang/scheme2llvm" rel="nofollow noreferrer">Scheme2LLVM</a>, apparently based on SICP:
<blockquote>
The code is quite similar to the code in the book SICP (Structure and Interpretation of Computer Programs), chapter five, with the difference that it implements the extra functionality that SICP assumes that the explicit control evaluator (virtual machine) already have. Much functionality of the compiler is implemented in a subset of scheme, llvm-defines, which are compiled to llvm functions.
</blockquote>
I don't know if it's &quot;good&quot;.

blocks|key|2882277|text|GHC正在试验一种方案后端，并在他们的本机代码编译器上获得非常令人兴奋的初步结果。当然，那是哈斯克尔。但是，他们最近对LLVM进行了新的修改，使尾部调用更容易。这可能对某些方案的实施有好处。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|2882278|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

GHC is experimenting with a scheme backend and getting really exciting preliminary results over their native code compiler. Granted, that's haskell. But they've recently pushed new changes into LLVM making tail calls easier IIRC. This could be good for some scheme implementation.

There is Gambit Scheme, MIT Scheme, PLT Scheme, Chicken Scheme, Bigloo, Larceny, ...; then there are all the lisps.

Yet, there's not (to my knowledge) a single popular scheme/lisp on LLVM, even though LLVM provides lots of nice things like:

<ul>
<li>easier to generate code than x86</li>
<li>easy to make C FFI calls
...</li>
</ul>

So why is it that there isn't a good scheme/lisp on LLVM?

Why isn't there a good scheme/lisp on llvm?

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

有Gambit计划，MIT计划，PLT计划，鸡肉计划，Bigloo，盗窃罪，.，然后是所有的谎言。然而，(据我所知)在LLVM上没有一个流行的方案/lisp，尽管LLVM提供了许多好的东西，如：比x86更容易生成代码很容易打C电话。那么，为什么在LLVM上没有一个好的方案/lisp呢？

问为什么在llvm上没有一个好的计划/语言呢？
EN

回答 10

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么在llvm上没有一个好的计划/语言呢？EN

回答 10

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么在llvm上没有一个好的计划/语言呢？
EN