- 78
- 16 176
Declarative Amsterdam
Netherlands
Приєднався 8 жов 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/
G. Ken Holman - Play Ball! ... with SVG and XSLT
This is a case study of how I apply XSLT to SVG XML input in the creation and production of a playable dice and pegs game I am using to teach the basic rules of Major League Baseball to my grandchildren. The techniques developed can be applied wherever SVG layers need to be shared and re-used. The stylesheets and complete board game results are freely available on the Crane Softwrights GitHub account for anyone to use and to play. Questions regarding the rules of baseball are welcomed, but such answers are limited to the knowledge of just one enthusiastic fair-weather fan.
Ken is an armchair baseball enthusiast and with his wife a co-founder of Crane Softwrights Ltd. who has provided consulting and training services in markup technologies since 1997. In his retirement he continues to travel the world speaking at conferences and volunteering in international standards committees, in transnational health services, and in NGO humanitarian efforts in Africa. Ask him about baseball, XML/XSLT, or OASIS UBL and he will talk your ear off.
Ken is an armchair baseball enthusiast and with his wife a co-founder of Crane Softwrights Ltd. who has provided consulting and training services in markup technologies since 1997. In his retirement he continues to travel the world speaking at conferences and volunteering in international standards committees, in transnational health services, and in NGO humanitarian efforts in Africa. Ask him about baseball, XML/XSLT, or OASIS UBL and he will talk your ear off.
Переглядів: 73
Відео
Erik Siegel - DSL engines running on XProc
Переглядів 66Місяць тому
Domain Specific Languages (DSLs) are a flavor of declarative programming. Over the last few years I’ve designed several DSLs and implemented the engines for them using XProc. IMHO, XProc is particularly suited for implementing this. This presentation will be a practical guide on how to design such a DSL/XProc combo. Do’s and don’ts, tips and tricks. Several code examples are presented and expla...
David Loughlin and Ghislain Fourny - JSONiq Updates for RumbleDB
Переглядів 43Місяць тому
JSON is ubiquitous in Big Data systems, enabling heterogeneous data to be efficiently expressed in a human readable format. Analysing JSON data means using either extensions to SQL or languages with native-JSON support, like JSONiq. The former relies on extensions to the relational model and so cannot adequately express JSON’s heterogeneity. While the latter intelligently expresses analyses of ...
Rafaela Ellensburg - Content as Linked Data A semantic approach for unified digital experiences
Переглядів 82Місяць тому
With the increasing pace of digital transformation, content management faces complex challenges in delivering relevant, personalized experiences across multiple channels. Content-as-a-Service (CaaS) has effectively addressed some of these challenges, such as the separation of content and presentation. However, it now reaches its limits in addressing the growing complexity of data integration an...
Peter Boot = Limitations of and potential extensions to the TEI Processing Model
Переглядів 42Місяць тому
The TEI Processing Model (PM) is a TEI (Text Encoding Initiative) facility that can be used to give a declarative description of the expected behaviour associated with TEI XML elements. The paper will introduce the model and its implementation in TEI Publisher. It will go on to discuss a number of real-life edition requirements that the current model cannot handle. It will propose extensions to...
Nico Verwer and Pieter Lamers - Syntax highlighting for code blocks using ixml
Переглядів 58Місяць тому
For a long time, John Benjamins Publishing Company has published books and journals using a production pipeline based on XML and the XML tool chain. Manuscripts are converted into JATS or BITS XML, which is then converted into ePub, PDF or paper. Earlier this year, we were processing a book that contained code fragments in the R programming language. The manuscript, in Microsoft Word, contained...
Lambert Meertens - Declarative Music: Using affix grammars to compose music
Переглядів 56Місяць тому
IFIP, the International Federation for Information Processing, held a computer-composed music competition in connection with IFIP Congress 68. I submitted a string quartet that received a special mention from the jury. The program that generated the score for the string quartet was based on an affix grammar, a two-level grammar formalism that I had invented earlier to generate natural-language ...
Jorge Sanchez Rodriguez - Closing the gap. Visualizing Strategy results with StratML Part 3
Переглядів 48Місяць тому
The talk purpose is to share the value and capabilities of StratML in order to articulate high level initiatives that involve large number of people, time or resources. We will also take a shot at fixing two of its weak points, available tooling and corrections needed to enable the automatic evaluation of the results. The talk will be structured around: - A hands on presentation of the StratML ...
David Marian Buzatu and Ghislain Fourny - Adding Scripting with side effects to RumbleDB
Переглядів 67Місяць тому
Our work brings to RumbleDB the ability to perform side-effecting expressions and function invocations using scripting, additionally extending the capabilities with local variable declarations, while loops and assign expressions. Built for large, unstructured and heterogeneous JSON datasets, RumbleDB is a query execution engine running on the JSONiq query language, and is highly integrated with...
Adam Retter, Younes Bahloul - Simplify Your Technical Documentation Workflow with Petal
Переглядів 95Місяць тому
Simplify Your Technical Documentation Workflow with Petal Younes Bahloul , Alexandra von Criegern and Adam Retter (Evolved Binary) It is often said that anyone can contribute to an Open Source project. One way for users (who may not be software developers) to get started is to help improve the project’s documentation. However, due to its very nature, technical documentation is often marked up i...
Erik Groeneveld - In source testing for Answer Set Programming
Переглядів 124Місяць тому
This is a re-upload with improved sound. Introduction into in-source testing and how it is done in ASP Potassco/Clingo. Discussion of a few examples and a challenge for working in groups. The aim is to raise awareness and gather feedback. Hands-on. github.com/ejgroene/declarative2024 declarative.amsterdam/resources/da/slides/da.2024.groeneveld.in-source-testing.pdf Erik Groeneveld is known as a...
Sasha Firsov - Declarative Custom Element for web application developers
Переглядів 67Місяць тому
The custom-element presents the MVP for application development without JavaScript based on HTML and XSLT markup. No compilers necessary, with native in-browser transformation performance. The presentation will guide over multiple aspects of related SDLC and how to build a fully functional app with HTML markup. unpkg.com/@epa-wg/custom-element-dist@0.0.29/src/material/components.html , unpkg.co...
Steven Pemberton - XForms Hands-on: A Generic Application
Переглядів 41Місяць тому
XForms is a Turing-complete XML-based declarative programming language for apps both on and off the web. This tutorial develops step-by-step a generic XForms application for managing data-sets. The tutorial takes the form of repeated short presentations followed by hands-on additions to the developing application. The end result will be an easy-to-modify application that works across various ty...
Steven Pemberton - An introduction to Invisible XML
Переглядів 108Місяць тому
ixml has taken flight this year. It is a generic method for converting text-based documents with implicit structure into XML document with the structure made explicit. This tutorial provides a hands-on introduction to ixml: how to specify how documents are transformed into XML, and what choices you have. homepages.cwi.nl/~steven/ixml/tutorial/, homepages.cwi.nl/~steven/Talks/2024/11-07-ixml/ St...
Tony Graham - XSL FO More declarative than you know
Переглядів 50Місяць тому
XSL-FO is more declarative than you know. When the processing model has no feedback between the XSLT stage and the final output and no conditionals in the expression language, everything has to be declarative. You declare up front everything from the page masters to use for left, right, first, last, and only pages (if the document makes any of those) to the index keys and their classes that are...
Erik Hetzner - Compiling XSLT to JavaScript with XJSLT
Переглядів 81Місяць тому
Erik Hetzner - Compiling XSLT to JavaScript with XJSLT
Intermezzo: A diagram interpreter in XForms - Steven Pemberton
Переглядів 489 місяців тому
Intermezzo: A diagram interpreter in XForms - Steven Pemberton
The tyranny of formatting - Maryann Martone
Переглядів 869 місяців тому
The tyranny of formatting - Maryann Martone
Two useful XSLT runtime declarative techniques for XSL FO - Ken Holman
Переглядів 959 місяців тому
Two useful XSLT runtime declarative techniques for XSL FO - Ken Holman
A Declarative Code Browser with ixml and XForms - Steven Pemberton
Переглядів 949 місяців тому
A Declarative Code Browser with ixml and XForms - Steven Pemberton
Talking about my generation (L Systems in XQuery) - Juri Leino and Mary Holstege
Переглядів 499 місяців тому
Talking about my generation (L Systems in XQuery) - Juri Leino and Mary Holstege
An executable conceptual model for biodiversity in planning law - Chris Wallace
Переглядів 319 місяців тому
An executable conceptual model for biodiversity in planning law - Chris Wallace
Advanced XForms Hands-on: Techniques and Examples - Steven Pemberton
Переглядів 1389 місяців тому
Advanced XForms Hands-on: Techniques and Examples - Steven Pemberton
XForms, Current developments - Steven Pemberton
Переглядів 1009 місяців тому
XForms, Current developments - Steven Pemberton
Compiler Meets Markup: Live Coding Session in Declarative Swift - Manuel Meyer
Переглядів 1179 місяців тому
Compiler Meets Markup: Live Coding Session in Declarative Swift - Manuel Meyer
Asynchrony with Promises in SaxonJS - Debbie Lockett
Переглядів 10910 місяців тому
Asynchrony with Promises in SaxonJS - Debbie Lockett
Declarative Diagrams with Mermaid - Nico Verwer
Переглядів 17711 місяців тому
Declarative Diagrams with Mermaid - Nico Verwer
50 years of Prolog: Becoming More Declarative - David S. Warren
Переглядів 3,5 тис.11 місяців тому
50 years of Prolog: Becoming More Declarative - David S. Warren
XSD Visualizer Plugin Simplify XML Schema Understanding - Sven Reinck
Переглядів 59511 місяців тому
XSD Visualizer Plugin Simplify XML Schema Understanding - Sven Reinck
QT4 status update - Norm Tovey Walsh
Переглядів 5611 місяців тому
QT4 status update - Norm Tovey Walsh
no python lib?
Marshall and Eric McLuhan worked on Laws of Media. See Lost Tetrads of Marshall McLuhan. Also check history of "We shape our tools and thereafter they shape us." Churchill plays a part.
great presentation and presenter
Newbie question: isn't it deterministic though in the sense that if you execute the same prolog program multiple times, it will always return you the same answers in the same order?
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