Видео 34
Просмотров 71 666

Jeffery Olson, "System R-A Practical Lambda Calculus Made for Extensibility in Rust"

1:19:47

William E. Byrd, "A New Relational Language"

1:36:50

Eric Normand, “Four Domain Modeling Lenses”

1:33:02

Christopher Bremer, “Let’s try Bolero, an F# web framework built on Blazor and Elmish”

1:10:01

Onur Gümüş: “Functional CQRS with Akka.NET”

1:25:07

Ahmed Hammad, "Property-based Testing in F#"

1:46:08

Raúl Chouza, "Gleam - An Introduction to the Language and Platform"

Abstract: A brief introduction to the Gleam programming language, we’re going to talk about what makes it “click” as a language but also about the underneath platform/s that make it work. Currently, Gleam can be compiled to erlang or javascript which we can use to our advantage to put the computation where it makes the most sense
Bio: While at a desk Raúl spends his time getting into rabbit-holes that make him better understand complexity 🌀. He enjoys the nuances of programming but would like programs to tell you more, especially when they go wrong. Exploring erlang, elixir and gleam does fulfill a bit of that ✨. Otherwise, loves trying out traditional food; sharing evenings with friends; ...

Видео

Jeffery Olson, "System R-A Practical Lambda Calculus Made for Extensibility in Rust"

1:19:47

Jeffery Olson, "System R-A Practical Lambda Calculus Made for Extensibility in Rust"

Просмотров 905 месяцев назад

Abstract: This will be a presentation on lambda calculi, their differing varieties and corresponding expressiveness, and a particular implementation: System R-a lambda calculus, written in Rust, built for extensibility and practical use cases. Many programming languages (especially in the world of FP) we use today are implemented atop layers of academic theory modeled as lambda calculi. Advance...

William E. Byrd, "A New Relational Language"

1:36:50

William E. Byrd, "A New Relational Language"

Просмотров 2286 месяцев назад

Abstract: I’d like to talk about a new relational programming language I’ve just started working on, attempting to combine the pure relationality of miniKanren with better control of search and constraint solving. In particular, the language should make it easier to implement efficient program synthesis algorithms. Following Kowalski’s famous paper, `Algorithm = Logic Control`, the language wil...

Eric Normand, “Four Domain Modeling Lenses”

1:33:02

Eric Normand, “Four Domain Modeling Lenses”

Просмотров 3388 месяцев назад

Software design is about making decisions within a complex, multidimensional space. Instead of relying on rules that cannot cope with the complexity of design, we should focus on seeing our software from various useful perspectives. Each “lens” will help you extract more information about the problem your software is trying to solve. That added information will help will help you make better so...

Christopher Bremer, “Let’s try Bolero, an F# web framework built on Blazor and Elmish”

1:10:01

Christopher Bremer, “Let’s try Bolero, an F# web framework built on Blazor and Elmish”

Просмотров 4089 месяцев назад

When my team decided it was time to migrate one of our web apps away from AngularJS [^1], Blazor seemed like a good fit. Javascript isn’t really one of our core competencies, but we needed a more robust client than, say, HTMX. One of the devs suggested we look into Bolero. We prefer F# for our technical applications, and we were already familiar with some of the design principles espoused by th...

Onur Gümüş: “Functional CQRS with Akka.NET”

1:25:07

Onur Gümüş: “Functional CQRS with Akka.NET”

Просмотров 2079 месяцев назад

Abstract: In this talk, we will explore how to use Akka.NET and F# to implement a functional CQRS system that can handle complex business logic, event sourcing, and eventual consistency. We will also discuss the benefits and trade-offs of this approach, as well as some best practices and tips with real life examples. Bio: Onur Gümüş is currently a Senior Software Engineer at Microsoft, located ...

Ahmed Hammad, "Property-based Testing in F#"

1:46:08

Ahmed Hammad, "Property-based Testing in F#"

Просмотров 97Год назад

This talk discusses the benefits of Property Based Testing (PBT), an overlooked testing methodology. It introduces PBT in F# using FsCheck, emphasizing the importance of invariants in constructing effective tests. While FsCheck is the specific platform used, the concepts and principles presented are broadly applicable to any Property Based Testing system.

55:47

Jade Allen, "Erlang Timer Wheels"

Просмотров 102Год назад

How can you accurately and easily scale events to trigger at a given time in a distributed system. This is a critical task for many asynchronous systems - Kafka for example has a timer system which helps it decide when it ought to next check its queues for new input. But there are other excellent examples of highly scalable and accurating timing systems such as the one implemented in the Erlang...

Jonah Beckford, "What distributing OCaml on Windows gave me (and you)”

1:20:15

Jonah Beckford, "What distributing OCaml on Windows gave me (and you)”

Просмотров 422Год назад

Abstract: I’ll talk about why I distributed tools to install and use OCaml on Windows. The talk will start with why I adopted OCaml, and why I took the risk as a newcomer to get tooling in a previously tiny corner (Windows) of an uncommon language (OCaml). I’ll spend some time talking about the technical challenges, how I’ve overcome them, and what still needs to be done. I’ll also talk about t...

Gabriella Gonzalez, "How to Write a Nix Derivation"

1:27:36

Gabriella Gonzalez, "How to Write a Nix Derivation"

Просмотров 2,8 тыс.Год назад

This talk will explain how to use Nix like a `make` replacement. Even though Nix isn’t typically used in this way it’s actually well-suited for this purpose and this talk will walk through how to translate `make` idioms to Nix idioms and explain some of the tradeoffs of doing so.

Paul Biggar, "Darklang: A Functional Language for the Cloud"

1:08:52

Paul Biggar, "Darklang: A Functional Language for the Cloud"

Просмотров 359Год назад

I’ll introduce and demo darklang, a “deployless” programming language for building cloud backends, talking about why I built it and what it’s good for. I’ll focus a little bit on why we chose a functional language, and how functional paradigms (esp immutability) allow us build features that don’t exist elsewhere. Bio: Paul Biggar is the founder of Darklang, and previously was Founder and CEO of...

Eric Normand, "Domain Modeling: How Rich Meaning Improves Your Code"

1:59:59

Eric Normand, "Domain Modeling: How Rich Meaning Improves Your Code"

Просмотров 540Год назад

The field of software design aims to make our software easier to maintain and change. But it has failed. After years of design advice, we still face unreadable code, expensive changes, and growing refactoring backlogs. Domain modeling is a deeper approach. Instead of focusing on the superficial quality of code as software design does, domain modeling focuses on encoding deep meaning. If you enc...

1:02:26

John Cavnar-Johnson, "The 'a List"

Просмотров 124Год назад

“One more thing, we need the new system to produce our invoices/estimates/contracts/whatever as PDFs.” Producing Portable Document Format files is one of the gnarliest problems I have to deal with on a regular basis. Tonight I’m introducing a new OSS project to make it a little simpler for F# developers to render PDFs from line of business application. Inspired by FsExcel (which in turn was ins...

Rashad Gover, "Hypermedia-Driven Web Apps in Haskell"

1:32:56

Rashad Gover, "Hypermedia-Driven Web Apps in Haskell"

Просмотров 7702 года назад

Abstract: In this talk I present a new approach to building web apps in Haskell, using htmx. htmx gives you access to AJAX, CSS Transitions, WebSockets and Server Sent Events directly in HTML, using attributes, so you can build modern user interfaces with the simplicity and power of hypertext. With the power of this technology, Haskellers can now build 100% Haskell web apps without depending on...

Richard Feldman, "Pushing Boundaries with Roc"

1:46:38

Richard Feldman, "Pushing Boundaries with Roc"

Просмотров 11 тыс.2 года назад

Roc is a purely functional programming language. It’s currently in a pre-release stage of development, but it already has a lot of interesting characteristics. This talk walks through three code bases for the same application - one written in Roc, and the other two in popular imperative languages (one dynamically typed and one statically typed), and shows how Roc is pushing the boundaries of wh...