The document appears to be code or data that is not easily summarized due to its unstructured nature. It contains various symbols, brackets, and other characters with no clear meaning or context provided.

1. Code as
Data
as Code
@fogus

2. me
12 years
XP

3. me
12 years AI
XP “Real World”

4. me
12 years AI
XP “Real World”
C -> C++ -> Java ->
Python -> Ruby ->
Scala -> Clojure
Langs

5. me
12 years AI
XP “Real World”
C -> C++ -> Java -> * Joy of Clojure
Python -> Ruby -> * Clojure/core
Scala -> Clojure - Clojure
- ClojureScript
Langs Clojure

6. me
12 years AI
XP
I❤ “Real World”
Java
C -> C++ -> Java -> * Joy of Clojure
Python -> Ruby -> * Clojure/core
Scala -> Clojure - Clojure
- ClojureScript
Langs Clojure

7. me
12 years AI
XP “Real World”
C -> C++ -> Java -> * Joy of Clojure
Python -> Ruby -> * Clojure/core
Scala -> Clojure - Clojure
- ClojureScript
Langs Clojure

8. am s
g r ng
ro iti
P r s
W ram
P rog

9. Java

10. create table COFFEES
(COF_NAME varchar(32) NOT NULL,
SUP_ID int NOT NULL,
PRICE numeric(10,2) NOT NULL,
SALES integer NOT NULL,
TOTAL integer NOT NULL,
PRIMARY KEY (COF_NAME),
FOREIGN KEY (SUP_ID) REFERENCES SUPPLIERS
(SUP_ID));
Data

11. create table COFFEES
(COF_NAME varchar(32) NOT NULL,
SUP_ID int NOT NULL,
PRICE numeric(10,2) NOT NULL,
SALES integer NOT NULL,
TOTAL integer NOT NULL,
PRIMARY KEY (COF_NAME),
FOREIGN KEY (SUP_ID) REFERENCES SUPPLIERS
(SUP_ID));
Data

12. public static void viewTable(Connection con) throws SQLException {
Statement stmt = null;
String query = "select COF_NAME, SUP_ID, " +
"PRICE, SALES, TOTAL from " +
dbName + ".COFFEES";
try {
stmt = con.createStatement();
ResultSet rs = stmt.executeQuery(query);
while (rs.next()) {
String coffeeName = rs.getString("COF_NAME");
int supplierID = rs.getInt("SUP_ID");
float price = rs.getFloat("PRICE");
int sales = rs.getInt("SALES");
int total = rs.getInt("TOTAL");
doPrint(coffeeName, supplierID, price, sales, total);
}
} catch (SQLException e ) {
JDBCTutorialUtilities.printSQLException(e);
} finally {
if (stmt != null) { stmt.close(); }
}
}

13. public static void viewTable(Connection con) throws SQLException {
Statement stmt = null;
String query = "select COF_NAME, SUP_ID, " +
"PRICE, SALES, TOTAL from " +
dbName + ".COFFEES";
try {
stmt = con.createStatement();
ResultSet rs = stmt.executeQuery(query);
while (rs.next()) {
String coffeeName = rs.getString("COF_NAME");
int supplierID = rs.getInt("SUP_ID");
float price = rs.getFloat("PRICE");
int sales = rs.getInt("SALES");
int total = rs.getInt("TOTAL");
doPrint(coffeeName, supplierID, price, sales, total);
}
} catch (SQLException e ) {
JDBCTutorialUtilities.printSQLException(e);
} finally {
if (stmt != null) { stmt.close(); }
}
}
Data

14. public static void viewTable(Connection con) throws SQLException {
Statement stmt = null;
String query = "select COF_NAME, SUP_ID, " +
"PRICE, SALES, TOTAL from " +
dbName + ".COFFEES";
try {
stmt = con.createStatement();
ResultSet rs = stmt.executeQuery(query);
while (rs.next()) {
String coffeeName = rs.getString("COF_NAME");
int supplierID = rs.getInt("SUP_ID");
float price = rs.getFloat("PRICE");
int sales = rs.getInt("SALES");
int total = rs.getInt("TOTAL");
doPrint(coffeeName, supplierID, price, sales, total);
}
} catch (SQLException e ) {
JDBCTutorialUtilities.printSQLException(e);
} finally {
if (stmt != null) { stmt.close(); }
}
}
Code

16. OR
M

17. public static void viewTable(Connection con) throws SQLException {
Statement stmt = null;
String query = "select COF_NAME, SUP_ID, " +
"PRICE, SALES, TOTAL from " +
dbName + ".COFFEES";
try {
stmt = con.createStatement();
ORM
ResultSet rs = stmt.executeQuery(query);
while (rs.next()) {
String coffeeName = rs.getString("COF_NAME");
int supplierID = rs.getInt("SUP_ID");
float price = rs.getFloat("PRICE");
int sales = rs.getInt("SALES");
int total = rs.getInt("TOTAL");
doPrint(coffeeName, supplierID, price, sales, total);
}
} catch (SQLException e ) {
JDBCTutorialUtilities.printSQLException(e);
} finally {
if (stmt != null) { stmt.close(); }
}
}

18. OCaml

19. from this...
List.map (fun x -> x+1) [1; 2; 3]

20. to this...
List.map (fun x -> x+1) [1; 2; 3]
ExApp (loc, ExApp (loc, ExAcc (loc,
ExUid (loc, "List"), ExLid (loc, "map")),
ExFun (loc, [(PaLid (loc, "x"), None,
ExApp (loc, ExApp (loc, ExLid (loc, "+"),
ExLid (loc, "x")), ExInt (loc, "1")))])),
ExApp (loc, ExApp (loc, ExUid (loc, "::"),
ExInt (loc, "1")),
ExApp (loc, ExApp (loc, ExUid (loc, "::"),
ExInt (loc, "2")), ExApp (loc,
ExApp (loc, ExUid (loc, "::"), ExInt (loc, "3")),
ExUid (loc, "[]")))))

21. just this...
List.map (fun x -> x+1) [1; 2; 3]

22. well, this...
List.map (fun x -> x+1) [1; 2; 3]
<:expr< List.map (fun x -> x+1) [1; 2; 3] >>

23. the expander
List.map (fun x -> x+1) [1; 2; 3]
<:expr< List.map (fun x -> x+1) [1; 2; 3] >>
camlp4::expr

24. Pure

25. foil

26. foil

27. (x1 + y1) * (x2 + y2)

28. (x1 + y1) * (x2 + y2)

29. (x1 + y1) * (x2 + y2)
(x1 * x2) First
(x1 * y2) Outer
(y1 * x2) Inner
(y1 * y2) Last

30. (x1 + y1) * (x2 + y2)=
// First
(x1 * x2)+
// Outer
(x1 * y2)+
// Inner
(y1 * x2)+
// Last
(y1 * y2);

31. (x + 3) * (x + 5);
//=> x*x+x*5+3*x+15

32. x*x = x^2;
(x + 3) * (x + 5);
//=> x^2+x*5+3*x+15

33. Code as Code.
Data as Data.

34. Code as Code.
Data as Data.

35. #}({_({}{[)#[]]}}{}{#(#(]#_}#([()_]}[_}{[_]#}]_{}{(](#[)#_#()(}{[#{_{)[])#[[_}[_{]((_#_(_{(#_#_{)}}#}{{){]([)]({_[))][][#}()}_[##)_#]]#]#)
_(]}_{)]#}_##(#]]_(}))(}#{#(_#)(]))#}{{_{[([(_]{)]})_([]}_{[#_][{{[_(_}[_])]]]]_#[((}{{#_)#[#(]{#__()[{#_}))_))]()]{()#}((](]_}(#][{(}}[[_
#]_]}#{}{][)[[_#__[)}]}]]__##[(_{#}#}[)({)}[)(}](_(}{_[_{)){#___]{{](]#(#])_[)[([({{]#)}#(}[]#])##_}{_#{[_))#{)}}_(_#[[{[}#[](([(_((){_[#]
[[[#_}}]#_([#]]_}_]({_]){#{[]((]#}}{[)_{([#]{#({)#{(}###](]{)]{]}_()#]}{{]}_##){)()[#})]]_(}](#)(#]]#]__]]#][_(}]}{{__(_)(()()()[(#(#_}]}_
{##]{{__()#{(_)_()#(#[])_[[)[[[{[(_[()]{#[}(][()}_{(}{)((}[])[_#{}][#[[])[[_(]}]}}[)#{{#{##]{]#_[})(}}(})((#))[)(}}_)#]]{)}_]))_]#](}_{)})
{)]#_([[]()()({(}]}_{{#([(__#_}]{[]}}}#({]#)#{}_)}){)#]([#}))(##(}([[[[}[#{_(}}}[{{(_}_[#)]()}}{#}#(]}}#}[{#}([_)(#]]}#()){)_#()]}(}}}{[{}
){[#((]}#_){[[#{#]]]([}[{}()#{{{[})({_[[__)}#(_)[[][_[)[([{}((][#}]((#[{(([}[#][})(}()}[[(}]]))##}{{)#({##[}{{[_]_}]}}[{)))#{])#}{_[}[_(]]
]_{][#__(_)#_({_{(}})(]{}]{[_({{#}_((_{){{#][)()_{__[{[[}[(((()[}(])[{#()#((}#{{(#}[#((])({}{([__]_{]{{_#{[)(]]}}]))}{##})#)}#{_]{{{#_(]][
{#))_[[({][[}{}{#}})}#[_)__#_](}([]{}(#)##}}[{_{])___{_))]{#]{_[#(}))##__))[)_]_[_]{[][[)]{[{])){({#_]}_{((([]##)}(}]#))}]{(#}(}]}_{[}[(]_
(_[#[{[(({##}#__##}][_[)[}#)]#{{_)__(((((){#]})_)#{{)_{})}(__)}_}_#{))[)(]])}#_](#){}_]_#]]#])(])[(]_[_}}(#[#)_#[]))_{}#]{#[[#{}([(}}_#__)
]}[}}#(}){][_]])}}_]})[#{}}))]#}})(]#}_{)#[}}__))[[[[)##)})#_]##)])]##}}[{{[)#}[)(}_({(]]}[(}_]_[#[(#({})}{}}_}{}][_{]]_#_[(_}[]_[)[{()}#}
))({[]{##)}[}}#))(#(]{{[})_{#[[##[]__#(}{)[)}(})#[{)](_}[}#(}(([[(([#){)#{)]){{}{{]}(()(][_)]##{[}#){[_}_#{(#}_}(_#)[{_[})_{{#_{]{{}}##)#]
#[]##_[(}{(}[_{]){_](__)]][(#[})]{#)]_]}([)[]]){)_[)_#)}_}[()_]]#[[}]][#{[#(_{[)}{)#(})##[(_(_##[](]]_})}{)#[))]_##([[)}{)])_#]#]}(_#(](){
[({#)_()_}([#{[][_)([]}_#[#_)}(](]([(){})}](}{}#_]]}_(#}#__[[_[]]#()#}(([(_{]())]{){_]{((__}}[[[}]_#{{)]]#(#[{}((##(_(])([#{[(_{_(#_){}{[_
#(})}{]}]]][[__[[((]]]}(}]{()#)[(#]}){{[}}_]{#}_{)]#[_))(}](_}#)}}_{))(}]_[__([{))[#}__((]_]}]#}]){}({}#[][_[{}}}]]#(({__}#)#[[_]_]#_}}{](
#}#_{({}_)(_}[}((](##){)}#_([([]_#}[[{[([)_(})_{()(_{}[)#(#_][_##}[}[([[#{)[}{{#}[(_]_()])#[[__(#{}_)))#{)[([{_]_[(]]_#[((_})___(_}[{[#[]_
[](}_#{[]{_][_})])}#]]__]#}_(()){}}]#]}#)[(_[##([(#_[)[#_#__{{}}#[}[}(}#]{}_[)[}{}_}#[)#[{[([){}({(){(){]_[[]}{)_)(({[(])#[_(}]#[](}{[[#]#
{}{{{[([]{}{#_)}(])#)___))}[){[_})[#{##_])#}})[)(]#{[){)((]}_]{]_(){{{])[}]_]{{_)]_){}#{}#({{)[)}#}(_()[[[([(_]#___#([)_{[#][[#)_[{))]])[)
(_}{]]]({#{#)]][[)_{]#(){_}[)({}{#})#_]{]#_[{][]])](#[}##}[)})](]([{)]](]#{)}(#)]{(([{[}_)#()#___]#}#]]})[]#[}](_#_{_[_}[[][__]__#]_{((}[#
#_[}})_]]#[{])_{#){})[]_)_]#({#({){(_{_{_(]){(((#)[[_[{}){}(#]#{#])]]__[}]_[}]}}(}#[{{_}#[{[)(({{)])#[}([#{[((}{}###[}(]{}]}})}(#](#}}_{[{
{}#{{})){(}((){})}]}__{###(_[()(([]{[(##[([#]_#}(#}](}]{(#]_{](}{)}{_})[]{[{_(#(}{}]}}){]{])()_(()([}#_##[}]){{{#())#)_(#{)][]]{[})(_#{])}
_##){_(]({]][(]){}{}(((}#]]})]#({#_]}_#{)]})[{}[}{}}{(_{{[]))}{}([(]_(#)(}(#)_#(_}{[)[}_#{_[]()_#(){_(()(#_}())[]{))#_}}(#}))(}]){#_)(#[])
}#[_({]]([)#(]((}##)[#([_#})({(#(}#_}_#(}(}]{#)]_})}([))#()[_(][#}[{#)}}}[##)}#)_]_{]}}#)#{}()))#[_)}#[_##_(())}##_#)_){[##{]#)_)}][))([[{
#{#{##_[#({(}{}_(){}{[({}[]##_][}#([}}{[#]]#}__{({)][{}_#(_][_)}#)])]{#]]]][{(){][[((](][#[{)(}{{[({[][}(}]_(#[]]_){({{{})(}#{_)))_(_[#]{(
[{[})#[#]})}]#{_#[{])([[#})__})(}#(][)}({)_)#[[_)_{(__{)[{#_()}{[{(#{]}]](_[])]_)]]{])#([[](){}#[_[)}#)[#_]){{}_{{{#}#}{[][)){)[{_}})){[_]
{}#{})(]({)#)]_}[[[#]##(#[{((##[([###]{[]_[{[}{(]_}_[]}{()_#()(]]_}#]{}#{__]))][_)(}{_{)#}]#(#_((#)#_[}_}[{{((]){](([]_{))})[{]]]{#}[)_]))
#]]_[{#}]##()}})))]])#{{)[((]{)]#}[}}{)][#_[{[_{(})]#(_#]#)_}[}##([[{#]_}{]{(}]][}[[(#}#_}_#[((#](_#([]{}}([]((([[)())(_)({#)})]_]]{{)]][}
(#})((]](_[_[{#}##){{)(]_#]_(}#}[([)(_##(_(_[{(#)}(#}_(#{})##(#][[#({}[{(__{#[{}[){]#))_][#}({(_{##[[}]{_([#}]]{]((_{##}]))))__)#[]#(()}{(
]]#([_[##}{)[][[)[[{{_{{_[_)[]{#{{{}]#{##{{){_]][{_})}_})]}#{{{}}]#)#_]#))[)]([#{[)_{#{__[[}]}[)[[]{_][])(](}}#({}}]#}__{)[_((_{{[[}}[_)#_
})#}#_#{[{]}#)_(#}#()){#[(#({][)}})_(}}__{()###[}]]_})({#}]#_#(({_])#[(]{#}{{]{])(_}{#][#[_(})[}##](]{{{{)[]}]#[_{#][]#_#))_}[#(#_]_[_{[[_
(]#(_}}][[{_)_}](]()([][_{_{__[#{){]{)(}(_{#)#__(##(]_])]]#[[]#[_{(()#)[]({_][](_{{[]{#)({#]][]{{}[__)}{#{{}_{][)}(#[][]{[#{[])#}{()#___[#
}][}(}###_]{}{])]])]}]](__()){)(}}[}{_[([}(_]#}#[{[#]{(_{}]_]}}}#](({#[_}_#{{}][{_}#}}(##)_#))]([_))[]))#[#([(]]{[]{]])_{])_(((}]#[({{_]})
[{#}(}[]](#]}}}}]_#[[]{[(]_#____#((](][}(}_)__)[{(([)]})]{#__{{{}#(})#)[#}))}(__[[{]#__([](()()[_]])((_#(]}##(}(_[{{(##[[[}#)#_[)#{{]]](])
#])(}_([]#(}#(##])]_({#)#[)][(#)}__]{]})_#{#}_(({{)]{([##]}}[([_#[}()__[}_)]_[_])##){({()_}#{}[))(]((_]({_###]}#){[[#{[(]_)#)}{{}()#){]([{
}][)))#])[]{[[_}({}__){##}[_])#](}(}#_}_)[#}{_[[[#{{}]([{#]#){[}##{}_{_})([}_(_)#{})(_((#}#_(_[_}(#{}__)}}]_](){####{}]#[({#)#])]{)##}{}]#
){))]{}([(#}_[#_#(#){[_[_](}(}(#{{#[()()((__])]]#{()]##))]]{(}{_#]]()[}[(##[(_({{(#}[})[])])]()_)__{[{][#{)]#}([_(#{#{#{})[])_](#_}[}[][((
_#[({#}(#_]#_)}###{}#({_[]}[)__}}}{{#}{#])[](}[(]}__{{(#(({_)]_{(#])__[{}]()_[#[}_[#]{}#]]{{()#)_[[[{{]}#(}](##[]]}[_][({_#{[)]}]}(]#]{}_[
_[[[[[_{#(#](}#}_}){[)()#([]{()#)_][_#})(}__))}]_})(]{)[#(#]#_#)[)]{##{{[{)#{(}_}([})((#))}__#)_)_{[#((}_(#{}_{]]_[}##{#))_{(#()#][{][})#_
[[{}))[]_[)#_)}#_[({}(({]{)}{))(}})})((([[{){[{())](}]_]}}(}}[#{_](([({)]{}##{_{)}{(__](]#_}#){__}]_)][__{}#_{_[]([)_#{([]}}}{_)}_[[_)#)(#
}}(]]{[}){(][[)#){][{)#[(_}{}##(]_]#{}][]){()}[{))_{_[#{[_[]({{#(]]#_]]}(([((#_{(#)]][#{__{]{}#{_##}}((#([(}][[(((([(#_)(}))##{]_{])[}{[{)
##_#[#_}([_(]]_{)[([#[][[))_(#_{[}]#])}[(](]]}(##[((_}_#()#{#_}_[#}]#_[)[_{_){)#[#___[[__)}(#]{[)]]()}[}_(}({_(#{}[](#{#){(]{[(}[{(]}(__]{
)#_){{}[{_]][{[#)(]][#{#[}([)]{){})}[##)#)]_[()}{(]#)#}#([}[#[]{]]}{]]{{}#{}]__{)#)_(){)#{#}{#[###({{[)(}[}({])]{}_{[]{}#_][_]}((]{[[_}[#]
}_]{_[((#([#__{([#)(])]{#)_())#}__{_##}]_#{##])}}}[##)[(][_})#}_{()(_)]_#]{[_(){)}][}[[]_{#([#[()[()}))_#[{([[}}){(_{((]#[()__}]_#)_{}#{[}
]_]}[__{{[([]#))]}[[(][{])((}[)}))((]}{[[[)#[]{{#][[}]{(_]}]]((_#(_}#(_{_({])__}]###]){_[}#__[)(_([[}[#}{]{__#({]}}(_{[}{)_#{[{(}_]({#))[#
})#}{{[())}[[}{}(])]]({_][{]{(_{[([#}]_)_)#)]){#_{()(_{)#)({{()(#_}{}])[_(}#_}#((_[_(_#[})]##_(__]]}])((){{#)){{([_)({}{(}}#]}}]()](##{(]_
_]}_(_[]#}{{)__{)(](__{##[({#]_#]_}{][#_[##[}))_})[}#({]_}#)}_()(}#[}{_)[)]#][#{_{_{#[({}({_(}[(({}}]#]_)_#[_{]#}[])]}]{})#(]}([{]_([])]_[
}_{#}([](}(({){][((}(({[{[(){#}}#]_(}#[{{#](}}(#])}{)})#(])({)}}_}{})]{]{}(([}}[})[{]#[)[#{[)][}){])]]}]](]{)][){{]}[{___[_#[)]#}}{#_))#)_
][#})(_{#))__][)[[[))[_}}##()]_))}#_)}#[{)([__)]#][}#)]{}#(#{}[)]_]_[{))[](](#{[[_]{])[#}_{###{]([[)[]#}])__[_)#(){[))}})){])]()(_[]#[}}]#
}}]}___{{]#_#}{}##___}_]__]#[([)_}](}_)]}__[[{){[{]}#(][}]_)#(][(#(]))__{{)_]}#){_{]})](}#(#[)#{}{(}[_{)##(][){}(}(]#[{}_)[[({]_#]]}{])}_#
}[{[(__(_]_({([#{_)}#[{##{_#)[[}]}[()]]({{##)_({](_}_{_##_#{#_})_{[}}[(}{))][_{#{[_##[}(}_#}([[{{((]#])}_(][[#)]_{[})(#()]{_[{_){}#((}[_{}
_[#{}[]][}#[]]]{_(}[)([_[)})()##}(]_[][)}__]_###)[#{_[[_(_}#(_)}#_((]]]))]_()_)#}#][##_)##)(]{(_[#_](_)}#){]{{)([({}[(})))[[))[_{#{)}{(}((
]_)[##))#_][#}_#[)_}[#_][]_)((#(}_(]_)#])[}}_##][(({#}])}()))_#(}}_#){[)}[}])()]{]}}){{})[(])#()}})}_{(}}[#]}_[_])(((_#{[##_(}])#)_{])]((}
{})_]#[(])({{({##[{[)__(__#(#(#{()]{[}#}(})]_#[[))]]_}{__{##[({[[}]})#(__(}{(_]]}(_){)[)#)}}[[}}#]])}#]#}_[}}]{((]])[{#]}){[#}{__]}{(#]_][
##{](]}_}#][}_({}(##]#[{#]))}[]_)##}##}{[#[#_][)[]_){)]}#_[##]___)}_#]})]#]#}_{[})}]__){]}({((])(})[(])_]]_{{}#(][#(({}{])]#}[(_[#}_]}]{{{
[}](_#_{}]))[}][#(}[{##)#(_{])}_]_})}#{()_(_}}}})_#([)([#]##]}({[{({{{[))#_{)_(]]({_]}_#}_])[)][(}{}(____{}(}__]}[#){#[}}[})}_{))]([[{{{}}
(_]}()}]]#{[}[)}_{){]]#_(({_})_}]_#)[)#_])}(__[]](]_[#[_[{{})_{}[]]#[{}}}{{]}[#}#}]]]))[[]((]#(#[{]})(][#_()({[[(]#}_{{[((](])[{{}##}{}}()
){}])[#][)][)([]]){)#[]#{__[{}[[}#])_)][}#[]]][_{#[]())[#)]({){()]_}(]_))#])}([)[})[)(#){()[}(_]#](_{{(]#{_#)}}([})})))}}##:F(})({)#]_(({{
)}{_[[(_([__[#}(([#){{][_)]]]}{#])#{_)#}}{)#_]_#_({{[([#)#[]{[]{[#{[(]](]_{_([[{)[##]#(}(#]}_](#{{][{){][_({]){){]))(]{([](]_)]{(_](({]{}_
[]](([}]#[]}){##(]})((]{[][([_]{}_}{#]_#}()[[#[_(_)))#}]((){]]{[(]{[)#)_{(]([][#_[#)]({#}_]((({#{))][#]{(]#)[{}({#[__})[)_)#]#({({[)#[{}[)

36. Data as Data.

37. scalar data types
type example java equivalent
string "foo" String
character f Character
regex #"fo*" Pattern
integer 42 Int/Long/BigInteger
double 3.14159 Double
big double 3.14159M BigDecimal
boolean true Boolean
nil nil null
ratio 22/7 N/A
symbol foo, + N/A
keyword :foo, ::foo N/A
32

38. composite data types
type properties
singly-linked,
list
insert at front
indexed,
vector
insert at rear
map key/value
set key
33

39. data type literals
type literal
list (1 2 3)
vector [1 2 3]
{:a 100
map
:b 90}
set #{:a :b}
34

40. Client ? Server
35

41. JSON
Client Server
36

42. JSON is...
• Maps (Objects)
• Arrays
• Numbers
• Strings
• true/false
• null
37

43. Client ? Server
38

44. Client Server
39

45. clojure data are...
• Maps • Keywords
• Lists • Symbols
• Vectors • Strings
• Sets • Chars
• true/false • Integers
• nil • Floats
• Metadata • Ratios
40

46. XML

47. ML

48. as Code.
Data

49. Engine
44

50. Specification Engine
45

51. Specification Engine
46

52. I’m really
doing
something
cool
Specification Engine now
47

53. specification of source
(defproject marginalia "0.7.0-SNAPSHOT"
:description "lightweight literate programming for clojure"
:main marginalia.core
:dependencies
[[org.clojure/clojure "1.3.0"]
[org.clojure/tools.namespace "0.1.1"]
[org.clojure/tools.cli "0.2.1"]
[hiccup "0.3.7"]
[org.markdownj/markdownj "0.3.0-1.0.2b4"]]
:dev-dependencies
[[lein-clojars "0.6.0"]
[jline "0.9.94"]]
:marginalia {:javascript ["mathjax/MathJax.js"]})
48

54. awesome.jar
project.clj
49

55. specification of sound
; Roots of the chord changes, 2 beats each
(def gs1-changes
[:B4 :D4 :G4 :Bb4 :Eb4 :Eb4 :A4 :D4
:G4 :Bb4 :Eb4 :F#4 :B4 :B4 :F4 :Bb4
:Eb4 :Eb4 :A4 :D4 :G4 :G4 :C#4 :F#4
:B4 :B4 :F4 :Bb4 :Eb4 :Eb4 :C#4 :F#4])
50

56. giant-steps.clj
51

57. specification of behavior
<project name="clojure" default="all">
<description>
Build with "ant" and then start the
REPL with: "java -cp clojure.jar clojure.main".
</description>
<property name="src" location="src"/>
...
<target name="clean"
description="Remove autogenerated files and
directories.">
<delete dir="${target}"/>
<delete verbose="true">
<fileset dir="${basedir}" includes="*.jar"/>
<fileset dir="${basedir}" includes="*.zip"/>
</delete>
</target>
</project>
52

58. I’m really
doing
something
cool
Specification Engine now
53

59. awesome.jar
build.xml
54

60. ?
build.xml
<xtra-thing/>
55

61. xtra.jar
build.xml
<xtra-thing/>
56

62. xtra.jar
awesome.jar
build.xml
<xtra-thing/>
57

63. build.xml
<xtra-thing/>
!= xtra.jar
58

64. app 59

65. something
else
entirely
(foo)
60

66. (foo)

67. macros
(foo)

68. (foo)

69. Code
as Data.

70. function call
semantics: fn call arg
(println "Hello World")
structure: symbol string
list
63

71. function definition
define a fn fn name
docstring
(defn greet
"Returns a friendly greeting"
[your-name]
(str "Hello, " your-name))
arguments
fn body
64

72. it's all data
symbol symbol
string
(defn greet
"Returns a friendly greeting"
[your-name]
(str "Hello, " your-name))
vector
list
65

73. metadata
prefix with ^ class name or
arbitrary map
(defn ^String greet
"Returns a friendly greeting"
[your-name]
(str "Hello, " your-name))
66

74. code as data benefits
easy to parse
regularity simplifies metaprogramming
data library = metaprogramming library
"language" features are library code
metadata
query-able

75. Code as Code.
Data as Data.

76. Code as
Data as
Code.

77. Data as
Code as
Data.

79. Programs
Writing
Programs
Writing
Programs

80. Minderbinder

81. http://futureboy.us
(Specification)

83. Primacy
of
Semantics
I also regard syntactical problems as essentially irrelevant to programming languages at
their present stage ... the urgent task in programming languages is to explore the field
of semantic possibilities.
— Christopher Strachey - “Fundamental Concepts in Programming Languages”

84. Unit Conversion
(defn meters->feet [m]
(* 1250/381 m))
(defn meters->yards [m]
(/ (meters->feet m) 3))
(defn meters->inches [m]
(* 12 (meters->feet m)))
(meters->feet 10)
;=> ~ 32.81
(meters->yards 10)
;=> ~ 10.9
(meters->inches 10)
;=> ~ 393.7

85. Unit Conversion
feet→meters
inches→meters
yards→meters

86. Unit Conversion
centimeters→shackles
ramsden-chains→fathoms
feet→meters
inches→meters
yards→meters
feet→kilometers
yards→centimeters
old-british-fathom →meters

87. Unit Conversion
centimeters→shackles
ramsden-chains→fathoms
feet→meters
inches→meters
yards→meters
feet→kilometers
yards→centimeters
old-british-fathom →meters

88. Unit Conversion
CM->MI
MM->M centimeters→shackles
F->IN ramsden-chains→fathoms
IN->Y feet→meters
F->M
inches→meters
Y->M
CM->Y yards→meters
F->MM feet→kilometers
M->MM yards→centimeters
CM->M old-british-fathom →meters
F->Y

89. bit-> t e
nibbl
Unit Conversion y
e ab t e
CM->MI
MM->M
eg
me centimeters→shacklesb y
F->IN
gm efeet→meters
ab g a
ramsden-chains→fathoms
>e > minches→meters
IN->Y
yte
F->M
-xa > yards→meters
e t-b -
t e y feet→kilometers
Y->M
y t te
CM->Y
boc
F->MM
yards→centimeters
bit->byte →meters
M->MM
old-british-fathom
CM->M
F->Y

90. Primacy
of
Syntax
one could say that all semantics is being represented as syntax
... semantics has vanished entirely to be replaced with pure syntax.
— John Shutt - “Primacy of Syntax”

91. Length Specification - NIST Special Publication 330, 2008 Edition
- Checking the Net Contents of Packaged Goods - NIST 133
Unit of length
Base unit: meter
The meter is the length of the path travelled
by light in vacuum during a time interval of
1/299,792,458 of a second.
1 inch == 0.0254 meters
1 foot == 12 inches
1 yard == 3 feet

92. Length Specification - NIST Special Publication 330, 2008 Edition
- Checking the Net Contents of Packaged Goods - NIST 133
(unit-of ‘length ::meter
“The meter is the length of the path travelled
by light in vacuum during a time interval of
1/299,792,458 of a second.”
::inch ‘== 0.0254 ::meter
::foot ‘== 12 ::inch
::yard ‘== 3 ::foot )

93. 7x6

94. 42

95. Primacy
of
Data
Acceptable or not, sir, it is the truth.
— Data - ST:TNG “Coming of Age”

96. From the DSL
(defunits-of length ::meter
“The meter is the length of
the path travelled by light in
vacuum during a time interval
of 1/299,792,458 of a second.”
::inch 0.0254
::foot [12 ::inch]
::yard [3 ::foot])

97. To a map
{::meter 1,
::inch 0.0254,
::foot 0.3048,
::yard 0.9144}

98. To another macro
(defmacro unit-of-length
[quantity unit]
`~(*
(case unit
::meter 1
::inch 0.0254
::foot 0.3048
::yard 0.9144)))

99. To a use
(unit-of-length 1 ::yard)

100. 0.9144

101. Questions?
• Thanks to
• Rich Hickey &
Clojure/core
• Gray Herter
• Clojure/dev
• Relevance
• Manning Publishing
• Wife and kids
• You
http://joyofclojure.com
@fogus