Coalton是一种编程语言，其集成开发环境"mine"支持Windows、macOS和Linux系统，提供两种版本：全功能独立应用和命令行工具版本，同时兼容Coalton和Common Lisp两种语言。

Coalton编程语言简介

集成开发环境mine

mine是专为Coalton和Common Lisp设计的跨平台集成开发环境（IDE），支持Windows、macOS和Linux系统。提供两种版本： - mine-app：适用于Windows和macOS的一体化应用程序，无需额外依赖 - mine-core：面向开发者的轻量版，需自行配置支持Kitty键盘协议的终端

双语言支持

该编辑器同时支持： - Coalton：提供强静态类型和函数式编程特性 - Common Lisp：支持动态特性和高级对象系统 用户可根据项目需求自由选择或混合使用两种语言。

核心功能特性

1. 集成REPL与代码传输：

   • 支持将代码片段或整个项目实时传输至REPL交互
   • 附带交互式调试器，可显示错误堆栈并提供修正选项

2. 智能开发辅助：

   • 实时显示Coalton函数的完整数据类型
   • 提供自动补全和类型提示功能
   • 内联诊断显示代码错误、警告及优化建议

3. 结构化编辑教学：

   • 内置5分钟快速教程，无需查阅手册即可掌握结构化编辑技巧

4. 原生代码编译：

   • 所有代码均直接编译为CPU原生二进制，确保最佳性能

（注：原文中的图片链接、导航菜单及版权声明等非核心内容已精简，保留主要功能说明和技术细节）

以下是评论内容的总结：

1. 对Mine IDE的兴趣与肯定

   • 有评论者认为Mine作为Coalton项目示例很有价值，帮助理解Coalton的实际应用。
     "One value I do see myself getting from Mine is as an example Coalton project... Now I have a working example to copy."
   • 有人赞赏其技术选型（如Iosevka字体和Tauri/Xterm.js集成）。
     "I like the choice of Iosevka as a font..."

2. 关于是否应该开发独立IDE的讨论

   • 部分用户质疑为何不直接集成现有工具（如Sly/SLIME），认为开发独立编辑器工作量过大。
     "Huh, I wonder why they made their own IDE instead of integrating with Sly/SLIME..."
   • 另一方认为对新手而言，Mine是比Lem等工具更友好的选择。
     "For new users, this looks like a welcome alternative to messy things like Lem..."

3. Emacs与现代IDE的争议

   • 资深用户强调Emacs与Lisp的不可替代性。
     "If you're a power user, the sooner you learn Emacs the better..."
   • 反对观点认为现代开发者需要更友好的UI，不应强迫学习Emacs。
     "Asking new devs to learn Emacs... is too tall an order... today's new devs have been spoiled by modern UIs"

4. 对IDE使用习惯的多样性

   • 有开发者表示已完全放弃传统IDE/编辑器，但仍赞赏此类项目。
     "I permanently stopped using IDEs... Love this!"
   • Emacs用户持开放态度，愿意尝试新工具。
     "I live in Emacs, but I will give Mine a try..."

5. 对社区发展的期待

   • 希望Common Lisp社区能提供更好的现代工具支持（如VS Code）。
     "I keep hoping the Common Lisp community will step up and deliver better Visual Studio Code support."
   • 总体认为Mine是积极的创新尝试。
     "Very cool project and welcome edition to the CL community!"

总结：评论呈现对Mine IDE的技术肯定与实用性质疑并存，同时反映了Lisp社区对工具现代化（Emacs vs 新式UI）的持续争论。多数声音支持降低入门门槛，但核心用户仍坚持传统工作流的效率优势。