$ whoami
> Jóse Angel Avila — language designer & backend engineer 🦀
$ cat ./about.txt
> 🇪🇸 Creador de Ridge, un lenguaje funcional tipado para la BEAM (en Rust).
> Me obsesionan los compiladores, los sistemas de tipos y el dev tooling.
> 🇬🇧 Creator of Ridge, a typed functional language for the BEAM (in Rust).
> Obsessed with compilers, type systems and developer tooling.
$ cat ./affiliations.txt
> .NET Foundation · member 💜
> ridge-lang · founder 🦀
$ ridge --ask-me-about
> compilers · type systems · Rust · C#/.NET · the BEAM · authRidge — a typed functional language for the BEAM. Hindley-Milner inference · row polymorphism · actor-first concurrency · effects/capabilities tracked in the type system.
-- A pure step of Conway's Game of Life, in Ridge.
import std.list as List
type Grid = { rows: Int, cols: Int, cells: List (List Bool) }
fn nextCell (grid: Grid) (r: Int) (c: Int) -> Bool =
match (cellAt grid r c, liveNeighbours grid r c)
(true, 2) -> true -- survives
(true, 3) -> true -- survives
(false, 3) -> true -- born
_ -> false -- dies / stays dead
compiler pipeline · Hindley-Milner inference · actor-first concurrency — Core Erlang/BEAM 🟢, LLVM & WASM exploratory
☝️ game_of_life.ridge — a Gosper glider gun, evolving live.
| Project | Description | Tech |
|---|---|---|
| 🦀 Ridge ⭐ | Typed functional language for the BEAM. HM inference, row polymorphism, actor-first concurrency, capabilities in the type system. Compiles to Core Erlang/BEAM; native (LLVM) & WASM backends are exploratory. (In active development.) | Rust · BEAM |
| 🐙 agm-cli | CLI & Rust library to parse, validate, render and orchestrate Agent Graph Memory (AGM) files for AI-agent workflows. Born out of the Octopus project. | Rust |
| 💜 JAAvila.FluentOperations | Large fluent validation & assertive-testing library for .NET — thread-safe, chained operations that unify inline .Test() assertions with model Quality Blueprints. 6,500+ tests; covers strings, numbers, dates, collections — even architecture rules (type & assembly). Integrations: DI, ASP.NET Core, Minimal API, MediatR, gRPC, OpenAPI & Roslyn analyzers. |
C# / .NET |
| 🛡️ JAAvila.SafeTypes | My very first .NET library 💚 — lightweight type-safety utilities to dodge null-reference errors and enforce stricter, compile-time contracts (e.g. source.SafeNull()). Humble, but where the journey began. |
C# / .NET |
| 💉 418Apps-COVID | COVID-19 vaccination tracker for Peru using official open data. | Svelte · TS |
$ echo "Thanks for visiting! · ¡Gracias por pasar!"
> ⭐ Star Ridge if you like it: github.com/ridge-lang/ridge
> _