4 ms·

Would love to hear the InstantDB folk input on this, as they talk about Datalog and (something else) in their design fro their query language, and stuff about G

Would love to hear the InstantDB folk input on this, as they talk about Datalog and (something else) in their design fro their query language, and stuff about GraphQL... https://news.ycombinator.com/item?id=41322281 https://news.ycombinator.com/item?id=41322281 >Under the hood we save data to postgres as triples and wrote a datalog engine for fetching data [3]. We don’t expect you to write datalog queries so we wrote a graphql-like query language that doesn’t require any build step.

stopachka 2y ago
[Instant Team] We are big fans of Datalog, and Clojure's syntax for Datalog specifically. Datalog has a simple syntax, and implementing a basic triple store is relatively straight forward. This let us build out a) a client-side store, b) an invalidation engine, and c) a multi-tenant triple store, with a team of 5. Clojure's syntax for datalog is especially amenable too, because the language is expressed as a datastructure. We often 'build' up queries, and having the language expressed as a data structure helps us do that. We talk about the design journey here: https://www.instantdb.com/essays/next_firebase#exploring-sql https://www.instantdb.com/essays/next_firebase#exploring-sql If you're interesting in implementing one yourself, I particularly like this chapter in SICP: https://sarabander.github.io/sicp/html/4_002e4.xhtml#g_t4_002e4 https://sarabander.github.io/sicp/html/4_002e4.xhtml#g_t4_00...
- samstave 2y ago
  Im interested in building a [many things] with Instant. The climbing idea for example from the other thread... But I need to formulate my use case more clearly. I am super interested in the "iterating" you did with AJ at Subset.so -- as thats a neato thing. My climbing idea was predicated on an idea of forking an AppID (like from your demos) whereby if I can have a class of an app that is forkable -- then others can have the same copy of my app, but they could be linked... Actually imma reach out to you guys because I (in typing this) just formulated what I want to build with this :-) Ill need some iterating hand-holding like subset has. :-) HN is so amazing. {EDIT - I just saw that the original post on datalog is from 2010! oops. I thought it was someone writing up their own thing on it...}
  - stopachka 2y ago
    We would love to support you. All of us are online on the discord [1], and you can always reach out to us over email: hello@instantdb.com [1] https://discord.com/invite/VU53p7uQcE https://discord.com/invite/VU53p7uQcE

stopachka 2y ago

[Instant Team] We are big fans of Datalog, and Clojure's syntax for Datalog specifically. Datalog has a simple syntax, and implementing a basic triple store is relatively straight forward. This let us build out a) a client-side store, b) an invalidation engine, and c) a multi-tenant triple store, with a team of 5. Clojure's syntax for datalog is especially amenable too, because the language is expressed as a datastructure. We often 'build' up queries, and having the language expressed as a data structure helps us do that. We talk about the design journey here: https://www.instantdb.com/essays/next_firebase#exploring-sql https://www.instantdb.com/essays/next_firebase#exploring-sql If you're interesting in implementing one yourself, I particularly like this chapter in SICP: https://sarabander.github.io/sicp/html/4_002e4.xhtml#g_t4_002e4 https://sarabander.github.io/sicp/html/4_002e4.xhtml#g_t4_00...

samstave 2y ago
Im interested in building a [many things] with Instant. The climbing idea for example from the other thread... But I need to formulate my use case more clearly. I am super interested in the "iterating" you did with AJ at Subset.so -- as thats a neato thing. My climbing idea was predicated on an idea of forking an AppID (like from your demos) whereby if I can have a class of an app that is forkable -- then others can have the same copy of my app, but they could be linked... Actually imma reach out to you guys because I (in typing this) just formulated what I want to build with this :-) Ill need some iterating hand-holding like subset has. :-) HN is so amazing. {EDIT - I just saw that the original post on datalog is from 2010! oops. I thought it was someone writing up their own thing on it...}
- stopachka 2y ago
  We would love to support you. All of us are online on the discord [1], and you can always reach out to us over email: hello@instantdb.com [1] https://discord.com/invite/VU53p7uQcE https://discord.com/invite/VU53p7uQcE