lang/urweb 20200209_3 FreeBSD
Ultimate host for embedded domain-specific languages
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- BSD3CLAUSE
- Categories
- lang, www
Description
Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of metaprogramming based on row types.
Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases. The signature of the standard library is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense. Not only do they not crash during particular page generations, but they also may not:
* Suffer from any kinds of code-injection attacks * Return invalid HTML * Contain dead intra-application links * Have mismatches between HTML forms and the fields expected by their handlers * Include client-side code that makes incorrect assumptions about the "AJAX"-style services that the remote web server provides * Attempt invalid SQL queries * Use improper marshaling or unmarshaling in communication with SQL databases or between browsers and web servers
Install
Binary package:
pkg install urweb
From the ports tree:
cd /usr/ports/lang/urweb/ && make install clean
To depend on this port in another port's Makefile:
RUN_DEPENDS= urweb>0:lang/urweb
LIB_DEPENDS= liburweb.so:lang/urweb
Packages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | - | 20200209_3 | - | - | - |
| FreeBSD:14:quarterly | - | 20200209_3 | n/a | - | - |
| FreeBSD:15:latest | - | 20200209_3 | n/a | - | - |
| FreeBSD:15:quarterly | - | 20200209_3 | n/a | n/a | n/a |
| FreeBSD:16:latest | - | 20200209_3 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
mlton: lang/mlton
Library 2
The full lists below include those, and their dependencies in turn.
Build dependencies 20
Run dependencies 11
No port depends on this one.
Configuration
Options name: lang_urweb
| Option | Default | Description |
|---|---|---|
| ELISP | on | Install contributed Emacs Lisp |
| PGSQL | on | PostgreSQL database support |
| SQLITE | off | SQLite database support |
- USES
- autoreconf gmake libtool ssl tar:tgz
- Service scripts
- none
Files
pkg-plist 56
- bin/urweb
- include/urweb/config.h
- include/urweb/queue.h
- include/urweb/request.h
- include/urweb/types.h
- include/urweb/types_cpp.h
- include/urweb/urweb.h
- include/urweb/urweb_cpp.h
- include/urweb/uthash.h
- lib/liburweb.a
- lib/liburweb.so
- lib/liburweb.so.1
- lib/liburweb.so.1.0.0
- lib/liburweb_cgi.a
- lib/liburweb_cgi.so
- lib/liburweb_cgi.so.1
- lib/liburweb_cgi.so.1.0.0
- lib/liburweb_fastcgi.a
- lib/liburweb_fastcgi.so
- lib/liburweb_fastcgi.so.1
- lib/liburweb_fastcgi.so.1.0.0
- lib/liburweb_http.a
- lib/liburweb_http.so
- lib/liburweb_http.so.1
- lib/liburweb_http.so.1.0.0
- lib/liburweb_static.a
- lib/liburweb_static.so
- lib/liburweb_static.so.1
- lib/liburweb_static.so.1.0.0
- lib/urweb/js/urweb.js
- lib/urweb/ur/basis.urs
- lib/urweb/ur/char.ur
- lib/urweb/ur/char.urs
- lib/urweb/ur/datetime.ur
- lib/urweb/ur/datetime.urs
- lib/urweb/ur/json.ur
- lib/urweb/ur/json.urs
- lib/urweb/ur/list.ur
- lib/urweb/ur/list.urs
- lib/urweb/ur/listPair.ur
- lib/urweb/ur/listPair.urs
- lib/urweb/ur/monad.ur
- lib/urweb/ur/monad.urs
- lib/urweb/ur/option.ur
- lib/urweb/ur/option.urs
- lib/urweb/ur/string.ur
- lib/urweb/ur/string.urs
- lib/urweb/ur/top.ur
- lib/urweb/ur/top.urs
- share/emacs/site-lisp/urweb-mode/urweb-compat.el
- share/emacs/site-lisp/urweb-mode/urweb-defs.el
- share/emacs/site-lisp/urweb-mode/urweb-flycheck.el
- share/emacs/site-lisp/urweb-mode/urweb-mode-startup.el
- share/emacs/site-lisp/urweb-mode/urweb-mode.el
- share/emacs/site-lisp/urweb-mode/urweb-move.el
- share/emacs/site-lisp/urweb-mode/urweb-util.el
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| urweb-urweb-20200209_GH0.tar.gz | 804989 | 56062e4b2485c73e2b912e6c7631ce47e885774dd0ac4e9acbb21594165fac01 |
Commit history 0
No commits in the history this site was built from.