borgo-lang/borgo
Borgo
Borgo 是一种静态类型语言和编译器，可将高级语法转换为 Go 源代码。它作为转译器，旨在利用 Go 运行时，同时引入以代数数据类型和基于结果的错误处理为核心的类型系统。
该语言的特色在于用 Result 和 Option 类型替换了 Go 的多返回值，并使用专用运算符进行简洁的错误传播。它实现了具有穷尽模式匹配的求和类型，并提供了一个为现有 Go 包生成绑定的工具，自动将多值返回转换为这些更安全的类型包装器。
该系统包含用于并发编程的原语，利用类型化通道和后台任务来协调异步进程。其类型系统进一步支持结构化接口实现、自动集合类型推断以及用于在结构体上组织方法的实现块。
Features
- Go Target Transpilers - Functions as a statically typed language that transpiles directly to Go source code for ecosystem interoperability.
- Go-to-JavaScript Transpilers - Transforms high-level source code into compatible Go code to leverage the Go ecosystem and runtime.
- Algebraic Data Types - Implements sum types and enums with associated data and enforces exhaustive pattern matching at compile time.
- Concurrent Programming Languages - Provides a language designed for coordinating asynchronous processes using typed channels and background tasks.
- Concurrent Thread Execution - Spawns lightweight goroutines to execute functions concurrently without blocking the main thread.
- Go-Compatible Language Runtimes - Provides a language and transpiler that allows leveraging existing Go packages and libraries.
- Go Library Interoperability - Automatically converts multi-value return types from imported Go libraries into safer option and result types.
- Channel-Based Concurrency - Provides typed senders and receivers to pass data between concurrent processes while maintaining synchronization.
- Multi-Value Wrapping - Converts Go's multiple return values into single Result or Option types to eliminate nulls.
- Result Types - Replaces multiple return values with typed result and option containers to simplify error propagation.
- Source-To-Source Transpilers - Transforms high-level language syntax into compatible Go source code for compilation via the Go toolchain.
- Statically Typed Compilers - Implements a compiler that transforms high-level syntax into type-safe executable code.
- Algebraic Data Types - Utilizes algebraic data types and exhaustive pattern matching to build robust and type-safe applications.
- Concurrency Design Principles - Manages background tasks and data exchange using channels and lightweight threads for asynchronous processing.
- Question Mark Error Propagation - Provides a concise syntax operator to automatically bubble up errors through the call stack from Result types.
- Optional Value Types - Manages missing values or errors using explicit wrapper types instead of relying on null pointers.
- Error Handling - Replaces multiple return values and null pointers with result and option types to reduce runtime crashes.
- Concurrent Task Groups - Enables waiting on multiple channel operations and executing logic based on which process completes first.
- Automatic Type Inferences - Automatically determines the types of lists and maps during declaration to eliminate explicit type specifications.
- Implicit Interface Implementations - Supports structural interfaces where types satisfy requirements based on the methods they implement without explicit declarations.
- Package Binding Generators - Includes an importer tool to parse external packages and generate necessary type and function declarations.
- External Library Interoperability - Parses external Go libraries to automatically create necessary type and function declarations for interoperability.
- Type Methods - Allows grouping related functions into implementation blocks with shared receivers to organize behavior on structs.
- Structural Type Validations - Ensures types satisfy required method sets to enable polymorphism based on behavior rather than explicit inheritance.
