登录
Millet
分类:工具软件 访问:39 下载量:0

软件介绍

更新时间:2025-06-28

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的支持和讨论频道。

本站所有资源都是由网友投稿发布,或转载各大下载站, 请自行检测软件的完整性!

本站所有资源仅供学习与参考,请勿用于商业用途,否则 产生的一切后果将由您自己承担!

如有侵权请联系我们删除下架,联系方式:study_golang@163.com

最新教程

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