LOADING

Things that are things, but not other things

Understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful

Nicolas Rinaudo
Nicolas writes code for JPMorgan, where we use Scala to make some very complicated things seem very simple.
About This Talk

Abstractions such as functor, monads... are often explained by example, which I think is only half of what's needed to build a solid intuition. The other half is counter-examples: things that *aren't* things. This talk intends to fill that void, by going through the list of common abstractions and showing types that are, say, a functor, but not an applicative. While this may sound more like a toy than something useful, understanding the exact properties that disqualify a data type from being an instance of a given abstraction turns out to be surprisingly helpful, and have certainly allowed me to go further in my study of such things.

more great talks

Might Be Interesting

Day 2
  —  
2:00 pm
arrow pointing right icon

Writing scala outside of Intellij Idea

I will show you how you can build your own IDE for scala based on my nvim setup

Day 1
  —  
1:30 pm
arrow pointing right icon

Fixing-up Production with Property-based Testing

A short case study of a real production issue that was debugged, minimized, and fixed using property-based testing.

Day 1
  —  
2:30 pm
arrow pointing right icon

The future of WebAssembly for Scala.

As WebAssembly matures and gets more and more traction from the community, you might wonder can Scala join that trend?

Day 2
  —  
12:00 pm
arrow pointing right icon

Building multiplayer game backend with Akka on AWS Lambda

How to implement fast and cost-effective backend for a multiplayer game using Scala, Akka and GraalVM

Day 1
  —  
11:30 am
arrow pointing right icon

Implicits in Scala 3

How Scala 3 addresses concerns around implicits and how implicits work in Scala 3.

See All Events
Join us!

We're looking for amazing speakers.
CFP is open till 10.01.2023

Fill in Call for Papers
location icon

Location

Centrum Konferencyjne POLIN, Poland
stay in touch icon

Follow Us

Contact Us