The document describes Libretto, a programming language and web platform. Libretto is a general-purpose, object-oriented, dynamic programming language that can be used on both the server-side and client-side. It also has a logical datatype system. The Libretto Web Platform compiles Libretto code to JavaScript and uses a web framework. It aims to provide a single language for both web development and knowledge management integration.

1. a programming language and
a web platform
http://libretto-lang.org

2. The Libretto Web Platform
A
● single-language
● multi-platform
web programming environment

3. The Libretto Web Platform
based on the
● general-purpose
● high-level
● dynamic
● object-oriented
programming language Libretto

4. WHY?

5. Today
Database
Server
Client

6. The Libretto Web Platform
Database
Server
Client

7. WHO?

8. Target Groups
● cloud computing application
development
● knowledge management & regular
programming integration

9. HOW?

10. The Libretto Web Platform
[A] A multi-purpose programming language
[B] A multi-platform programming environment

11. [A] Libretto
a general-purpose object oriented dynamic
programming language
a single language space of Libretto
● on the server side
● on the client side
● with persistent storage
datatype system with logical
semantics

12. [A] Libretto vs Ruby
class Ninja(var name) class Ninja
attr_accessor :name
fix drew = Ninja("Drew")
fix adam = Ninja("Adam") def initialize(name)
@name = name
end
end
drew = Ninja.new("Drew")
adam = Ninja.new("Adam")

13. [A] Libretto vs Python, Haskell,
C#
"n".join(foo.description()
for foo in mylist
if foo.description() != "")
mylist.description?[$!=""].join("n")
concat $ List.intersperse "n"
$ filter (/= "")
$ map description mylist
string retval = "";
foreach (Foo foo in mylist)
{
string desc = foo.description();
if (desc != "")
{
if (retval != "")
retval += "n";
retval += desc;
}
}

14. [A] Libretto vs JavaScript
UL?[id == "selected-plays"] var uls = document.getElementsByTagName("UL")
$LI. style var ul
{float = "left" for(var i = 0, l = uls.length; i < l; i++)
listStyle = "none" if (uls[i].id === "selected-plays") {
margin = "10px"} ul = uls[i]; break
}
var style
for(var n = ul.firstChild; n != null;
n = n.nextSibling)
if (n.nodeName === "LI") {
style = n.style
style.float = "left"
style.listStyle = "none"
style.margin = "10px"
}

15. [A] Libretto vs JQuery
JQuery
window {onload = $(document).ready(function(){
%{DIV ?[id == "switcher-normal"] {onclick = $("#switcher-normal").bind('click', function(){
%{BODY {class ?["large" or "narrow"]--}} $('body').removeClass("large").removeClass("narrow");
} });
DIV?[id == "switcher-narrow"] {onclick =
%{BODY {class ?["large"]--; class += "narrow"}} $("#switcher-narrow").bind('click', function(){
$('body').removeClass("large").addClass("narrow");
}
});
DIV?[id == "switcher-large"] {onclick =
%{BODY {class ?["narrow"]--; class += "large"}} $("#switcher-large").bind('click', function(){
} $('body').removeClass("narrow").addClass("large");
DIV ?[id == "switcher"] });
&DIV ?[:class == "button"] as buttons {onclick =
%{buttons {class ?["selected"]--} $("#switcher .button").bind('click', function(){
$("#switcher .button").removeClass("selected");
this {class += "selected"}}
$(this).addClass("selected");
} })
} });
}

16. [A] Libretto vs Logic
Theorem (Malykh, Mantsivoda, 2010). The
declarative part of Libretto is a sublogic of the
SW description logic SHOIN(D).

17. [A] Libretto vs Logic
{ Logical
Datatype
System
Logically Sound
(Query)
Sublanguage
Advanced Programming
Tools
Declarative part of Libretto = Simple Logic
Declarative Libretto Programs = Knowledge Bases
Logically Approved Concept of Data!

18. [A] Libretto vs Logic
?
Query: Find a man' spouse aged 40,
which has a son
Description Logic:
man.spouse ?[age == 40 and hasChild.Man]

19. [A] Libretto vs SQL
Relational model (tables)
Object model (graphs)
Resembles Hibernate, BUT!
● implemented on the language level
● within a unified language space
● logically valid

20. [A] Libretto vs SQL
Libretto
municipal11.~municipal.title SELECT ARTICLE.TITLE
FROM ARTICLE, MUNICIPAL
WHERE
ARTICLE.MUNICIPAL_ID = MUNICIPAL.ID
AND MUNICIPAL.ID = 11
UNION ALL
SELECT NEWS.TITLE
FROM NEWS, MUNICIPAL
WHERE
NEWS.MUNICIPAL_ID = MUNICIPAL.ID
AND MUNICIPAL.ID = 11

21. [B] The Libretto Web Platform

22. [B] The Libretto Web Platform
compile r
rs
sl ato
n
tra

23. [B] The Libretto Web Platform
logical
datatypes
compile r
rs
sl ato
n
tra

24. [B] The Libretto Web Platform
logical
datatypes
compile r
rs
sl ato
n
tra
translator
p ing
map
web framework

25. [B] The Libretto Web Platform
logical
datatypes
compile r
rs
sl ato
n
tra
translator
p ing
map
web framework

26. [B] The Libretto Web Platform
logical
datatypes
compile r
rs
sl ato
n
tra
translator
p ing
map
web framework

27. [A] Libretto vs Semantic Web
Targeting Semantic Web problems:
● the isolation of knowledge handling tools
from development technologies
● the high comprehension threshold for regular
developers.

28. [A] Libretto vs Semantic Web
Potential:
● Libretto programs as knowledge bases
● KBM and OOP integration
● standardized API to data and knowledge MS
● executable formalized specifications and
normative documents

29. HOW MUCH?

30. Business Model
Open Core = OS + non-OS-additions
For free:
● Basic compilers from Libretto
● Translator to JavaScript
● Basic Web Framework
● Basic Libretto Libraries

31. Business Model
Open Core = OS + non-OS-additions
For money:
● Replication Support
● Scalability Support
● Dashboard for Monitoring & Management
● Technical Maintenance & Consulting
● Hosting?