Datomisca

Datomisca: an open source Scala library for Datomic from Pellucid & Zenexity

Video and transcript available at: http://blog.pellucid.com/post/55015211949/scaladays-talk-on-datomisca

http://pellucidanalytics.github.io/datomisca/

Transcript

1. DATOMISCA AN OPEN SOURCE SCALA LIBRARY FOR DATOMIC FROM PELLUCID & ZENEXITY
2. “A Datomic database stores a collection of facts. The facts in a database are immutable; once stored, they do not change. However, old facts can be superseded by new facts over time. The state of the database is a value defined by the set of facts in effect at a given moment in time.” THE ESSENCE OF DATOMIC — datomic.com
3. Compelling Vision Runs atop Cloud Services Champions Immutability Powerful Query Language WHY DATOMIC APPEALS TO US
4. import'datomisca._'
5. DATOMIC SCHEMAS
6. ' val'nameAttr''''='Attribute(' ''''''''''''''''''''KW(“:person/name”),' ''''''''''''''''''''SchemaType.string,' ''''''''''''''''''''Cardinality.one)' ' val'followsAttr'='Attribute(' ''''''''''''''''''''KW(“:person/follows”),' ''''''''''''''''''''SchemaType.ref,' ''''''''''''''''''''Cardinality.many)'
7. Datomic.transact(nameAttr,'followsAttr)'
8. val'aliceId'='DId()' val'bobId'''='DId()' val'eveId'''='DId()' ' Datomic.transact(' 'Fact.add(aliceId)(KW(“:person/name”)'J>'“Alice”),' 'Fact.add(aliceId)(KW(“:person/name”)'J>'10),'//'runtime'error' ' 'SchemaFact.add(bobId)(nameAttr'J>'“Bob”),' 'SchemaFact.add(eveId)(nameAttr'J>'“Eve”),' 'SchemaFact.add(eveId)(nameAttr'J>'10),'//'compile'time'error' ' 'SchemaFact.add(aliceId)(followsAttr'J>'Set(bobId,'eveId))' )'
9. val'personEntity'='database.entity(personId)' ' val'name:'String'='personEntity(KW(“:person/name”)).as[String]' ' val'name:'String'='personEntity(nameAttr)'
10. trait'Attribute[D'<:'DatomicData,'C'<:'Cardinality]'
11. Attribute[D,'C] ''T' IMPLICITS AS FUNCTIONS AND RELATIONS: THE TYPE CLASS PATTERN write read
12. QUERY MACROS
13. [:find'?p' :in'$'?name' :where' '[?x':person/name''''?name]' '[?p':person/follows'?x]]'
14. def'query:'Parser[PureQuery]'=' ''brackets(find'~'opt(withs)'~'opt(in)'~'where)'^^'{'' ''''case'find'~'withs'~'in'~'where'=>'''''' ''''''PureQuery(find,'withs,'in,'where)'' ''} VALUES…
15. Query.auto("""' [:find'?p'?followerName''?age' '':in'$'?name'?ageBound' '':where' ''''[?x':person/name''''?name]' ''''[?p':person/follows'?x]' ''''[?p':person/name''''?followerName]' ''''[?p':person/age'''''?age]' ''''[(<'?age'?ageBound)]' ]""")' ' ' '' …INTO TYPES query:'TypedQueryAuto3[' ''DatomicData,'' ''DatomicData,'' ''DatomicData,'' ''(DatomicData,'' '''DatomicData,'' '''DatomicData)' ]
16. [:find ?p :in $ ?name :where [?x %{nameAttr} ?name] [?p %{followsAttr} ?x]] A FEATURE WE WOULD LIKE
17. http://github.com/pellucidanalytics/datomisca' Dustin @dustinwhitney Fork us! Cooper @agentcoops Dan @dwhjames