# minimoonbit-public

**Repository Path**: wzzc-dev/minimoonbit-public

## Basic Information

- **Project Name**: minimoonbit-public
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: BSD-3-Clause
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2024-09-01
- **Last Updated**: 2024-09-03

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# MiniMoonBit

我们在去年开设了使用 [MoonBit](https://moonbitlang.com) 教学的[现代编程思想](https://space.bilibili.com/1453436642/channel/collectiondetail?sid=1822058)课程，课程已全部完结并上线，现在，我们计划将在《现代编程思想》课程基础上开设一门新的进阶课程：程序语言理论设计与实现， 这门课的主题将围绕 Mini Moonbit in MoonBit 展开，将 MoonBit 的一个子集作为教学案例，抽丝剥茧，介绍如何设计和实现一个现代编程语言。

- [MoonBit 线下 MeetUP](https://www.huodongxing.com/event/reg_submit?id=8769783665900)
- [游戏赛道](https://mp.weixin.qq.com/s/lzg2wmqZeNeYzDWRMye43Q)
- MiniMoonBit 赛道 (TBA)
- [MoonBit 线上课程](https://mp.weixin.qq.com/s/5pK-eD_C5tAoCDvy-PmbMg)

# 课程安排

| Date   | Topic                                              | Slides | Video | Example code | Recommended reading |
| ------ | -------------------------------------------------- | ------ | ----- | ------------ | ------------------- |
| Part 0 | Introduction to language design and implementation |        |       |              |
| Part 1 | MoonBit crash course                               |        |       |              |                     |
| Part 2 | Parsing                                            |        |       |              |                     |
| Part 3 | Semantics analysis and type inferences             |        |       |              |                     |
| Part 4 | Bidrectional type checking                         |
| Part 5 | IR designs (ANF, CPS, KNF)                              |
| Part 6 | Closure calculus                                   |        |       |
| Part 7 | Register allocation           |        |       |              |                     |
| Part 8 | Garbage collection           |        |       |              |                     |