Valkyrie Language

An elegant, efficient, and safe programming language

// 高级示例
micro() {
  type Point = {
    x: number,
    y: number
  }
  
  let p: Point = { x: 10, y: 20 }
  return p.x + p.y
}

Features

features.algebraic-data-type.title

Algebraic Data Types

Safe type operations through pattern matching

Learn More
features.algebraic-subtype.title

Algebraic Subtyping

Verify type constraints at compile time

Learn More
features.algebraic-effect.title

Algebraic Effects

Manage program side effects in declarative way

Learn More

applications.title

applications.command-line.title

Command-line Tools

Develop system tools, compilers, and high-performance CLI applications

Learn More
applications.server.title

Server Development

Build high-concurrency, distributed backend services

Learn More
applications.fullstack.title

Fullstack Development

Unified language for full-stack development

Learn More
applications.game-development.title

Game Development

High-performance game engines and real-time rendering systems

Learn More
applications.deep-learning.title

Deep Learning

Build high-performance neural networks and ML frameworks

Learn More
applications.embedded.title

Embedded Systems

Develop IoT devices and embedded systems with resource constraints

Learn More