惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

MyScale Blog
MyScale Blog
J
Java Code Geeks
Vercel News
Vercel News
A
About on SuperTechFans
G
Google Developers Blog
C
Check Point Blog
腾讯CDC
N
Netflix TechBlog - Medium
博客园 - 司徒正美
S
SegmentFault 最新的问题
D
DataBreaches.Net
博客园_首页
美团技术团队
Stack Overflow Blog
Stack Overflow Blog
博客园 - 聂微东
量子位
雷峰网
雷峰网
IT之家
IT之家
小众软件
小众软件
Blog — PlanetScale
Blog — PlanetScale
博客园 - 三生石上(FineUI控件)
H
Help Net Security
宝玉的分享
宝玉的分享
博客园 - 叶小钗

DEV Community

Authentication Security Deep Dive: From Brute Force to Salted Hashing (With Java Examples) Why AI Systems Don’t Fail — They Drift Spilling beans for how i learn for exam😁"Reinforcement Learning Cheat Sheet" I Replaced Chrome with Safari for AI Browser Automation. Here's What Broke (and What Finally Worked) How Python Borrows Other People's Work The $40 Architecture: Processing 1 Billion API Requests with 99.99% Uptime Vibe Coding: A Workflow Guide (From Zero to SaaS) Most webhook security guides protect the wrong side. The scary part is delivery. Headless CMS for TanStack Start: Build a Blog with Cosmic EU Age Verification App "Hacked in 2 Minutes" — What Actually Happened Comfy Cloud’s delete function does not actually remove files Running AI Models on GPU Cloud Servers: A Beginner Guide Event-driven media intelligence with AWS Step Functions and Bedrock I scored 500 AI prompts across 8 quality dimensions — here's what broke How to Call Google Gemini API from Next.js (Free Tier, No Backend Needed) The Portal Protocol: Reclaiming Human Connection in the Age of AI How to Fix Your Team's Scattered Knowledge Problem With a Self-Hosted Forum Intro to tc Cloud Functors: A Graph-First Mental Model for the Modern Cloud Designing Multi-Tenant Backends With Both Ownership and Team Access I Built a Neumorphic CSS Library with 77+ Components — Here's What I Learned PostgreSQL Performance Optimization: Why Connection Pooling Is Critical at Scale Cómo construí un SaaS multi-rubro para gestionar expensas en Argentina con FastAPI + Vue 3 🚀 I Built an Ethical Hacking Scanner Tool – Open Source Project I Replaced /usage and /context in Claude Code With a Single Statusline A Pythonic Way to Handle Emails (IMAP/SMTP) with Auto-Discovery and AI-Ready Design I Collected 8.9 Million Polymarket Price Points — Here's What I Found About How Markets Really Move EcoTrack AI — Carbon Footprint Tracker & Dashboard Everyone's Using AI. No One Agrees How. 5 self-hosted ebook managers worth trying in 2026 Building Your First AI Agent with LangChain: From Chatbot to Autonomous Assistant
EzLang - a systems language aiming to make native softwar...
张一凡 · 2026-06-22 · via DEV Community

张一凡

Repo: https://github.com/ZYF93/EzLang

EzLang is an experimental systems programming language built around a simple idea: native software should be fast and reliable, but it should not require every small program to carry a heavy mental model.

The project is still early. It is a compiler and language-design experiment, not a production language. I am sharing it because I want feedback from people who care about compilers, memory models, cross-platform tooling, and whether this direction is worth pushing further.

What EzLang is trying to be

EzLang aims to sit in the space between scripting-language ergonomics and systems-language output.

The goals are:

  • Fewer memory pitfalls without giving up speed.
  • One codebase that can target native platforms, mobile platforms, and WebAssembly.
  • Code that reads close to intent, with expression-first syntax and named calls.
  • A language simple enough that AI-generated code is still easy for humans to review and maintain.
  • A practical systems language with the compiler, formatter, LSP, VS Code extension, package/project workflow, and docs developed together.

This is not meant to replace C, Rust, Zig, Go, or Swift. It is an attempt to test a different set of tradeoffs: can a small language make systems programming feel lighter while still compiling down to efficient native output?

A small example

from "std/fmt" import { format, toString };
from "std/io" import { println };

struct Data {
    val: I32;
};

const create = (seed: I32): Data => {
    const d = Data(val = seed + 32);
    return d;
};

const main = (): I32 => {
    const created = create(seed = 10);
    const copied = created;
    const args: Str[] = [toString<I32>(value = copied.val)];

    println(msg = format(template = "copied value={}", args = args));
    return copied.val == 42 ? 0 : 1;
};

The syntax is expression-oriented, calls use names where clarity helps, and values are copied by default. The language leans toward explicit, readable code rather than dense cleverness.

The memory model direction

The current design combines value semantics with an Arena-style memory model. Temporary aggregate values can be reclaimed with scope-like lifetimes, while weak references are explicit in the type system.

The ambition is simple: make common memory mistakes harder to write, without asking developers to think about ownership annotations in every line of code.

This part needs the most scrutiny. Escape analysis, diagnostics, and negative tests need to become much stronger before the design can claim real safety.

Cross-platform goal

EzLang is being designed with multiple targets in mind:

  • native executables
  • mobile platforms
  • WebAssembly / emcc-style targets

The standard library is intended to expose consistent interfaces across these targets where that makes sense. The current repository already includes the project CLI, formatter, LSP, VS Code extension, and standard-library direction, but the cross-platform story is still incomplete.

AI and maintainability

One motivation for EzLang is the world we are already entering: more code will be drafted by AI.

That makes the human side more important, not less. A language that is friendly to AI but hostile to human review is not a good outcome. EzLang tries to keep syntax and semantics explicit enough that a human can quickly inspect generated code, understand what it is doing, and safely change it.

This has affected small choices: named arguments, expression-first composition, less hidden magic, and a preference for code that reads like a direct description of intent.

Current implementation

The compiler is currently written in Python and uses ANTLR plus llvmlite:

.ez source -> ANTLR parser -> semantic analysis -> LLVM IR -> object/executable

What exists today:

  • Parser and semantic-analysis pipeline.
  • LLVM IR generation for demo programs.
  • ez init, ez build, ez run, ez test, and ez fmt.
  • Structs, generics, optional types, union types, function types, named calls, and type aliases.
  • extern "..." for target plus declare for ABI bindings.
  • Early flow {}, parallel {}, and race(pl) concurrency hooks.
  • Formatter, LSP, VS Code extension, bilingual docs, and examples.

What is rough:

  • The language spec is not stable.
  • Memory-safety guarantees are not proven.
  • Error messages need work.
  • The runtime is tiny.
  • Cross-platform behavior is incomplete.
  • The standard library is still more of a map than a mature library.

What I would like feedback on

  • Is the value-semantics plus Arena direction worth pursuing?
  • Does this mental model feel meaningfully simpler, or just different?
  • Are named calls a good readability tradeoff in a systems language?
  • What tests would make the memory model more credible?
  • Which small real-world program should EzLang try to compile first?

I am not looking for hype. I am looking for sharp feedback, broken assumptions, small test cases, and criticism from people who have built or used serious language tooling.