Introduction to Recursion Schemes - YOW! 2018
Explore recursion schemes in functional programming with Amy Wong. Learn key concepts, applications, and benefits for writing more elegant and maintainable code.
An Intuitive Guide to Combining Free Monad and Free Applicative - YOW! 2018
Explore combining Free Monads and Free Applicatives in functional programming. Learn motivations, building complex domains, introducing parallelism, and practical design tips for powerful program structures.
The Expression Problem and Lenses - Functional Programming Concepts
Explore functional programming concepts like the Expression Problem and Lenses with Tony Morris. Learn advanced techniques to enhance code flexibility and maintainability.
Type-Checking CRDT Convergence
Explore Propel, a language with a type system for verifying algebraic properties in CRDT implementations. Learn about its case analysis and induction approach for ensuring correctness.
API-Driven Program Synthesis for Testing Static Typing Implementations
Explore API-driven program synthesis for testing static typing in compilers. Learn about generating type-intensive programs using existing APIs to uncover compiler bugs efficiently.
Fear Not the Unknown: Go Functional Programming
Explore functional programming concepts and overcome fears of the unknown in this engaging talk on modern coding paradigms.
Information Exchange in Distributed Blockchain Systems - Epidemic Model Approach
Explore architectural drivers, communication models, and distributed consensus in complex blockchain systems. Learn from real-world experiences in designing and implementing large-scale node networks.
Full Stack Scala with the Play Framework and Scala.js
Explore full-stack Scala development using Play Framework for backend and Scala.js for frontend, enabling code sharing and rich web app creation with static typing benefits.
Scala vs Idris - Dependent Types, Now and in the Future
Exploring dependent types in Scala and Idris: current capabilities, limitations, and future possibilities. Demonstrates rich type systems' potential for program verification and static constraint capture in functional programming.
Spores - Distributable Functions in Scala
Exploring Scala's advancements in distributed programming: Spores for mobile functional behavior and a new pickling framework for efficient serialization and deserialization.
The Trouble With Types
Exploración de sistemas de tipos estáticos y dinámicos, sus ventajas y desventajas, y el diseño de lenguajes de programación, con énfasis en Scala y futuros desarrollos.
Scala DSLs and Probabilistic Programming
Explore ScalaStan, a type-safe DSL for statistical modeling with Stan, enabling programmatic manipulation and generation of Stan programs within Scala for efficient Bayesian inference and data analysis.
Leverage vs. Autonomy in a Large Software System
Explore the balance between centralization and decentralization in large-scale software development, examining Twitter's strategies and introducing Strato, a new serverless platform for enhanced engineer productivity.
Function Passing Style - Typed, Distributed Functional Programming
Explore function-passing style for distributed programming, leveraging Scala's type system and language features to enable safe, asynchronous computation on immutable data across distributed environments.
Concurrency Options on the JVM
Explore JVM concurrency options, from Java's ExecutorService to Scala's akka actors and Clojure's core.async. Learn design strategies for deadlock-free, efficient concurrent applications.
GraphX - Graph Processing in a Distributed Dataflow Framework
Explore GraphX, a graph processing framework built on Apache Spark, offering performance comparable to specialized systems while enabling broader computational capabilities and fault tolerance.
Introducing the Scala Center
Explore the Scala Center's mission, initiatives, and impact on education, open source, and industry collaboration in this comprehensive overview by Heather Miller.
Finagle Under the Hood
Explore Finagle's internals, including connection pooling, load balancing, and circuit breaking. Learn how servers and clients function in this extensible RPC system for JVM, used at Twitter.
Large Scale Graph Analysis Using Scala and Akka
Explore large-scale graph analysis using Scala and Akka. Learn architecture, implementation, and optimization techniques for processing big data with graph structures and stream outputs.
Implicits Inspected and Explained
Demystifying Scala implicits: Learn idiomatic use cases, compiler resolution, and their role in writing concise code and enabling DSLs. Gain intermediate-level understanding of this powerful language feature.
Domain Driven Design and Onion Architecture in Scala
Explore Domain Driven Design and Onion Architecture in Scala, focusing on code readability, maintainability, and rapid prototyping. Learn key concepts and practical techniques through a code-driven approach.