- 62
- 13 433
Declarative Amsterdam
Netherlands
Registrace 8. 10. 2020
Declarative programming expresses the purpose of computation without describing its control flow. It allows you to focus on ‘what’, rather than ‘how’.
This channel contains presentations from Declarative Amsterdam, a conference dedicated to declarative techniques.
It is a yearly hybrid conference, with the opportunity to attend live or online, for both attendees and presenters.
Declarative Amsterdam features tutorials, with hands-on sessions about specific topics, as well as a symposium, with shorter presentations. Speakers can discuss new ideas, frameworks, applications of declarative methods, and best practices.
Declarative Amsterdam has presentations in fields such as functional programming, declarative data modeling, databases, XML and related technologies, JSON, CSS, semantic web, data science, data visualization, grammars, parsing, and domain-specific languages.
To visit this year's conference, or submit a proposal for presentation, have a look at declarative.amsterdam/
This channel contains presentations from Declarative Amsterdam, a conference dedicated to declarative techniques.
It is a yearly hybrid conference, with the opportunity to attend live or online, for both attendees and presenters.
Declarative Amsterdam features tutorials, with hands-on sessions about specific topics, as well as a symposium, with shorter presentations. Speakers can discuss new ideas, frameworks, applications of declarative methods, and best practices.
Declarative Amsterdam has presentations in fields such as functional programming, declarative data modeling, databases, XML and related technologies, JSON, CSS, semantic web, data science, data visualization, grammars, parsing, and domain-specific languages.
To visit this year's conference, or submit a proposal for presentation, have a look at declarative.amsterdam/
Intermezzo: A diagram interpreter in XForms - Steven Pemberton
A couple of dozen diagrams had to be created for a book on mathematics. The solution used was to design a domain-specific mini-language for the diagrams, and then write an XForms app to interpret them and display them using SVG.
zhlédnutí: 42
Video
The tyranny of formatting - Maryann Martone
zhlédnutí 77Před 5 měsíci
The early conferences put on by FORCE11, the Future of Research Communications and e-Scholarship, were exciting events. FORCE11 was founded because kindred spirits around the world felt that our current system for scholarly publishing seemed to be stuck in a model that had come into existence 350 years ago. The early conferences were originally named “Beyond the PDF” exactly for that reason. Wh...
Two useful XSLT runtime declarative techniques for XSL FO - Ken Holman
zhlédnutí 80Před 5 měsíci
XSLT is designed on the use of compile-time declarative techniques. These oblige the stylesheet writer to declare a-priori what the XSLT processor assembles into a state machine. This machine reflexively acts on data according to an expected vocabulary that is pushed at the stylesheet. Designed with features such as declared attribute sets and named templates that are helpful when producing XSL...
A Declarative Code Browser with ixml and XForms - Steven Pemberton
zhlédnutí 80Před 5 měsíci
ixml is a declarative language for transforming data representations, which became a stable specification in 2022. The original pilot implementation of ixml, ixampl, was written in the very-high-level programming language, ABC, the forerunner of Python. The implementation is split into two parts: a bootstrap parser, that reads ixml grammars and transforms them into the structure needed for part...
Talking about my generation (L Systems in XQuery) - Juri Leino and Mary Holstege
zhlédnutí 40Před 5 měsíci
L-systems, or Lindenmayer-Systems, are a way to describe natural growth patterns as well as a fun mathematical applications. After introducing different types of grammars (deterministic, stochastic, parametric) and how they work we will show implementation strategies, various experiments and different applications such as to create visualizations with a process resembling Turtle Graphics.
An executable conceptual model for biodiversity in planning law - Chris Wallace
zhlédnutí 25Před 5 měsíci
In the upcoming Environment Act due in parliament later this year, a methodology for assessing the biodiversity of a site and its improvement will be enshrined in UK planning law. The detailed calculations are embedded in an Excel spreadsheet of some complexity. Although spreadsheets (excluding macros) are arguably declarative, they presents some problems for the ease of comprehension of the ca...
Advanced XForms Hands-on: Techniques and Examples - Steven Pemberton
zhlédnutí 98Před 6 měsíci
XForms is a Turing-complete declarative programming language for apps both on and off the web. Following on from the successful “Declarative Applications with XForms” tutorial at an Declarative Amsterdam 2020, this tutorial covers advanced techniques and methods. It is advisable to have followed the earlier tutorial (updated version) before coming to this one. Techniques covered include: * Coll...
XForms, Current developments - Steven Pemberton
zhlédnutí 70Před 6 měsíci
A brief overview of current developments in XForms.
Compiler Meets Markup: Live Coding Session in Declarative Swift - Manuel Meyer
zhlédnutí 113Před 6 měsíci
In this live coding session we will see, how Swift's versatile type system can be used to create compilable code, resembling declarative markup. We will create sophisticated data structures together, that encodes a book model, and see how we can render them in the user interface.
Asynchrony with Promises in SaxonJS - Debbie Lockett
zhlédnutí 78Před 6 měsíci
One of the main developments for the next major release of SaxonJS is a redesign of the mechanisms for asynchronous processing from XSLT. The new conceptual design, and implementation, is closely aligned with JavaScript promises, making it more accessible to users familiar with the JavaScript processing model. A new extension instruction ixsl:promise can be used in the place of the existing ins...
Declarative Diagrams with Mermaid - Nico Verwer
zhlédnutí 163Před 7 měsíci
Diagrams are an important part of the specification and documentation of software or other technological and societal artefacts. Many types of diagrams have been used, from flowcharts in the 1920’s, to Nassi-Shneiderman diagrams, UML, Entity Relation Diagrams, and C4 ion the 2010’s. There are a plethora of diagramming tools available, most of which provide a boxes-and-lines graphical user inter...
50 years of Prolog: Becoming More Declarative - David S. Warren
zhlédnutí 3KPřed 7 měsíci
Prolog was invented by A. Colmerauer for processing natural languages, and formalized by R. Kowalksi as SLD resolution on Definite Horn Clauses in 1972. It was touted as the “original” declarative language: Just “declare” your knowledge as Horn clauses in FOL to describe relations, and Prolog inference will automatically answer queries to those relations. But, it’s not always (often?) so easy. ...
XSD Visualizer Plugin Simplify XML Schema Understanding - Sven Reinck
zhlédnutí 283Před 7 měsíci
I will demonstrate how the XSD Visualizer Plugin supports the way XML Schema is understood and utilized. By providing an intuitive interface and interactive features, even newcomers to XSD can grasp its complexities with ease. The presentation will cover key concepts of XML Schema, demonstrate the plugin’s functionalities, and showcase real-world examples to highlight its practical applications...
QT4 status update - Norm Tovey Walsh
zhlédnutí 43Před 7 měsíci
The XSLT Extensions Community Group, known informally as “QT4CG”, has been working on new editions of XPath, XQuery, XSLT, and related specifications for just over a year. This presentation will provide a brief survey of how much progress we’ve made, how much more we might imagine remains to be done, and some of the exciting new functionality that will be available in “4.0”. Keywords: XSLT, XPa...
A possible EXPath Pkg Version 2 - Adam Retter
zhlédnutí 49Před 7 měsíci
In 2012 a Packaging System specification was developed by the EXPath project for use with applications written in XML - EXPath Pkg. There is very little about Pkg that is XML specific, for the most part it just defines a container and some metadata. Implementations of this specification emerged for eXist-db, Saxon, and Marklogic. For the most part it appears that the standard never really caugh...
Lexicography versus XML - Michal Měchura
zhlédnutí 110Před 7 měsíci
Lexicography versus XML - Michal Měchura
Declarative Amsterdam 2022 bonus video: Pieter's commute, 8 November
zhlédnutí 23Před rokem
Declarative Amsterdam 2022 bonus video: Pieter's commute, 8 November
Declarative Amsterdam 2022 bonus video: Pieter's commute, 7 November
zhlédnutí 19Před rokem
Declarative Amsterdam 2022 bonus video: Pieter's commute, 7 November
Achim Berndzen and Geert Bormans | Exploring the declarative nature of XProc 3 0
zhlédnutí 131Před rokem
Achim Berndzen and Geert Bormans | Exploring the declarative nature of XProc 3 0
Steven Pemberton (CWI) | Advanced ixml Hands-on
zhlédnutí 55Před rokem
Steven Pemberton (CWI) | Advanced ixml Hands-on
Ken Holman | Case study of a semantic library underpinning the 4-corner model for document exchange
zhlédnutí 176Před rokem
Ken Holman | Case study of a semantic library underpinning the 4-corner model for document exchange
Juri Leino and Joern Turner (Jinntec) | Introduction to Fore
zhlédnutí 165Před rokem
Juri Leino and Joern Turner (Jinntec) | Introduction to Fore
Erik Siegel (Xatapult) | Schematron tutorial - Part 2
zhlédnutí 304Před rokem
Erik Siegel (Xatapult) | Schematron tutorial - Part 2
Erik Siegel (Xatapult) | Schematron tutorial - Part 1
zhlédnutí 1,5KPřed rokem
Erik Siegel (Xatapult) | Schematron tutorial - Part 1
Ghislain Fourny (ETH Zurich) | Getting started with RumbleDB
zhlédnutí 149Před rokem
Ghislain Fourny (ETH Zurich) | Getting started with RumbleDB
Diederik Gerth van Wijk | Element classification: a bottom up perspective
zhlédnutí 31Před rokem
Diederik Gerth van Wijk | Element classification: a bottom up perspective
Steven Pemberton | On the representation of abstractions
zhlédnutí 71Před rokem
Steven Pemberton | On the representation of abstractions
Joep Meindertsma | Atomic Data a modular specification for making the semantic web more practical
zhlédnutí 238Před rokem
Joep Meindertsma | Atomic Data a modular specification for making the semantic web more practical
Günter Burgstaller | Declarative thinking in SQL, its teaching and its unused potential
zhlédnutí 149Před rokem
Günter Burgstaller | Declarative thinking in SQL, its teaching and its unused potential
Manuel Meyer | Declarative axiomatic and provable correct systems in Swift
zhlédnutí 44Před rokem
Manuel Meyer | Declarative axiomatic and provable correct systems in Swift
Relating to the last question/comment in the video, i would argue we are not actually creating code from a diagram. Mermaid defines a kind of a DSL for diagrams, so we are transforming code from one language to another, just like any other DSL. Having said that, the final code probably needs a lot more detail on the 'how', which Mermaid cannot express. I also believe the most important and useful use case is to generate diagrams from code, which helps to understand the system.
Nice talk! I agree that the robustness principle caused much damage to the web ecosystem. Same for unique XML attributes. Minor correction at 31:55 : REST is not a protocol.
This is an excellent and undervalued talk. Thank you Maggie for your consistently inspired and inspiring work.
based
I see. So much nothing has happened in 50 years. When Turbo Prolog came out in 1983, first question was why are not all numbers and their relations already builtin. You can make list of integers, and operate within that domain, but infinity would solve all the world's problems. One day soon a quantum computer will go to infinity and come back with an answer in finite time.
You might want to check out Constraint logic programming over the integers (CLPZ) or over finite domains (CLPFD). They sovle many of the issues you mention.
By "pre-digital" do you mean before people had fingers? "Digital" itself is named after the original digits, the fingers, which would in this language also be classified as "pre-digital". Maybe you mean pre-electronic.
Du hast frei gesprochen, die Folien waren gut formatiert. Die Beispiele waren verständlich. Es wurden keine Null-Values verwendet (nice, gg). Du hast mit den Zuhörern interagiert. Die Auflösung war ebenfalls große Klasse. Insgesamt hat mir das Referat sehr gut gefallen. 1+ mit Sternchen.
Giving them a taste of their medicine, ey? :-)
Well done Gunter!!
Are familiar with the work of Christopher Alexander who created A Pattern Language a book on participatory design? Might be interesting
That book inspired the Portland (Software) Pattern Repository, which was created on the first wiki.
Slides are here: declarative.amsterdam/resources/da/slides/da.2021.leino.roaster.slides.pdf
@27:10 'what next' you ask Michael? I'm guessing you've stepped back and thought some on this? I'd appreciate your thoughts in this area.
Cool :-) Great work. This might nicely go together with restxq.
Is the tutorial freely available? I’m not a student but an interested amateur. Thanks
I tried but it sounds like it is impossible for Steven to construct a sentence without uh uh ah uh and repeating words or half of the sentence. And the extra sounds of clicking mousebuttons or keyboard are very distracting. And even an echo. I'm sorry but this is impossible for me.
@@vincentfernandez7328 Great idea! Let me take a course first...oh wait, I tried here..idiot,.
Re the login section, have you seen SQRL? en.wikipedia.org/wiki/SQRL