Moggi is a statically typed, purely functional programming language that compiles to PHP, JVM, and .NET from a single source file, featuring algebraic data types, pattern matching, and type classes. The alpha-stage compiler supports running programs directly, building deployable artifacts, and native executable generation through GraalVM or .NET PublishAot.