Freya is a modern, purely functional stack for web programming in F#.
Familiar functional programming techniques for state and concurrency are combined to give you a consistent and seamless approach to building web applications.
Freya is free and open source software.
- Typesafe modelling – powerful and comprehensive type systems available with Freya help you build safe and composable application components. Types for HTTP and surrounding standards give you the tools you need to make the most of the web
- High level HTTP abstractions – powerful and functional approach to build HTTP applications. Build complex HTTP applications from smaller, composable, re-usable elements.
- Routing – based on flexible and relevant web standards — URI Templates — allows you to create fast and accurate routing with a consistent data model, and re-use routes for matching, URI generation and more.
- Types – provides strongly typed data structures for core web standards (e.g. HTTP, URIs, Language Tags, etc.) as well as appropriate parsers and optics relating to the provided types.
- Optics – provides custom optics from the loosely-typed OWIN data structures to the strongly typed Freya Types data structures, enabling a consistent and safe approach to working with request and response data.
- Machines – provide strongly type high-level abstractions over common web logic requirements. In particular, the Freya HTTP Machine provides a powerful way to model and deploy HTTP resources, adhering to web standards closely and providing reasonable assurances of functional safety and correctness.
- Extensible and composable stack – design to support building abstractions at successively higher levels enables building complex applications at the right level of detail and control. Build your own abstractions to boost your productivity.
- Compatible with many frameworks and servers.
|New to Linux? Read our Linux for Starters series. We start right at the basics and teach you everything you need to know to get started with Linux.|
|The largest compilation of the best free and open source software in the universe. Each article is supplied with a legendary ratings chart helping you to make informed decisions.|
|Hundreds of in-depth reviews offering our unbiased and expert opinion on software. We offer helpful and impartial information.|
|Replace proprietary software with open source alternatives: Google, Microsoft, Apple, Adobe, IBM, Autodesk, Oracle, Atlassian, Corel, Cisco, Intuit, and SAS.|
|Linux Around The World showcases events and usergroups that are Linux-related. This is a new series.|
|Getting Started with Docker helps you master Docker, a set of platform as a service products that delivers software in packages called containers.|
|Essential Linux system tools focuses on small, indispensable utilities, useful for system administrators as well as regular users.|
|Linux utilities to maximise your productivity. Small, indispensable tools, useful for anyone running a Linux machine.|
|Home computers became commonplace in the 1980s. Emulate home computers including the Commodore 64, Amiga, Atari ST, ZX81, Amstrad CPC, and ZX Spectrum.|
|Now and Then examines how promising open source software fared over the years. It can be a bumpy ride.|
|Linux at Home looks at a range of home activities where Linux can play its part, making the most of our time at home, keeping active and engaged.|
|Linux Candy reveals the lighter side of Linux. Have some fun and escape from the daily drudgery.|
|Best Free Android Apps. We showcase free Android apps that are definitely worth downloading. There's a strict eligibility criteria for inclusion in this series.|
|These best free books accelerate your learning of every programming language. Learn a new language today!|
|These free tutorials offer the perfect tonic to our free programming books series.|
|Stars and Stripes is an occasional series looking at the impact of Linux in the USA.|