LenoLang:一门带静态类型检查的脚本语言

发布时间:2026/11/5 8:04:58

LenoLang:一门带静态类型检查的脚本语言 LenoLeno 是一门带静态类型检查的脚本语言。由 C 语言实现编译为字节码在虚拟机上运行。Leno 诞生于对编程语言设计的热爱与探索虽非完美但乐在其中。一分钟速览// 类型推断 静态检查 var name Leno int version 1 // 结构体 方法 struct Point { int x 0 int y 0 func dist():float { return maths.sqrt(x * x y * y) } } var p new Point(x 3, y 4) print(p.dist()) // 5.0 // 接口 多态 face Shape { func area():float } struct Circle impl Shape { int r 0 func area():float { return 3.14 * r * r } } // 类型别名 alias Size int alias IntList Array[int] // 泛型 struct类型参数运行时精准传递 struct Result[T] { T data bool ok false } func Ok[T](T val): Result[T] { return new Result[T](dataval, oktrue) } func Err[T](string msg): Result[T] { return new Result[T](okfalse) } var r Ok[int](42) print(r.data) // 42 // 泛型约束 [T: Face]编译期检查方法完整性 face Comparable { func compare(Comparable other): int } func maxBy[T: Comparable](T a, T b): T { if a.compare(b) 0 { return a } return b } // 匿名函数 闭包 func make_counter(int start) { int count start return func():int { count count 1; return count } } // 异步协程 async func fetch():string { import asyncs await asyncs.sleep(100) return done } // 异常处理 try { var a 1 / 0 } catch e { print(出错: e.msg) }特性类型系统静态类型 类型推断— 显式声明或var自动推断类型一旦确定不可更改任意精度整数—int无溢出int48 内联存储 BigInt 自动升级对外完全透明alias类型别名— 支持简单类型、Array[T]、Dict[K,V]、别名链等复杂组合类型守卫—is类型检查 if/switch 块内自动类型收窄安全类型转换—as操作符不匹配返回null而非崩溃结构体与面向对象struct结构体— 字段、方法、嵌套、自引用堪比轻量级 class泛型 struct—struct Stack[T]、struct Result[T]类型参数沿调用链精准传递self关键字— 方法内显式引用当前实例self可选但冲突时必备face接口— 名义类型显式impl声明编译期检查方法完整性支持export face泛型约束—func maxBy[T: Comparable](T a, T b): TT 必须实现指定 faceenum枚举— 自增值或显式值本质为int函数式编程一等函数— 函数赋值给变量、作为参数传递、作为返回值匿名函数 / Lambda—func(x) { return x * 2 }内联定义支持 IIFE闭包— 捕获外部变量状态保持多实例独立泛型函数—func map[T, U](Array[T] arr, func(T):U fn):Array[U]默认参数—func add(int x, int y 10):int模块系统import导入— 文件模块、内置包、相对路径、中文/空格路径export控制— 变量/函数/struct/enum/face/alias 显式导出export alias— 模块导出类型别名支持复杂类型和别名链use类型导入—use module.Struct导入 struct/face 到当前作用域use链式传导— D→C→B→A 自动传递类型无需每层重导出循环依赖支持— A↔B 相互导入占位符机制防止无限递归模块缓存 / 单例— 同模块多次导入共享同一实例状态全局一致包管理—leno.toml配置、leno --init创建、leno --install安装并发编程多线程—threads模块start()/join()/通道通信线程间全局变量隔离异步协程—async/await 事件循环轻量并发Channel 通道— 有缓冲/无缓冲Go 风格 CSP 模型底层能力FFI— 直接调用 C 动态库和系统 API无需绑定CStruct— 声明式定义 C 结构体布局与 FFI 无缝配合异常处理try-catch-finally— 完整异常机制支持嵌套和throw重抛异常对象—e.msg/e.file/e.stack完整诊断信息线程异常传播— 子线程异常通过join()传播到调用方其他泛型容器—Array[T]、Dict[K, V]内置泛型数组与字典支持map/filter/reduce字符串插值—$Hello, {name}!内嵌表达式格式化输出—format(%02d: %-10s, i, name)C 风格格式控制as安全转换— 不匹配返回null而非崩溃逻辑右移— 高位补 0适合加密算法位运算正则表达式—regexs模块JSON—jsons模块编解码垃圾回收— 内置 GC自动内存管理字节码编译— 源码 →.lenb字节码 → 独立 exe 打包跨平台— Windows / Linux / macOS通过 GitHub Actions 自动构建验证快速开始Hello World创建hello.lenomain() { print(Hello, Leno!) }运行leno hello.leno更多示例main() { // 类型推断 var name Leno var features [静态类型, 协程, FFI, 模块系统] // 结构体命名参数构造 var p new Point(x 3, y 4) print(距离 p.dist()) // 链式集合操作 var result [1, 2, 3, 4, 5] .filter(func(var x, var i) { return x % 2 0 }) .map(func(var x, var i) { return x * 10 }) print(result) // [20, 40] // 异常处理 try { var val 1 / 0 } catch e { print(出错: e.msg) } } struct Point { int x 0 int y 0 func dist():float { return maths.sqrt(x * x y * y) } }构建前置要求GCC 或 MinGWC99 支持使用构建脚本Windowsbuild.batLinux / macOSchmod x build.sh ./build.sh构建产物build/leno编译器 VM。构建 VM 运行时仅 Windowsbuild_vm.bat生成build/leno_vm.exe只包含 VM 运行时不含编译器前端体积更小。运行# 运行 .leno 源码文件 leno hello.leno # 运行 .lenb 字节码文件使用 VM 运行时 leno_vm hello.lenb # 不带参数显示帮助信息 leno编译为字节码Leno 支持将源码编译为.lenb字节码文件然后使用leno_vm运行# 编译为字节码 leno -c hello.leno # 运行字节码 leno_vm hello.lenb # 打包为独立 exe leno -p hello.leno打包与包管理创建包leno --init my-package自动生成项目结构my-package/ ├── leno.toml # 包配置 ├── lib/ │ └── my-package.leno # 模块代码 ├── src/ │ └── main.leno # 入口文件 ├── native/ # 原生库 ├── examples/ # 示例 └── test/ # 测试编写模块// lib/my-package.leno export func hello() { print(Hello from my-package!) } export var VERSION 0.1.0 // 导出类型别名 export alias UserID int export alias StrList Array[string] // 导出 struct export struct Config { string host localhost int port 8080 } // 不加 export 私有外部不可见 func _internal() { return private }安装包# 安装本地包到全局缓存 leno --install my-package # 从 Git 仓库安装 leno --install gitee:user/my-package # 安装项目所有依赖读取 leno.toml leno --install使用包import my-package main() { my-package.hello() print(my-package.VERSION) }leno.toml 配置[package] name my-package version 0.1.0 description A Leno package license MIT [dependencies] http_client ~1.2.0 [dependency-sources] http_client gitee:user/http-client [modules] root lib运行测试# 运行断言测试 build/leno assert/run_tests.leno build/leno assert命令参考命令说明leno显示帮助信息leno file.leno运行 Leno 源码leno -c file.leno编译为.lenb字节码leno -p file.leno打包为独立 exeleno --init [name]创建包项目leno --install [path]安装包到全局缓存leno --install安装当前项目所有依赖leno_vm file.lenb运行字节码文件内置模块模块说明io输入输出maths数学函数arrays数组工具strings字符串工具dicts字典工具types类型操作times时间日期rands随机数files文件操作dirs目录操作jsonsJSON 编解码sockets网络套接字ffi外部函数接口cstructsC 结构体threads多线程asyncs异步协程regexs正则表达式sys系统信息assert断言测试项目结构LenoC/ ├── src/ │ ├── main.c # 编译器入口 │ ├── lexer.c # 词法分析 │ ├── ast.c # AST 定义 │ ├── parser/ # 语法解析 │ ├── semantic/ # 语义分析 │ ├── codegen/ # 字节码生成 │ ├── vm/ # 虚拟机 │ ├── optimize/ # 优化器 │ ├── gc.c # 垃圾回收 │ ├── bigint.c # 任意精度整数 │ ├── module/ # 内置模块 │ ├── package/ # 包管理 │ ├── object/ # 内置对象类型 │ └── platform/ # 平台相关 ├── assert/ # 测试用例 ├── examples/ # 示例代码 ├── docs/ # 文档 ├── build.bat / build.sh # 构建脚本 └── build_vm.bat / build_vm.sh # VM 构建脚本文档Leno 入门教程 — 语言完整语法参考含类型系统详解Import 使用指南 — 模块导入详解Async/Await 入门指南 — 异步编程FFI 使用指南 — 外部函数接口Threads 使用指南 — 多线程包管理与安装使用指南 — 包管理详解加密算法示例指南 — Base64 / AES / RSA / SHA 等纯 LenoC 实现性能优化记录 — 性能优化历史许可证MIT
延伸阅读

更多相关文章

2026/11/5 8:03:01

深入Dev-C++:轻量级IDE的现代应用与高效调试技巧

1. 项目概述:为什么今天还要聊Dev-C?如果你是一位计算机专业的在校学生,或者是一位刚刚接触C/C编程的爱好者,那么“Dev-C”这个名字对你来说可能既熟悉又陌生。熟悉是因为在无数老旧的教材、网络教程,甚至是学校机房的…

2026/11/4 14:20:20

Java面试30天速成:高频考点、场景题与实战策略全解析

如果你正在准备Java面试,时间只剩一个月甚至更短,面对海量的八股文、复杂的场景题、以及从Java基础到Spring全家桶的庞杂知识体系,是不是感觉无从下手,甚至想放弃?别急,这篇文章就是为你准备的“邪修版”突…

2026/11/5 6:51:53

Jumpserver堡垒机部署与优化实战指南

1. Jumpserver堡垒机部署概述Jumpserver作为国内广泛使用的开源堡垒机系统,已经成为企业IT基础设施安全管控的核心组件。不同于传统的商业堡垒机产品,Jumpserver凭借其开源特性、模块化设计和丰富的协议支持,能够满足从中小企业到大型集团的不…

2026/11/5 10:43:56

工业测温方案解析:ADS122U04与STM32F042K6的UART高精度RTD采集设计

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 10:43:56

STM32L031+ADS122U04:UART接口24位ADC实现PT100高精度温度采集

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 10:43:55

基于ADS122U04与MK24的HVAC高精度温度采集系统设计

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 10:38:55

Univer开源Web Office引擎:Canvas渲染与协同编辑实战解析

第一次看到Univer这个项目名字的时候,我下意识以为是哪个海外团队用“University”做的教育类产品。直到我翻完它的仓库和在线Demo,才发现自己差点错过一个好东西——这是一个把“在线电子表格、文档、幻灯片”全部做成开源引擎的Web Office项目&#xf…

2026/11/5 10:38:55

Foxmail数字签名与加密配置全指南:S/MIME证书实战落地

1. 邮件签名与加密不是“加个水印”或“点个锁图标”那么简单很多人第一次在Foxmail里找“签名”功能,点开设置就以为万事大吉——填上姓名、电话、公司logo,保存退出,邮件发出去带个固定落款,就觉得“搞定”。等真遇到客户问“你…

2026/11/5 10:38:55

LVS负载均衡优化:FWM标记与持久化服务实践

1. 为什么需要优化LVS调度?在企业级负载均衡场景中,Linux Virtual Server(LVS)作为四层负载均衡的经典解决方案,其性能表现直接影响着整个业务系统的稳定性。但在实际生产环境中,我们常常会遇到两个典型问题…

2026/11/4 12:38:23

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/4 21:04:25

SSM电子书店源码全解析:结构、原理、部署与排错实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 0:02:07

多智能体协作系统架构设计与实践优化

1. 多智能体协作系统的时代背景2017年Transformer架构的诞生彻底改变了人工智能的发展轨迹。当行业还沉浸在单一大模型带来的性能突破时,Anthropic的研究团队已经将目光投向了更前沿的领域——如何让多个智能体通过协作产生超越单体能力的系统智能。这就像交响乐团中…

2026/11/5 0:02:07

大模型系统性入门实战指南:从原理到部署微调的全链路路线

提到大模型的系统性入门,我先说个结论:这事真不难,难的是资料太散、路线太多,今天这个框架明天那个工具,新人很容易在“收藏夹吃灰”和“教程看到一半放弃”之间反复横跳。市面上关于大模型的内容少说有几十万篇&#…

2026/11/5 0:02:07

鸿蒙文件系统沙箱机制解析与开发实践

1. 鸿蒙文件系统沙箱机制深度解析作为一名从Android转向鸿蒙开发的工程师,我深刻体会到文件系统访问是迁移过程中最先遇到的"拦路虎"。在Android上运行良好的文件读写代码,在鸿蒙真机环境却频频出现文件写入后神秘消失或直接抛出权限拒绝错误的…

2026/11/4 12:38:23

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/4 21:04:25

SSM电子书店源码全解析:结构、原理、部署与排错实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

还想了解更多?直接咨询顾问

免费诊断 + 免费方案 + 透明报价。

全国咨询热线400-8866-253
免费获取方案
☎咨询二维码 ☎ ↑