当前位置: 首页 > news >正文

MoonBit 再次走进清华:张宏波受邀参加「思源计划」与「程序设计训练课」



2025年9月7日-9月9日,Moonbit平台负责人张宏波受邀出席清华思源导师团 · 信息技术组 | VibeCoding 夏季活动和清华大学计算机系的【程序设计训练课】


清华思源团·信息技术组 | VibeCoding
“思源计划”是由清华大学党委学生部和校团委共同发起的校级因材施教培养项目,旨在通过跨学科的导师团与系列实践活动,为同学们提供更深的学术指导与成长引领。

本次夏季活动以 “VibeCoding” 为主题,聚焦 AICoding Agent 与智能 IDE 的最新趋势。活动中,大家既探讨了产品在 2C 场景中尚需验证的 Product-Market-Fit (PMF) 与 Technology-Product-Fit (TPF),也关注了这些新兴技术如何深刻改变开发者的日常实践与思维方式。

MoonBit 创始人 张宏波 受邀作主题分享,详细介绍了 MoonBit 如何通过 “双向可读性”设计 解决人机协作开发中的核心痛点。他展示了语言独有的 “重构安全”机制 与 value tracing 调试功能,更令人印象深刻的是,MoonBit 已经实现了与 AI 的深度结合:现场演示中,AI 能够基于 MoonBit 的工具链 实时生成文档与单元测试,此次活动不仅展现了 VibeCoding 的前沿思考,也体现了清华“思源计划”在人才培养与学术探索上的价值。MoonBit 也将继续探索 AI 原生编程语言与工具链的未来路径,携手更多开发者共建新一代软件工程生态。



清华程序设计训练课:MoonBit设计理念

9月 9 日上午 ,MoonBit 团队负责人 张宏波 应清华大学计算机科学与技术系 韩文弢 老师邀请,在「程序设计训练课」讲授MoonBit。该课程以 Rust 为主线,旨在引导学生深入理解具备 安全性、并发性与实用性 的现代编程语言,并通过系统探索 所有权、生命周期、模式匹配、函数式编程、泛型与特型 等核心概念,帮助学生掌握科学的编程方法并在实践中加以验证。

在课堂中,张宏波不仅结合 MoonBit 语言 讲解了这些关键概念,还通过与 Rust 的对比和理念延伸,展示了 MoonBit 在 数据处理与错误处理 等方面的独特设计与创新思路。同时,他也分享了对 编程语言未来发展趋势 的观察与思考,为学生们带来了一场兼具理论深度与前沿视野的学习体验。

值得一提的是,今年已是 MoonBit 第二次走进清华课堂,再次与师生共同探讨编程语言的前沿发展。


MoonBit 的影响力正在迅速扩展,除了清华大学,我们还成功走进了中山大学、香港科技大学(广州)、北京大学、复旦大学、中科院软件所、香港中文大学(深圳)、杭州学军中学教育集团文渊中学等众多知名高等学府的课堂。 2025年,MoonBit 作为首个国产开发者平台亮相 Wasm I/O 2025 和LambdaConf。



本周日 9 月 14 日 14:30 – 15:00,MoonBit 平台负责人 张宏波 将在杭州 RustChinaConf 2025 & Rust Global China 行业深度应用分论坛 发表主题分享。


文章转载自:

http://t0X0DyZs.fkmqg.cn
http://fPJjqxXo.fkmqg.cn
http://jAa5xmkN.fkmqg.cn
http://cTp6lRA6.fkmqg.cn
http://vqQgggq2.fkmqg.cn
http://9UNcW3XR.fkmqg.cn
http://KPsCKEA6.fkmqg.cn
http://xPdned21.fkmqg.cn
http://q1YCL2a4.fkmqg.cn
http://04Rhnmfq.fkmqg.cn
http://rs7iCkX4.fkmqg.cn
http://G6LJUh5E.fkmqg.cn
http://Zy23vThQ.fkmqg.cn
http://kJFlwsqJ.fkmqg.cn
http://M9x0ZXyw.fkmqg.cn
http://pku9Jvhr.fkmqg.cn
http://mJ2SfLpN.fkmqg.cn
http://HIpURuaa.fkmqg.cn
http://jHVp7did.fkmqg.cn
http://YIu8hAN1.fkmqg.cn
http://m8S7Xp9o.fkmqg.cn
http://eURJLqqi.fkmqg.cn
http://mPOlXoBt.fkmqg.cn
http://lE4HrwO5.fkmqg.cn
http://LdH1UOY0.fkmqg.cn
http://ty4hP3Oz.fkmqg.cn
http://D9KHX3yX.fkmqg.cn
http://wnJ4jfKR.fkmqg.cn
http://iTCSKzCz.fkmqg.cn
http://pV178GGi.fkmqg.cn
http://www.dtcms.com/a/379219.html

相关文章:

  • RabbitMQ如何实现消息的持久化?
  • Crawlergo安装全流程
  • 完全背包问题 - 动态规划最优解法(Java实现)
  • 如何选择合适的双轴倾角传感器厂家提升水平监测准确性?
  • 洛谷PP5318 查找文献 (深度搜索与广度搜索)详解
  • 手机云服务是什么意思?
  • Linux 基础操作全攻略:从文件解压到服务器管理
  • web:ts的类类型
  • 初识StarRocks
  • linux常见的基础命令及其作用
  • 12 Prompt 模板化与参数化
  • 自动化车间无线安灯呼叫系统解决方案
  • Oracle APEX 如何运行页面时跳过登录页
  • list容器
  • Docker Compose:轻松管理多容器应用
  • 云蝠智能大模型呼叫新模型上线,拥抱AGI
  • 网站SEO内部优化一般包括哪些内容和方法
  • 18j621-3通风天窗图集pdf(免费高清版)
  • 以下是UniApp启动速度优化的深度方案
  • GoogLeNet实战:用PyTorch实现经典Inception模块
  • verilog中task的使用
  • SpringDoc OpenAPI集成spring boot3
  • 安卓13_ROM修改定制化-----安卓 13 系统 ROM 定制化与低版本系统的核心区别
  • yolo学习笔记02——yolo简介
  • OpenCV 开发 -- 图像算术运算
  • 字符串-43.字符串相乘-力扣(LeetCode)
  • java properties/反射基础
  • solidity的高阶语法4
  • Vue.js Data定义方式对比 data() { return {...} } 与 data: {} 的区别
  • P11961原根判断(1)