Springer Nature
Springer Nature
Springer Nature advances discovery by publishing robust and insightful research, supporting the development of new areas of knowledge, making ideas and information accessible around the world, and leading the way on open access.
-
2
Monad I Love You Now Get Out of My Type System
Featuring Gjeta Gjyshinca and James Belsey
Functional programming has features such as presumed immutability and a declarative nature. With the rise of multicore machines and the growth in multi-threaded programming, it's natural for functional programming to increase in prominence. However non-functional programming languages and...
scala scalax functional-programming -
Keynote: Conveying the Power of Abstraction
Featuring Dr Eugenia Cheng
Abstract mathematics is sometimes thought of being very far removed from real life, perhaps something that people think about with their head in the clouds as opposed to the sort of applied maths and science do when people are thinking about "reality". And yet, many of you who work in...
abstract-mathematics abstraction scalax functional-programming haskell scala -
Functional Composition and the Kleisli
Featuring Alexander Worton
During this talk, we will explore functional composition from the ground up. Find out about the different ways functions can be composed to form larger pieces of software, using both the standard library and the Kleisli from functional libraries scalaz and cats, while looking at the advantages...
scala typelevel testing functional-composition kleisli scalax -
Into the New World
Featuring Sofia Vaughan-Jones
For the last 6 months, Sofia has been working in a team that has been moving from their comfort zone into a 'New World'. Previously, they kept the balance of using the object-orientated features in Scala paired with functional programming concepts where they could. They now use http4s,...
fs2streams http4s fp oop scala cats functional-composition functional-programming -
Typed Actors - Should I Start Using Them?
Featuring Willem Vermeer
Typed actors are finally here and, for all of you lovers of typesafe programming, just their name is enough to get you excited! But here you are, maintaining a large scala/akka codebase – should you immediately migrate all your actors to typed actors? What are the benefits and will your code look...
scala scalax akka typesafe-programming -
Types vs Tests
Featuring Julien Truffaut
Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, you will explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?
scala type-theory types testing
