4122 FreshPorts -- lang/urweb
FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter
Port details
urweb 20120925 lang on this many watch lists=0 search for ports that depend on this port
Ultimate host for embedded domain-specific languages
Maintained by: beyert@cs.ucr.edu search for ports maintained by this maintainer
Port Added: 06 Apr 2012 14:37:03
Also Listed In: www
License: BSD
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

WWW: http://www.impredicative.com/ur/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. lang/mlton
  2. devel/gmake
  3. databases/postgresql83-server
Required To Run:
  1. databases/postgresql83-server
Required Libraries:
  1. databases/postgresql83-client
There are no ports dependent upon this port

To install the port: cd /usr/ports/lang/urweb/ && make install clean
To add the package: pkg_add -r urweb

Configuration Options 
===> The following configuration options are available for urweb-20120925:
     ELISP=on: Install contributed Emacs Lisp
     MYSQL=off: MySQL database
     PGSQL=on: PostgreSQL database
     SQLITE=off: SQLite database
===> Use 'make config' to modify these settings
Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.impredicative.com/ur/

Number of commits found: 7

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
18 Feb 2013 18:23:39
Original commit files touched by this commit  20120925
 rm search for other commits by this committer 
- update to 20120925
- trim Makefile header, while here

PR:		176206
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
11 Aug 2012 05:42:47
Original commit files touched by this commit  20120807
 rm search for other commits by this committer 
- update to 20120807

while here:
- convert to optionsNG
- tab -> space in pkg-descr:WWW

PR:		170486
Submitted by:	Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)
03 Jun 2012 23:30:16
Original commit files touched by this commit  20120512
 rm search for other commits by this committer 
- correct pkg-descr entry that I forgout about
03 Jun 2012 23:28:44
Original commit files touched by this commit  20120519
 rm search for other commits by this committer 
- update to 20120519

PR:             168179
Submitted by:   Timothy Beyer <beyert at cs.ucr dot edu> (maintainer)
16 May 2012 22:11:56
Original commit files touched by this commit  20120512
 pawel search for other commits by this committer 
Update to version 20120512

PR:             port/167944
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
09 Apr 2012 11:54:04
Original commit files touched by this commit  20120329_1
 scheidell search for other commits by this committer 
- Fix suggested by upstream. Revise mutex initializer patch to avoid deadlocks
- Bump PORTREVISION

PR:             ports/166778
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu> (maintainer)
Feature safe:   yes
06 Apr 2012 14:36:30
Original commit files touched by this commit  20120329
 scheidell search for other commits by this committer 
Add New Port lang/urweb: 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.

PR:             ports/166657
Submitted by:   Timothy Beyer <beyert@cs.ucr.edu>
Feature safe:   yes

Number of commits found: 7

2829
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
plibMay 19
plibMay 19
linux-f10-flashplugin10May 16
linux-f10-flashplugin11May 16
nginx*May 16
nginx-devel*May 16
firefoxMay 15
firefox-develMay 15
firefox-esrMay 15
firefox10May 15
firefox15May 15
firefox3May 15
firefox3-develMay 15
firefox35May 15
firefox36May 15

5 vulnerabilities affecting 20 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24528
Broken 216
Deprecated 473
Ignore 634
Forbidden 2
Restricted 292
No CDROM 109
Vulnerable 26
Expired 132
Set to expire 511
Interactive 33
new 24 hours 4
new 48 hours8
new 7 days25
new fortnight57
new month215

This site
What is FreshPorts?
About the Authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact
8e7
Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD 		Valid HTML, CSS, and RSS.
Copyright © 2000-2013 DVL Software Limited. All rights reserved.
0