Scheme langserver 正在参加 2021 年度 OSC 中国开源项目评选,请投票支持!
Scheme langserver 在 2021 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
2021 年度 OSC 中国开源项目评选 正在火热进行中,快来投票支持你喜欢的开源项目!
2021 年度 OSC 中国开源项目评选 >>> 中场回顾
Scheme langserver 获得 2021 年度 OSC 中国开源项目评选「最佳人气项目」 !
授权协议 MIT
开发语言
操作系统 跨平台
软件类型 开源软件
所属分类 程序开发协议和规范
开源组织
地区 国产
投 递 者 王政
适用人群 未知
收录时间 2022-11-27

软件简介

Scheme-langserver 是基于 Chez Scheme  并兼容 scheme r6rs 的 language server protocol 实现。它最大的特点是基于未完成的代码做编程辅助,包括自动完成、定义跳转等。这些功能是基于对r6rs标准的scheme进行静态分析得到的。它被发布在Akku和github。

一些辅助功能如自动完成、定义跳转、鼠标悬停显示文档等功能对于编程十分有帮助。但是,和其他的编程语言如java、python、javascript和c,lisp系的语言服务器协议实现(language server protocol implementation)几乎是一篇空白。emacs的Geiser、Dr. Racket的racket langserver还有swish-lint等等,他们的工作基本上是基于repl(Read-Eval-Print Loop)或者词法解析器的,而不是基于编程的一般过程。例如,如果程序员正参与一个未完成的项目,里面的代码还并不是都能跑起来,Geiser或者其他的竞品都只能提供对顶级变量、标识符的自动补全,这些标识符在Chez Scheme里面一般都通过environment-symbols过程列出来。也就是说,对于未完成的代码和局部标识符、局部变量(在其他语言中自动完成功能主要就是在补全它们),Geiser等等无济于事。类似的事情同样出现在定义跳转等其他功能上。

一个根本的原因是,对于scheme和lisp的其他方言,它们丰富的数据结构和灵活的控制机制让代码的静态分析变成了一个很大的挑战。事实上,scheme甚至没有通用的项目管理框架及对应的文件扩展名。以.ss和.scm为例,大多数程序员假设使用这两个文件扩展名的代码被用于一个正在运行中的环境,并且并不明示代码所需要的库信息。虽然Akku和Snow鼓励通过.sls和.sld提供文件信息并建构一套稳定的库管理框架,但是involve、load和很多其他过程让库链接动态化,这就更不可能在代码静态分析阶段得到什么信息了。

展开阅读全文

代码

的 Gitee 指数为
超过 的项目

评论

点击引领话题📣 发布并加入讨论🔥
发表了资讯
2023/11/22 00:49

scheme-langserver 发布类型推断功能,并整合进入 auto-autocomplete.

Scheme-langserver是一款面向scheme语言的语言服务器,它基于LSP协议(Language Server Protocol)提供了自动补全(auto-complete)、寻找变量定义(goto definition)等功能。 11月21日,scheme-langserver发布了类型推断功能,并将该功能整合进入了自动补全。如图所示,在补全光标处的引导词“l”(大写L)时,scheme-langserver给出了多个可选项,并且将类型匹配程度较高的“length-a”、“length-b”放到了比较靠前的位置—...

0
0
发表了资讯
2023/04/30 11:30

scheme-langserver 新版本:scheme 社区第一个可实用的 gradual typing

今天,scheme-langserver( https://github.com/ufo5260987423/scheme-langserver)发布了一个最新版本 1.0.11 ,该版本中加入了 scheme 生态中第一个 gradual typing 实现。 以下内容摘自 scheme-langserver 的相关文档( https://github.com/ufo5260987423/scheme-langserver/blob/main/doc/analysis/type-inference.cn.md)(没找到oschina的markdown编辑功能,公式和详情请到原页面查看): 工程直觉:Scheme-langserver如何实现...

0
2
发表了资讯
2022/12/31 12:13

Scheme langserver 1.0.10 版本发布

Scheme-langserver 是基于 Chez Scheme 并兼容 scheme r6rs 的 language server protocol 实现。它最大的特点是基于未完成的代码做编程辅助,包括自动完成、定义跳转等。这些功能是基于对 r6rs 标准的 scheme 进行静态分析得到的。它被发布在 Akku 和 github。 Scheme-langserver 1.0.10版本修复了之前被废弃的1.0.9版本中的诸多bug,并形成了对Language Server Protocol的更深的理解: 1、LSP服务端处理客户端发送的请求不能像...

0
0
发表了资讯
2022/12/09 09:17

小众语言的开源实践在说明什么——基础设施问题

小众语言开源实践最需要注意的就是语言的基础设施问题,包括类似Maven的代码分发机制,辅助编程的language server protocol(LSP),甚至于统一的编译器。以Scheme语言为例,当前普遍使用的代码分发机制是Akku和Snow(开源中国甚至没收录这个软件),类似LSP的实现则有Emacs Geiser等。编译器和解释器简直五花八门,GNU的guile,公认具有堪比(未经优化的)C语言速度的Chez Scheme等等。 在进行开源的时候,需要认识到如下的这些...

0
1
发表了资讯
2022/12/06 23:05

小众语言的开源实践在说明什么

每当TIOBE榜单发布的时候,那个笑话就会回响在开源社区诸位的耳边: 美女:你能一句话让这个社区的人吵起来我今晚跟你走。 程序员:PHP是最好的语言。 美女:我跟你走。 程序员:不行,我得说服他们PHP是最好的语言。 这就让我们产生了一个问题,即使这份榜单20名开外的语言的开发者也会参与这样的吵架么?他们的开源活动的策略和估计是什么?本文作者作为scheme-langserver的开发者,希望在这里为大家做一点分享。以下为原文:...

3
4
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
发表了博客
{{o.pubDate | formatDate}}

{{formatAllHtml(o.title)}}

{{parseInt(o.replyCount) | bigNumberTransform}}
{{parseInt(o.viewCount) | bigNumberTransform}}
没有更多内容
暂无内容
发表了问答
{{o.pubDate | formatDate}}

{{formatAllHtml(o.title)}}

{{parseInt(o.replyCount) | bigNumberTransform}}
{{parseInt(o.viewCount) | bigNumberTransform}}
没有更多内容
暂无内容
暂无内容
0 评论
5 收藏
分享
OSCHINA
登录后可查看更多优质内容
返回顶部
顶部