[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #3766] Submission of Freckle
From: |
Simon Taylor |
Subject: |
[Savannah-register-public] [task #3766] Submission of Freckle |
Date: |
Sun, 20 Feb 2005 04:13:57 +0000 |
User-agent: |
Mozilla/5.0 (Windows; U; Windows NT 5.1; rv:1.7.3) Gecko/20040913 Firefox/0.10 |
URL:
<http://savannah.gnu.org/task/?func=detailitem&item_id=3766>
Summary: Submission of Freckle
Project: Savannah Administration
Submitted by: stayl
Submitted on: Sun 02/20/2005 at 04:13
Should Start On:
Should be Finished on:
Category: Project Approval
Priority: 5 - Normal
Status: None
Privacy: Public
Percent Complete: 0%
Assigned to: None
Open/Closed: Open
Effort: 0.00
_______________________________________________________
Details:
Site Admin. Approval/Edition URL:
<https://savannah.gnu.org/admin/groupedit.php?group_id=7345>
###### ORIGINAL SUBMISSION DETAILS ######
System Group Name:
-----------------
freckle
Full Name:
----------
Freckle
Type:
-----
non-GNU
License:
--------
GNU General Public License V2 or later
Other License:
--------------
GNU Lesser General Public License for the libraries and runtime.
Description:
------------
Freckle is a new functional language in the ML family (strict, impure,
strongly-typed). Syntax will be C-like. The type system is Hindley-Milner
style, and includes higher-rank polymorphism, existential types, implicit
parameters, guarded algebraic data types, extensible record types and
extensible variant types. It does not include Haskell-style type classes.
Freckle does not use a traditional ML-style module system. Instead, there is
a hierarchical namespace system. Extensible records are used to bundle methods
together into structures, and functions returning records are used to emulate
functors. Freckle also includes a more first-class handling of failure
through a light-weight, strongly-typed exception handling facility.
A high priority for Freckle is Python-style batteries-included libraries
for web and network programming.
No source code as yet.
Other Software Required:
------------------------
The initial implementation will be written in Mercury
<http://www.mercury.cs.mu.oz.au>.
Other Comments:
---------------
#########################################
_______________________________________________________
This item URL is:
<http://savannah.gnu.org/task/?func=detailitem&item_id=3766>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Savannah-register-public] [task #3766] Submission of Freckle,
Simon Taylor <=