当前位置:首页 > 下载列表 > Millet

Millet 0.14.9

Millet是专为VSCode设计的StandardML(SML)扩展工具,旨在为SML开发者提供一系列实用的功能,提升开发效率。Millet通过静态分析SML代码,提供以下功能:语法高亮:让代码更加易读。括号和注释配置:改善代码的结构化显示。代码片段:快速插入常用代码模板。内联诊断:实时反馈代码问题。悬停查看类型/文档:快速了解变量和函数的详细信息。嵌入提示:提供额外的代码信息。跳转到定义:
分类:   下载/工具 · 工具软件 来源:  点击进入 版本:  0.14.9
日期:  2025-06-28 人气:   大小:  
标签:   snippet language server __ext_cm __ext_fun __ext_sig __ext_sml sml Standard ML __ext_mlb ML Basis mlb SML/NJ Compilation Manager sml-nj-cm
点击下载 相关下载
功能介绍

Millet是专为VS Code设计的Standard ML(SML)扩展工具,旨在为SML开发者提供一系列实用的功能,提升开发效率。Millet通过静态分析SML代码,提供以下功能:

  • 语法高亮:让代码更加易读。
  • 括号和注释配置:改善代码的结构化显示。
  • 代码片段:快速插入常用代码模板。
  • 内联诊断:实时反馈代码问题。
  • 悬停查看类型/文档:快速了解变量和函数的详细信息。
  • 嵌入提示:提供额外的代码信息。
  • 跳转到定义:快速定位代码定义。
  • 代码补全:提高编码速度。
  • 代码操作:提供重构和优化建议。
  • 文档符号:便于导航大型项目。
  • 查找所有引用:快速查看变量或函数的使用情况。

此外,Millet还支持SML/NJ Compilation Manager (CM)和ML Basis (MLB),能够分析多文件的SML项目。不过,Millet不会实际运行SML代码。要运行代码,您需要安装SML,如SML/NJ或MLton。

使用方法:

首先,安装扩展并在包含SML文件的文件夹中打开VS Code。如果VS Code未能自动检测项目分析方式,您可以添加一个millet.toml文件来定义项目的"根"。所有文件应能从这个根文件中访问。

要定义根文件,请在millet.toml中设置workspace.root为一个列出所有Millet应分析的SML文件的文件路径。这个文件应为:

  • 带有.mlb扩展名的ML Basis文件
  • 带有.cm扩展名的SML/NJ Compilation Manager文件

MLB和CM是管理大型SML项目的两种常见方式。

以下是一个示例,其中我们打开了一个包含4个文件的文件夹:一个Millet配置文件,一个带有MLB语法的"根"文件,以及两个SML文件。

millet.toml

version = 1
workspace.root = "sources.mlb"

sources.mlb

a.sml
b.sml

a.sml

(*!
 * `increment x` returns one more than `x`.
 *)
fun increment x = x + 1

b.sml

val four = increment 3
val () = "if you see a type error, Millet is working!"

社区支持:

Millet与Project Savanna项目相关联,旨在改进Standard ML的工具支持。您可以在Project Savanna的Discord服务器上找到Millet的支持和讨论频道。

版本声明
本文转载于:https://marketplace.visualstudio.com/items?itemName=azdavis.millet 如有侵犯,请联系study_golang@163.com删除
查看更多
课程推荐
  • Golang云原生架构师课程
    Golang云原生架构师课程
    Go是一门并发支持、垃圾回收的编译型系统编程语言;本课程转载自哔哩哔哩:https://www.bilibili.com/video/BV1Mh411M7A
    204次学习
  • MySQL数据管理之备份恢复案例解析视频教程
    MySQL数据管理之备份恢复案例解析视频教程
    《MySQL数据管理之备份恢复案例解析视频教程》MySQL是一个开放源码的小型关联式数据库管理系统,目前MySQL被广泛地应用在Internet上的中小型网站中。由于其体积小、速度快、总体拥有成本低,尤其是开放源码这一特点,许多中小型网站为了降低网站总体拥有成本而选择了MySQL作为网站数据库。
    160次学习
  • MySQL索引优化解决方案
    MySQL索引优化解决方案
    本套课程是根据MySQL索引的设计理念与数据结构、索引使用场景、索引分类、索引运用场景、索引性能分析、查询优化、MySQL索引的慢查询等组成,主要讲述了MySQL索引优化的解决方案,非常适合有MySQL使用基础或者有一定工作经验的同学。课程讲解了解决大数量查询慢的问题、如何编写一个高效的SQL、查询语句应该如何优化、索引的实现原理是什么、索引又应该如何优化...等诸多SQL索引优化的难点和面试点。
    182次学习
  • 极客学院Docker视频教程
    极客学院Docker视频教程
    Docker是PaaS提供商dotCloud开源的一个基于LXC的高级容器引擎,源代码托管在Github上,基于go语言并遵从Apache2.0协议开源。Docker自2013年以来非常火热,无论是从github上的代码活跃度,还是各大厂商的支持,都使Docker成为了时下最受关注的技术,甚至微软都声称在下一代WindowsServer中集成对Docker的支持。所以我们收集了《极客学院Docke
    243次学习
  • Golang进阶实战编程
    Golang进阶实战编程
    本课程是在《Go语言基础视频》基础之上录制的,是Go语言基础的后半部分。包括包的管理,IO操作,Go语言最大的亮点:高并发,goroutine,channel,反射等。本视频主要为了帮助Go语言的初学者,从零到一的快速入门。学完本套课程,可以学会如果通过包管理Go项目,并发模型,以及并发实现,channel通道如何传递数据,反射等等。
    127次学习
  • JavaScript极速入门
    JavaScript极速入门
    本套课程将帮助大家迅速掌握JavaScript这门高端的、动态的、弱类型编程语言。知识点简单明了,让你学习0压力,适合新手观看学习......
    431次学习
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码