List of videos

Towards Incremental Language Definition with Reusable Components | Damian Frolich | PhD candidate at the University of Amsterdam ABSTRACT This paper introduces a novel method for defining software languages incrementally as the composition of smaller languages, starting from reusable components for the specification of syntax and semantics. The method is enabled by the combined application of several advanced techniques implemented in functional languages: datatypes `a la carte for the fine-grained composition of (abstract) syntactic categories and composable micro-interpreters that implement the operational semantics of certain reusable components known as ‘funcons’. We demonstrate the method makes it possible to perform incremental language development with prototyping. The generality of the method is demonstrated through a variety of case studies. Paper authors: Damian Frolich and L. Thomas van Binsbergen • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 YATA collaborative documents & how to make them fast | Bartosz Sypytkowski - Software Developer ABSTRACT During this talk we'll cover core concepts behind Conflict-free Replicated Data Types (CRDTs) and how to use them to build truly distributed complex apps with offline-first capabilities. We'll also discuss about different performance metrics used to evaluate such systems and how to improve them. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

Teaching Interaction using State Diagrams | Christopher Schankula | Making my little corner of the world a better place, one student at a time. ABSTRACT To make computational thinking appealing to young learners, initial programming instruction looks very different now than a decade ago, with increasing use of graphics and robots both real and virtual. After learning the basics of drawing using code, children want to create interactive programs, and they need a model for this and large amounts of syntax can get in their way. State diagrams provide such a model, but in the Functional Programming community, there is a lot of skepticism about explicitly talking about state, perhaps because they associate it with side-effects. This presentation details using a state diagram tool to help students create interactive programs. We detail statistics from a small pilot using the tool to answer research questions about whether grade 4/5 students understand the use of state diagrams and how they correspond to the programs they generate. Authors: Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand - McMaster University, Hamilton, Ontario, Canada • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

Towards a more perfect union type | Michał J. Gajda | Scientist and developer ABSTRACT Typing dynamic languages has been long considered a challenge. The importance of the task has grown with the ubiquity of cloud application programming interfaces (APIs) utilizing JavaScript object notation (JSON), where one needs to infer the structure having only a limited number of sample documents available. Previous research has suggested it is possible to infer adequate type mappings from sample data. In this presentation, Michał presents a reseach where he and Mikhail Lazarev expands on these results. They propose a modular framework for defining type systems of programming languages as learning algorithms subject to a set of equations, and evaluate its performance on inference of Haskell data types from JSON API examples." Authors: Michał J. Gajda & Mikhail Lazarev • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

This video was recorded at Lambda Days 2022 http://www.lambdadays.org/lambdadays2022 Get involved in Lambda Days' next conference http://www.lambdadays.org Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 The work done by something else | Attila Egri-Nagy - Software engineer ABSTRACT Declarative programming is about describing what we want instead of specifying how to obtain the desired result. This informal definition serves us well, we can confidently recall obvious examples of the declarative style from functional and logic programming. The historical development of programming languages itself can be characterised as moving closer to the declarative ideal. Mathematics is also an example of declarative knowledge... Err, wait a minute! Does this mean that programming is going to maths?!? Research in computer science education shows that it is beneficial to have a closer look at `obvious' concepts. Declarativeness is indeed a treasure trove of useful ideas. In this talk we will analyse everyday examples of declarative programming (functional collection processing, types, specs, point-free style and threading macros, destructuring, pattern matching) and more exotic ones (logic and relational programming, SAT-solvers). This will lead to another definition: declarativeness as the work done by something else, a blend of abstraction and automation. Philosophical abstraction romping, we will discuss heavy question like maths vs. programming; symbolic notation doing computation; and what is programming anyway? Back to everyday life at the keyboard, we will distill some advice on making conscious choices about declarativeness; asking the right questions when learning new languages/technologies, e.g., What does this automate for me? In short, the talk is a deep dive into the depth of the philosophy of programming with the purpose of acquiring knowledge of practical relevance. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

Sig-adLib: A Compilable Embedded Language for Synchronous Data-Flow Programming on the Java Virtual Machine | Baltasar Trancón Widemann | Creator of domain-specific declarative languages ABSTRACT This talk presents Sig-adLib, an embedded domain-specific language for complex realtime data stream processing tasks on the JVM. It distinguishes a declarative data-flow and an imperative control-flow aspect. Sig-adLib programs can be interpreted, or compiled transparently to JVM bytecode and eventually jit-compiled. Both the interpreter and the compiler are completely modular and extensible. The compiler is fully embedded in the host program. Interpreted and compiled code both run indefinitely on fixed space. Benchmarks indicate a roughly 50-fold speedup by compilation, comparable with hand-coded, statically compiled implementations. Paper authors: Baltasar Trancón Widemann & Markus Lepper • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

Towards Smart E-Learning Mentor Dispatch | Christopher Schankula | Making my little corner of the world a better place, one student at a time ABSTRACT The McMaster Start Coding program has taught over 26,000 K-12 students programming using Elm over the last five years. Collectively, they have compiled nearly 4 million programs in our online learning platform. The COVID-19 pandemic has necessitated the switch to a fully virtual setup, which continues as schools have strict visitor limits. Virtual learning also necessitates upgrades to the online code compilation and mentoring software we use. In particular, we need to determine when a student is stuck so as to be able to make better use of mentor resources and proactively help students who are struggling. This presentation details data mining efforts to predict metrics such as the length of time that a student is likely to struggle if they are receiving an error in their program, in order to dispatch mentors and help the students who need the most attention. Authors: Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand - McMaster University, Hamilton, Ontario, Canada • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw