Hindley-Milner type system with extensible records and variants, implemented in Go
-
Updated
Nov 21, 2020 - Go
#
type-inference
Here are 6 public repositories matching this topic...
A strongly-typed handy scripting language with type inference
-
Updated
Aug 31, 2018 - Go
generic type inference implementaion for go-like grammar language
-
Updated
Jul 2, 2024 - Go
Type inference algorithm with mutable data structures in Go
-
Updated
Oct 8, 2018 - Go
[alpha] A programming language for backend development.
-
Updated
Sep 11, 2025 - Go
Pluto is a compiled language that aims for the simplicity, readability and expressiveness of scripting languages with the safety and performance of C/C++, Go. A Go front‑end lowers .pt/.spt to LLVM 20 and native binaries. Features include range‑driven auto‑vectorization, scope‑based memory (no nulls, no OOB, no GC), and concurrency by construction
python programming-language golang programming cross-platform compiler llvm e2e-tests memory-safety type-inference unit-tests native-binaries statically-typed llvm-ir bounds-checking no-gc null-safety auto-vectorization github-actions c-runtime
-
Updated
Oct 4, 2025 - Go
Improve this page
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."