Type Proofs and FP for the Kotlin Type System - Raúl Raja

Опубликовано: 29 Июнь 2020
на канале: Xebia Functional (formerly 47 Degrees)

1,315

Propositions as types, Proofs as Programs: Functional Programming for the Kotlin Type System

This talk is from the KTUG Munich June Meetup and was also given in conjunction with the micro.sphere virtual conference and sponsored by the 47 Degrees Academy.

Type Proofs is a new compiler plugin built on Arrow Meta enabling new features in the Kotlin type system, such as Type Classes, Union Types, Type Refinements, and many other extensions that make Functional Programming easier in Kotlin.

Type Proofs propositions are expressed as extension functions that unlock new relationships between types ad-hoc whilst remaining fully compatible with subtype polymorphism and the existing inheritance type system.

This talk demonstrates some of the new features the Arrow team is introducing in Arrow at the type level and IDE and how others can benefit from them when building libraries and applications.

If you have questions after watching this talk, you can head over to the Academy Slack Kotlin Channel to discuss!

Speaker: Raúl Raja - CTO, 47 Degrees
Twitter: / raulraja
Language: Kotlin
Recorded: June 24, 2020

Thanks to:

KTUG Munich: / ktugmunich
micro.sphere conference: https://micro.sphere.it/

This talk was sponsored by the 47 Degrees Academy. Find out more here:

Site: https://www.47deg.com/academy
Slack: https://join.slack.com/t/47degreesaca...