savannah-register-public
[Top][All Lists]
Advanced

[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/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]