Канал: Scala World

Eyjafjallajökull Lecture 2019—Paweł Szulc

Eyjafjallajökull Lecture 2019—Paweł Szulc

Emily Pillmore: Type Arithmetic and the Yoneda Lemma

Emily Pillmore: Type Arithmetic and the Yoneda Lemma

Mirco Dotta—Crack Open Sbt and Master your Build Times

Mirco Dotta—Crack Open Sbt and Master your Build Times

Jakub Kozłowski—A Sky Full of Streams

Jakub Kozłowski—A Sky Full of Streams

Roland Kuhn—Meshing Robots and Humans with Distributed Apps

Roland Kuhn—Meshing Robots and Humans with Distributed Apps

Andy Scott—Code by Shape

Andy Scott—Code by Shape

Justin Kaeser—Integrating Developer Experiences

Justin Kaeser—Integrating Developer Experiences

Jon Pretty—Fast and Furious

Jon Pretty—Fast and Furious

Paolo Giarrusso—The DOT Calculus: An Introduction for Scala Programmers

Paolo Giarrusso—The DOT Calculus: An Introduction for Scala Programmers

Adam Warski—Designing Programmer-Friendly APIs

Adam Warski—Designing Programmer-Friendly APIs

Dale Wijnand—How to Totally Fix PartialFunction

Dale Wijnand—How to Totally Fix PartialFunction

Daniel Beskin—Compile-time Logic Programming in Scala: what for?

Daniel Beskin—Compile-time Logic Programming in Scala: what for?

Nicolas Rinaudo—Much Ado About Testing

Nicolas Rinaudo—Much Ado About Testing

Zoë Weil—A Learning Story: Love, Scala & Artificial Intelligence

Zoë Weil—A Learning Story: Love, Scala & Artificial Intelligence

Jorge Vicente Cantero—Design Challenges of Bloop

Jorge Vicente Cantero—Design Challenges of Bloop

Bartosz Milewski—Live-coding with Universal Constructions

Bartosz Milewski—Live-coding with Universal Constructions

Alceste Scalas—Effpi: Verified Message-Passing Programs in Dotty

Alceste Scalas—Effpi: Verified Message-Passing Programs in Dotty

Guillaume Martres—Scala 3, Type Inference and You!

Guillaume Martres—Scala 3, Type Inference and You!

Luka Jacobowitz—Monoids, Monoids, Monoids

Luka Jacobowitz—Monoids, Monoids, Monoids

Fabio Labella—How do Fibers Work? A Peek Under the Hood

Fabio Labella—How do Fibers Work? A Peek Under the Hood

Sam Aaron—Sonic Pi

Sam Aaron—Sonic Pi

Validating SQL at the Type Level—Tamer AbdulRadi

Validating SQL at the Type Level—Tamer AbdulRadi

The 2016 Eyjafjallajökull Lecture—Bodil Stokke

The 2016 Eyjafjallajökull Lecture—Bodil Stokke

Brian Clapper—Spark for Scala Developers

Brian Clapper—Spark for Scala Developers

Edmund Noble—Data, and when not to use it

Edmund Noble—Data, and when not to use it

How to Build a Functional API—Julien Truffaut

How to Build a Functional API—Julien Truffaut

Free Monads—Paweł Szulc

Free Monads—Paweł Szulc

A Pragmatic Introduction to Category Theory—Daniela Sfregola

A Pragmatic Introduction to Category Theory—Daniela Sfregola

A Tale of Two Monix Streams—Alexandru Nedelcu

A Tale of Two Monix Streams—Alexandru Nedelcu

Simplicity in Composition—Adelbert Chang

Simplicity in Composition—Adelbert Chang

Some Trends in Open Source & the State of the Scala Center—Heather Miller

Some Trends in Open Source & the State of the Scala Center—Heather Miller

The 2017 Eyjafjallajökull Lecture—Viktor Klang

The 2017 Eyjafjallajökull Lecture—Viktor Klang

Exploring Decision Trees with Matryoshka—Zainab Ali

Exploring Decision Trees with Matryoshka—Zainab Ali

Introduction to ScalaCheck—Noel Markham

Introduction to ScalaCheck—Noel Markham

The New Collections Library for Scala 2.13 and Dotty—Stefan Zeiger

The New Collections Library for Scala 2.13 and Dotty—Stefan Zeiger

Encoding Async Graphs with Dependent Types—Jon Pretty

Encoding Async Graphs with Dependent Types—Jon Pretty

Scala World Closing Panel 2016

Scala World Closing Panel 2016

Mastering Typeclass Induction—Aaron Levin

Mastering Typeclass Induction—Aaron Levin

Scala World 2017 Closing Remarks

Scala World 2017 Closing Remarks

Adventures in Efficiency and Performance—Dmitry Petrashko

Adventures in Efficiency and Performance—Dmitry Petrashko

Fast Immutable Interval Sets—Rüdiger Klaehn

Fast Immutable Interval Sets—Rüdiger Klaehn

Yulia Tsernant

Yulia Tsernant

The Unison Language and its Scala-based Runtime—Paul Chiusano

The Unison Language and its Scala-based Runtime—Paul Chiusano

Describing Data...with free applicative functors (and more)—Kris Nuttycombe

Describing Data...with free applicative functors (and more)—Kris Nuttycombe

Scalafix Workshop—Gabriele Petronella

Scalafix Workshop—Gabriele Petronella

DOT: Scala Types from Theory to Practice—Nada Amin

DOT: Scala Types from Theory to Practice—Nada Amin

Monoidal Parsing—Edward Kmett

Monoidal Parsing—Edward Kmett

Josh Suereth: Phil Bagwell Award Winner 2017

Josh Suereth: Phil Bagwell Award Winner 2017

The Type Astronaut's Guide to Shapeless—Dave Gurnell

The Type Astronaut's Guide to Shapeless—Dave Gurnell

Tales from Compiling to the JVM—Lukas Rytz

Tales from Compiling to the JVM—Lukas Rytz

Writing a Compiler Plugin or Macro—Sam Halliday & Rory Graves

Writing a Compiler Plugin or Macro—Sam Halliday & Rory Graves

Enterprise Algebras—Tim Perrett

Enterprise Algebras—Tim Perrett

The Story of a Parallel Scala Library—Vlad Ureche

The Story of a Parallel Scala Library—Vlad Ureche

Generic Derivation: The Hard Parts—Travis Brown

Generic Derivation: The Hard Parts—Travis Brown

Distributed Systems vs Compositionality—Roland Kuhn

Distributed Systems vs Compositionality—Roland Kuhn

Scala World Opening Keynote—Martin Odersky

Scala World Opening Keynote—Martin Odersky

Essential vs Accidental Complexity in Scala & Dotty—Andrew Phillips

Essential vs Accidental Complexity in Scala & Dotty—Andrew Phillips

For: What is it good for?—Josh Suereth & Dick Wall

For: What is it good for?—Josh Suereth & Dick Wall

Can we make concurrency in Scala safer?—Philipp Haller

Can we make concurrency in Scala safer?—Philipp Haller

Staged Parser Combinators—Manohar Jonnalagedda

Staged Parser Combinators—Manohar Jonnalagedda

First-class Coroutines for Scala—Aleksandar Prokopec

First-class Coroutines for Scala—Aleksandar Prokopec

A Whirlwind Tour of scala.meta—Ólafur Páll Geirsson

A Whirlwind Tour of scala.meta—Ólafur Páll Geirsson

Managing Your Resources—Denys Shabalin

Managing Your Resources—Denys Shabalin

Pure Functional Database Programming with Fixpoint Types—Rob Norris

Pure Functional Database Programming with Fixpoint Types—Rob Norris

Quaich: A "serverless" Scala microframework for AWS Lambda—Brendan McAdams

Quaich: A "serverless" Scala microframework for AWS Lambda—Brendan McAdams

Beyond Scala Lenses—Julien Truffaut

Beyond Scala Lenses—Julien Truffaut

Hands-on Scala.Meta — Eugene Burmako

Hands-on Scala.Meta — Eugene Burmako

Scala.js Workshop — Sébastien Doeraene

Scala.js Workshop — Sébastien Doeraene

Scala and the JVM as a Big Data Platform — Dean Wampler

Scala and the JVM as a Big Data Platform — Dean Wampler

Précepte — Julien Tournay & Pascal Voitot

Précepte — Julien Tournay & Pascal Voitot

A Snorkelling Excersion into Bugfixing — Simon Ochsenreither

A Snorkelling Excersion into Bugfixing — Simon Ochsenreither

Formal Logic Undressed — Paul Snively

Formal Logic Undressed — Paul Snively

A Deep Dive into Scalac — Chris Birchall

A Deep Dive into Scalac — Chris Birchall

A Dance with Tools — Iulian Dragoş

A Dance with Tools — Iulian Dragoş

An Unexceptional Scalaz Workshop — Chris Marshall

An Unexceptional Scalaz Workshop — Chris Marshall

Move Over Free Monads: Make Way for Free Applicatives! — John de Goes

Move Over Free Monads: Make Way for Free Applicatives! — John de Goes

The Need for Async — Konrad Malawski

The Need for Async — Konrad Malawski

Functional Patterns in Domain Modeling — Debasish Ghosh

Functional Patterns in Domain Modeling — Debasish Ghosh

Constraints Liberate, Liberties Constrain — Runar Bjarnason

Constraints Liberate, Liberties Constrain — Runar Bjarnason

When Types are Not Enough — Lars Hupel

When Types are Not Enough — Lars Hupel

Practical Binary with Scodec — Michael Pilquist

Practical Binary with Scodec — Michael Pilquist

Simplifying Scala Collections — Bill Venners

Simplifying Scala Collections — Bill Venners

Hands-on Typelevel Scala — George Leontiev

Hands-on Typelevel Scala — George Leontiev

Type-Driven Development in Idris — Edwin Brady

Type-Driven Development in Idris — Edwin Brady

Lawful Asynchronous Programming — Daniel Spiewak

Lawful Asynchronous Programming — Daniel Spiewak

Kittens: Shapeless Typeclass Derivation for Cats — Miles Sabin

Kittens: Shapeless Typeclass Derivation for Cats — Miles Sabin

Hands-on Dotty — Dmitry Petrashko

Hands-on Dotty — Dmitry Petrashko

Principles for Modular, Functional, Approachable Libraries — Erik Osheim

Principles for Modular, Functional, Approachable Libraries — Erik Osheim

Reactive Streams / Akka Streams — Mathias Doenitz & Johannes Rudolph

Reactive Streams / Akka Streams — Mathias Doenitz & Johannes Rudolph

Typelevel Programming 101: The Subspace of Scala — Joe Barnes

Typelevel Programming 101: The Subspace of Scala — Joe Barnes

Things and Cothings — Paul Phillips

Things and Cothings — Paul Phillips

Minimizing the Slippery Surface of Failure — Jon Pretty

Minimizing the Slippery Surface of Failure — Jon Pretty