@hugoestr it was one of the first languages to implement #CSP (C.A.R. hoares process calculus formalism) specifically to work on the #inmos transputer (a multi processor computer from the 80s as they saw the writing on the wall wrt moores law coming to an end.. they were just 30ish years early). The reason I am obsessed with it is the same reason I love #lisp#forth#ml#prolog and #smalltalk - there is something endlessly fascinating about the roots of computing. Especially when it is so applicable to modernity (eg we are all programming with concurrency now).
> Banana-RDF contains a more general library to work with RDF from Scala. It allows different underlying implementations like Jena and Sesame. A long term project will be to unify our work with that library.
thanks @josd for the link to the examples.
Is there a place which shows what encoding you use for these graphs within graphs within graphs? Or are the triples just 3 place predicates and you use some #Prolog mechanism to encode the context? Or are the triples encoded as quads, and that is all that one needs?
Or is it that the structure should be modelled recursively like lists are, but with graphs within graphs as the recursive structure? @rubenverborgh@hochstenbach
In a different shard of the multiverse SaaS means #Smalltalk as a Service. And it’s awesome. Instant deployment of code to all client images. Replaces what we call the database, the internet and the browser. Obviously has a flavor of #lisp layered on top and #prolog upon that. I want to live in that shard. Also in this dimension smalltalk is predicated upon a typed pi-calculus not classes and inheritance. Ok that’s my fever dream.
My 18yo nephew asked me what my favorite #ProgrammingLanguage is and I don’t actually know the answer.
I use#C and #Go for applications. I write #Python for data munging and scripts and small apps. I’ve written many thousands of lines of each. I sponsor #Zig.
This video on term rewriting systems in #prolog is worth watching to admire the vlogger's #emacs configuration alone, that the content is good is the cherry on top!
@mousebot but here, I'll give it a shot based on vibes
Plato: #Agda (the Idea of the Good, proto-Maoist non-conformists)
Aristotle: #C (arch reactionary)
Duns Scotus: #ASM (simple brittle concepts but with plenty of haecceity)
Spinoza: #CommonLisp (OG that everyone thinks is fresh bcs its dynamic)
Descartes: #MLIR (ghost in the machine)
Kant: #CPP (critique of Pure C)
Hegel: #Genera (the absolute Idea as self-reflective system)
Nietzsche: #Scratch (the primacy of appearances)
Marx/Lenin: #ML (self-explanatory)
Freud: #GDB (not phil, but rather the original debugger for all the problems of phil)
Heidegger: #forth (the anti-technology technologist's lang of choice)
Wittgenstein: #Prolog (all there is are the facts)
Stalin: #Haskell (forces you to do things "correctly" even when its neither the best option for the situation nor the most performant; the extreme ML)
Lacan: #rr (meta-debugging, non-linear retroactive causality of the signifier, on top of gdb)
Deleuze: #MaxMSP (thinks programming should be art, thinks art is about infinite flows, elaboration of Nietzsche)
Federici: #SpritelyGoblins (super witchey)
Derrida: #AWK (theres nothing outside the text)
Malabou: #Python (everything is neurobiological including language itself)
Badiou: #Scheme (the generic is the Idea of the Good)
Butler: #Rust (the new generation of Kantians doing things right, performatively)
I have acquired one of those super rugged cop laptops. This thing is HEV-EEE, or as the kids say, “oh lawd he comin.” First order of business: defenestration.
Easier to learn if you already know #Icon or #Unicon. Also if you know #Prolog or #Mercury, which are other languages that have goal-directed evaluation (which which are declarative, whereas the Icon family are procedural).
(Please fork rather than expect support, though. I am an elderly disabled person.)
I wish that there were more appreciation for #prolog (and #datalog) in our industry.
Like I'm really pleased to see languages like #rego and developments along those lines, but I get so frustrated by the continued reinventing C or BASIC syntaxes for what are fundamentally declarative problems.