Тёмный

"Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022) 

Strange Loop Conference
Подписаться 82 тыс.
Просмотров 28 тыс.
50% 1

Traditionally, libraries that support asynchronous execution invade the type system, with monad-like constructs changing function signatures, and execution concerns inevitably leaking into business logic.
Our platform is different. Automated asynchronous execution; caching; a bitemporal data store; distribution; dependency tracking - these are just some of the core features our platform provides. And what do our users see? For the most part, five extra characters, @node, a guarantee of referential transparency for our compiler and runtime.
Built on top of Scala and now a decade old, our platform draws on ideas from the Scala community to provide a solution for a programming framework that truly separates business logic from execution concerns. At last, it's being open-sourced, and it will run on cloud. Join this session to see live coding demos and a whole new paradigm for concurrency.
Gjeta Gjyshinca
Software Developer, Morgan Stanley
Gjeta is a software developer at Morgan Stanley, working on the core of the platform she will present. Her work focuses on the cache and the scheduler, with a big focus on performance. Gjeta is involved in Morgan Stanley's volunteering efforts to teach students to code, expanding the programme in London and now involved in teaching at schools in New York. She has also worked with Global Code to teach students in Ghana, and is now involved in Talent Beyond Boundaries, a charity helping skilled refugees find work.
----- Sponsored by: -----
Stream is the # 1 Chat API for custom messaging apps. Activate your free 30-day trial to explore Stream Chat. gstrm.io/tsl

Опубликовано:

 

19 окт 2022

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 57   
@MeNowDealWIthIt
@MeNowDealWIthIt Год назад
Her: "As you all presumably know, a monad is"
@danchatka8613
@danchatka8613 Год назад
Excellent presenter.
@batlin
@batlin Год назад
Drowning in clever Scala cats/cats-effect/akka/etc code was one reason I left my old job. I like learning and languages, but our velocity sucked because only one extremely nerdy genius on our team was comfortable and productive working with that codebase.
@ernesto8738
@ernesto8738 Год назад
feels very erlang BEAM
@mikhailfranco
@mikhailfranco Год назад
Virding's First Rule of Programming:
@exl5eq28
@exl5eq28 Год назад
22:00
@vsams14
@vsams14 Год назад
This is extremely pertinent to my work and I greatly appreciate this presentation!
@codeasone
@codeasone Год назад
Looks like it will make developer's lives a lot nicer. Great talk, so many good talks at Strange Loop this year.
@zyansheep
@zyansheep Год назад
How does this compare to algebraic effects?
@7th_CAV_Trooper
@7th_CAV_Trooper Год назад
Glad I stayed to the end. Very cool solution.
@virkony
@virkony Год назад
Thank you for a great talk. I like topics brought in here.
@paulpinecone2464
@paulpinecone2464 Год назад
Have you in fact invented macros where it wraps your code with the necessary machinery for concurrency without us having to see it?
@yasinyaqoobi
@yasinyaqoobi Год назад
Wonderful talk.
@gdargdar91
@gdargdar91 Год назад
If you want parallelism, use applicatives not monads. Monads are sequential by nature. Haskell automatically switches to applicatives when it sees you don’t use the binding. So monads are not the problem here, Scala is.
@capability-snob
I really like this. Few people seem to understand that in order to safely ignore concurrency boundaries, you need to verify RT. I honestly watched this expecting to see another bad coroutine library, rife with "stale stack frame" bugs, but this is well thought out.
@U1F984
@U1F984 Год назад
Great talk. I wonder about the example with the cached author though; what happens if the business logic writes something to the data store? Will it see its own writes?
@a_external_ways.fully_arrays
In general an interesting talk - thanks. I had some comments underway:
@jhorneman
@jhorneman Год назад
Really nice talk!
@twin9408
@twin9408 Год назад
cool, good talk
@KeremyJato
@KeremyJato Год назад
Well presented talk!
Далее
"Why Programming Languages Matter" by Andrew Black
56:39
Документы для озокомления😂
00:24
"Type-Driven API Design in Rust" by Will Crichton
40:57
"Performance Matters" by Emery Berger
42:15
Просмотров 481 тыс.