urweb ☆
« Back to VersTracker
Description:
Ur/Web programming language
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: functional-programming web-development type-system compiler database
Install: brew install urweb
About:
Ur/Web is a purely functional, statically typed programming language designed for building robust web applications. It compiles to SQL, JavaScript, and HTML, providing strong safety guarantees and eliminating common web development bugs. The language features a unique type system that tracks data dependencies and ensures security by construction.
Key Features:
  • Purely functional with static typing
  • Compiles to SQL, JavaScript, and HTML
  • Built-in database integration and type-safe queries
  • Automatic handling of session state and forms
  • Strong security guarantees via type system
Use Cases:
  • Building type-safe web applications with database backends
  • Developing secure web services with minimal boilerplate
  • Prototyping full-stack applications quickly
Alternatives:
  • Elm – Both focus on type safety for web, but Ur/Web has deeper database integration
  • Haskell with Yesod – Ur/Web is web-specific with less configuration needed
  • Scala with Play – Ur/Web provides stronger compile-time guarantees for web apps
Version History
Detected Version Rev Change Commit
Sep 11, 2025 11:46pm 12 VERSION_BUMP 4984c004
Oct 31, 2024 7:28am 11 VERSION_BUMP b40d6b2f
Oct 31, 2024 12:28am 11 VERSION_BUMP b86782f2
« Back to VersTracker  |  Browse Packages  |  About