Declarative programming for Digital Preservationists @ NTTW8

by @beet_keeper

Just released on the No Time to Wait (NTTW) YouTube channel is my presentation from NTTW8 in Karlsruhe, Germany. (Slides also available here).

The presentation follows up on my proposal for iPRES 2024 and allowed me to present parts of what was, in the end, a pretty significant paper (in terms of word count).

Some of my reflections on the presentation are below.

#Code #Coding #Conferences #declarative #declarativeLanguages #declarativeProgramming #jsonid #KVAL #kvalAccessLanguage #NoTimeToWait #NTTW #NTTW8 #NTTW9 #Programming #programmingParadigms #software #SoftwareDevelopment #talks

The simplicity of #Prolog

https://bitsandtheorems.com/the-simplicity-of-prolog/

"Imperative languages focus on how a problem is solved, using sequences of instructions to manipulate state.

In contrast, declarative languages focus on describing what the problem or desired outcome is."

vs. #Kotlin

#logicProgramming #DeclarativeProgramming
#programming

How to write declarative TypeScript Code?

Key Points:
➡️ Declarative programming focuses on defining the desired outcome rather than the specific steps to achieve it.
➡️ It simplifies code by abstracting control flow and state management.
➡️ Example of imperative: Manually iterating over an array to filter even numbers.
➡️ Example of declarative: Using the filter function to achieve the same result.

#TypeScript #Programming #DeclarativeProgramming

https://typescript.tv/hands-on/how-to-write-declarative-typescript-code/

Survey of Theme One Program • 6
• https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/

This is a Survey of resources for the Theme One Program I worked on all through the 1980s. The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning. I had earlier developed separate programs for basic components of those tasks, namely, two‑level formal language learning and propositional constraint satisfaction, the latter using an extension of C.S. Peirce's logical graphs as a syntax for propositional logic. Thus arose the question of how well it might be possible to get “empiricist” and “rationalist” modes of operation to cooperate. The long-term vision is the design and implementation of an Automated Research Tool able to double as a platform for Inquiry Driven Education.

Please follow the above link for the full set of resources.
A collection of articles on the core ideas is linked below.

Wiki Hub —

Theme One Program • Overview
• https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview

Documentation —

Theme One Program • Pascal Source Code
• https://www.academia.edu/5210987/Theme_One_Program_Pascal_Source_Code

Theme One Program • User Guide
• https://www.academia.edu/5211369/Theme_One_Program_User_Guide

Theme One Program • Exposition
• https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Exposition

Applications —

Applications of a Propositional Calculator • Constraint Satisfaction Problems
• https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems

Exploratory Qualitative Analysis of Sequential Observation Data
• https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data

References —

An Architecture for Inquiry • Building Computer Platforms for Discovery
• https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery

Exploring Research Data Interactively • Theme One : A Program of Inquiry
• https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry

#Peirce #Logic #LogicalGraphs #ThemeOneProgram
#BooleanSatisfiability #DeclarativeProgramming

Interesting ... 👍

TwinSpark: Declarative enhancement for HTML
https://twinspark.js.org/
GitHub: https://github.com/piranha/twinspark-js
Discussion: https://news.ycombinator.com/item?id=36613144

@asolovyov
https://github.com/piranha

#DeclarativeProgramming #HTML #TwinSpark

Answer Set Programming. ~ Vladimir Lifschitz. https://www.cs.utexas.edu/~vl/teaching/378/ASP.pdf #DeclarativeProgramming #ASP

@evan oh no! I only just realised that when you say "Noun" you mean that types are sort of like nouns and terms of the types are sort of like names, whereas functions over types are sort of like verbs and interfaces are sort of like "verbers"!

I thought that we're taking about language processing related domain!

If we aren't, then I'm heavily in "it depends" camp. There is #ExpressionProblem, so while picking tools to encode your problem domain, you have to pick the closeness of extending "nouns" with more "verbs" or allowing a "verb" to work on more "nouns" based on the problem domain. There's no right answer and no reasonable way to prefer one over the other.

But from the standpoint of ease of understanding, facilitated the most by #DeclarativeProgramming, I would pick option 1 because it doesn't rely on traits, is explicit and separates "algorithms" (verb) and "data structures" (Noun) so that people can understand them independently.

Survey of Theme One Program
• https://inquiryintoinquiry.com/2023/03/30/survey-of-theme-one-program-5/

This is a Survey of resources for the Theme One Program I worked on all through the 1980s. The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning. I had earlier developed separate programs for basic components of those tasks, namely, 2-level formal language learning and propositional constraint satisfaction, the latter using an extension of C.S. Peirce's logical graphs as a syntax for propositional logic. Thus arose the question of how well it might be possible to get “empiricist” and “rationalist” modes of operation to cooperate. The long-term vision is the design and implementation of an Automated Research Tool able to double as a platform for Inquiry Driven Education.

Please follow the above link for the full set of resources. An initial sample is linked below.

Wiki Hub —

Theme One Program • Overview
• https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Overview

Documentation —

Theme One Program • Pascal Source Code
• https://www.academia.edu/5210987/Theme_One_Program_Pascal_Source_Code

Theme One Program • User Guide
• https://www.academia.edu/5211369/Theme_One_Program_User_Guide

Theme One Program • Exposition
• https://oeis.org/wiki/Theme_One_Program_%E2%80%A2_Exposition

Applications —

Applications of a Propositional Calculator • Constraint Satisfaction Problems
• https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems

Exploratory Qualitative Analysis of Sequential Observation Data
• https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data

References —

An Architecture for Inquiry • Building Computer Platforms for Discovery
• https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery

Exploring Research Data Interactively • Theme One : A Program of Inquiry
• https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry

#Peirce #Logic #LogicalGraphs #ThemeOneProgram #IdeaProcessor
#BooleanSatisfiability #CactusLanguage #DeclarativeProgramming

Preliminary #CallForPapers #PPDP2023 (Principles and Practice of Declarative Programming) "brings together researchers from the declarative programming communities, including those ... in the logic, constraint and functional programming paradigms, but also ... other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web" https://ppdp2023.webs.upv.es/ #DeclarativeProgramming

Restarting an old #haskell project: neting - network manager

#coding #learning #haskell #FP #TUI #networking #opensource #declarativeprogramming

First mastodon post! I'm giving a talk at #elixirconf about my server-side V-DOM library https://gitlab.com/dgmcguire/texas

Come check it out or watch the video posted later! As a teaser, here's a todomvc I wrote with texas that syncs all clients (open in mobile and desktop) and doesn't require developers to write a single line of javascript! https://warm-citadel-23442.herokuapp.com

#elixir #serverside #declarativeprogramming #nojs