[Haskell-cafe] Froglingo – a functional programming language
kevin at froglingo.com
kevin at froglingo.com
Tue Feb 15 20:30:50 CET 2011
Upon a few requests, a brief view about how you would do with Froglingo is given as following:
With Froglingo, users' main task is to organize business data and logic in the EP data model, i.e., the way that higher-order functions are related to each others. The remaining task is to specify constraints for data entries and to generate reports (queries).
Developing data-intensive software applications in Froglingo is analogous to database management in a relational DBMS, where users only need to define data schemes, enter data, and specify data queries. The main difference is the expressive powers: the relational DBMS is for tables and the relational albegra, and the Froglingo is for total recursive functions and a class of total recursive functions. Note that a class of total recursive functions get rid of non-termination processes and keep the complete semantics for all the meaningful software applications.
Depending on business needs, users can specify different report formats such as Froglingo expressions, HTML/XML, or any textual based formats. Froglingo has its own web server such that users can send requests through HTTP over internet. It manages files as data. It has built-in access control operators to protect data as if a file system has its own operators to protect files.
The roles of programmers in Froglingo are consolidated with DBAs' because there is no longer "source code" separated from database (every data or logic is in database).
Type-free is the most important difference of Froglingo from traditional programming languages in practice. In other words, users don't need to define their own types (e.g., data structures or classes) for software applications. The subtypes of applications are specified as constraints via Froglingo built-in operators as if employee data and salary data were specified in tables of a relational DBMS. Unlike other type-free systems such as the lambda-calculus, the EP data model guarantees bug-free (non-termination).
Please let me know if you have any questions. Thank you.
From: kevin at froglingo.com [mailto:kevin at froglingo.com]
Sent: Tuesday, February 8, 2011 07:21 AM
To: 'Haskell Cafe'
Subject: [Haskell-cafe] Froglingo – a functional programming language
I have recently finished a paper about Froglingo, a programming language designed to make it easier to write data-intensive business applications. It is a monolith consolidating programming, database/file management, data exchange, web server, and access control. What makes Froglingo unique is a sub language that is the first known as semantically equivalent to a class of TOTAL recursive functions.
Froglingo shares with Haskell a declarative approach to programming, and strong mathematical foundations, so I thought that people on this list might find it of some interest.
You can find the paper at: http://www.froglingo.com/FroglingoPL.pdf. If you have any thoughts about it, I’d love to hear from you.
Thank you for your attention.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe