Sky: A Fullstack Programming Language Merging Go and Elm

Sky is an experimental programming language designed to blend the pragmatic features of Go with the elegant functional programming style of Elm. It aims to simplify fullstack development by allowing developers to write functional code and deploy it as a single portable binary. Sky compiles to Go, leveraging its ecosystem and producing a single static binary that includes the API server, database access, and server-rendered interactive UI.

## Key Features

- **Go Integration**: Sky benefits from Go's fast compilation, concurrency model, and extensive ecosystem, covering everything from databases to cloud SDKs.

- **Elm Syntax**: It adopts Elm's type inference, algebraic data types, and pattern matching, ensuring that if the code compiles, it works.

- **Phoenix LiveView Inspiration**: Sky uses a server-driven UI model, eliminating the need for client-side frameworks by using server-side rendering and DOM diffing.

## Development Motivation

The motivation behind Sky stems from the frustration of dealing with separate frontend and backend systems, often leading to duplicated models, complex build pipelines, and maintenance challenges. By combining Go's tooling with Elm's developer experience, Sky aims to provide a seamless development process where one language and one deployment artifact suffice.

## Technical Details

Sky's compiler, CLI, formatter, and LSP are all self-hosted, written in Sky itself, and compiled to a native Go binary. This approach eliminates dependencies on Node.js or npm, streamlining the development environment. The language supports modules, types, functions, pattern matching, and data structures, with a focus on type safety and functional programming principles.

## Language Features

Sky supports various language features such as modules, type inference, algebraic data types, and pattern matching. It allows for Go interop through auto-generated FFI bindings, ensuring type safety and panic recovery. The language also supports The Elm Architecture for stateful applications, providing a unified model and message system for the entire app.

## Package Management

Sky includes a built-in package manager that handles both Sky and Go packages. The `sky.toml` file serves as the project manifest, detailing dependencies and configuration settings. Sky's package manager automatically resolves and installs dependencies, facilitating easy integration of external libraries.

## Sky.Live Framework

Sky.Live is a server-driven UI framework inspired by Phoenix LiveView. It allows developers to write standard TEA code, generating a Go HTTP server with DOM diffing and session management. This approach supports serverless environments and eliminates the need for WebSockets or client-side frameworks.

## Development and Community

Sky is under active development, with contributions encouraged from the community. Developers are invited to build applications, create examples, report issues, and enhance the standard library or editor support. The language is licensed under the MIT License, promoting open collaboration and innovation.