В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Programming Offtop

538 membersпожаловаться на группу
2020 July 05

RK

Roman Khlebnov in Programming Offtop
sticker.webp
(51.47 Кб)
источник
12:07пожаловаться#1

AN

Alexander Nozik in Programming Offtop
Там там DSLMarker. Проблема-то в чем?
источник
12:07пожаловаться#2

AN

Alexander Nozik in Programming Offtop
Там как раз все прозрачно. Каждый вложенный элемент живет в скоупе своего родителя.
источник
12:08пожаловаться#3

RK

Roman Khlebnov in Programming Offtop
Проблемы нет - навеяло мысли про КОП и правило держать контексты короче / выносить их в higher-order
источник
12:08пожаловаться#4

AN

Alexander Nozik in Programming Offtop
Ну так да, выносите функции вида Div.myWindows и они видят ровно один внешний контекст.
источник
12:09пожаловаться#5

(

( in Programming Offtop
Alexander Nozik
Нет, просто в том виде КОП, который я продвигаю, то разрешение идет по типу. Вложенные контексты порождают пересечение типов. Пересечение одинаковых типов - это бессмыслица.
Пересечение? Сумма же
источник
12:10пожаловаться#6

AN

Alexander Nozik in Programming Offtop
(
Пересечение? Сумма же
пересечение.
источник
12:10пожаловаться#7

AN

Alexander Nozik in Programming Offtop
То, что обладает поведением и того и того
источник
12:11пожаловаться#8

AN

Alexander Nozik in Programming Offtop
Я сам путаюсь. Но сумма - это или-или
источник
12:11пожаловаться#9

(

( in Programming Offtop
а, ладно
источник
12:11пожаловаться#10

AN

Alexander Nozik in Programming Offtop
Про КОП сейчас идет обмышление следующей стадии - подмена контекста. Если функция существует в некотором контексте, то она ничего не знает о реализации этого самого контекста. Кое-что уже есть в kmath. Но там реально широкие возможности в смысле staged compilation и всякого удаленного выполнения. Но над этим еще думаем. Посмотрим, что будет по результатам стажировки летней. Может новые идеи придут.
источник
12:13пожаловаться#11

AN

Alexander Nozik in Programming Offtop
https://youtu.be/6sw8GAhUJz0?t=589 real time такой real time...
YouTube
Raúl Raja Martínez & Simon Vergauwen - Arrow Fx: Functional Domain Modeling with Kotlin
TOPIC
Simon Vergauwen is a Senior Software Engineer and Trainer at 47 Degrees, responsible for working on the core Arrow infrastructure and design. He is leading efforts to include composable optics in Arrow and revamping the Arrow Fx library to support custom error handling, safe resource management, and many modern features expected in today’s functional programming ecosystem in Kotlin.

Raúl Raja is a Co-founder and CTO of 47 Degrees and one of the core maintainers of the Arrow open-source library. Over the last few years, Raul has been working closely with the Kotlin compiler and the Arrow library to help build a new type system and features for improving the ease of practicing Typed Functional Programming in Kotlin.

SPEAKER
Raúl Raja Martínez - 47 Degrees - Λrrow Maintainer. CTO & Co-founder at 47 Degrees

Simon Vergauwen - 47 Degrees - Λrrow Maintainer. Senior Software Engineer at 47 Degrees

ABOUT
Arrow Fx is a purely functional concurrency framework for Kotlin’s suspend system.

In this talk, we will…
источник
13:03пожаловаться#12

IO

Iaroslav Orlov in Programming Offtop
Артёмка
А у меня еще и аллергия на их шерсть 😤
то же самое(9
источник
13:11пожаловаться#13

AN

Alexander Nozik in Programming Offtop
Alexander Nozik
https://youtu.be/6sw8GAhUJz0?t=589 real time такой real time...
YouTube
Raúl Raja Martínez & Simon Vergauwen - Arrow Fx: Functional Domain Modeling with Kotlin
TOPIC
Simon Vergauwen is a Senior Software Engineer and Trainer at 47 Degrees, responsible for working on the core Arrow infrastructure and design. He is leading efforts to include composable optics in Arrow and revamping the Arrow Fx library to support custom error handling, safe resource management, and many modern features expected in today’s functional programming ecosystem in Kotlin.

Raúl Raja is a Co-founder and CTO of 47 Degrees and one of the core maintainers of the Arrow open-source library. Over the last few years, Raul has been working closely with the Kotlin compiler and the Arrow library to help build a new type system and features for improving the ease of practicing Typed Functional Programming in Kotlin.

SPEAKER
Raúl Raja Martínez - 47 Degrees - Λrrow Maintainer. CTO & Co-founder at 47 Degrees

Simon Vergauwen - 47 Degrees - Λrrow Maintainer. Senior Software Engineer at 47 Degrees

ABOUT
Arrow Fx is a purely functional concurrency framework for Kotlin’s suspend system.

In this talk, we will…
Короче, ребята молодцы, конечно. Но чем больше я слушаю их доклады по поводу того, что надо делать все в стиле тру-фп, тем больше убеждаюсь, что не надо.
источник
13:16пожаловаться#14

AD

Aleksey D. in Programming Offtop
мда, красиво
источник
13:42пожаловаться#15

AN

Alexander Nozik in Programming Offtop
Aleksey D.
мда, красиво
Ну сейчас стратегия такая. Все равно никто не верит ни одному слову, так что можно писать что угодно.
источник
13:48пожаловаться#16

I

Igor in Programming Offtop
Alexander Nozik
https://youtu.be/6sw8GAhUJz0?t=589 real time такой real time...
YouTube
Raúl Raja Martínez & Simon Vergauwen - Arrow Fx: Functional Domain Modeling with Kotlin
TOPIC
Simon Vergauwen is a Senior Software Engineer and Trainer at 47 Degrees, responsible for working on the core Arrow infrastructure and design. He is leading efforts to include composable optics in Arrow and revamping the Arrow Fx library to support custom error handling, safe resource management, and many modern features expected in today’s functional programming ecosystem in Kotlin.

Raúl Raja is a Co-founder and CTO of 47 Degrees and one of the core maintainers of the Arrow open-source library. Over the last few years, Raul has been working closely with the Kotlin compiler and the Arrow library to help build a new type system and features for improving the ease of practicing Typed Functional Programming in Kotlin.

SPEAKER
Raúl Raja Martínez - 47 Degrees - Λrrow Maintainer. CTO & Co-founder at 47 Degrees

Simon Vergauwen - 47 Degrees - Λrrow Maintainer. Senior Software Engineer at 47 Degrees

ABOUT
Arrow Fx is a purely functional concurrency framework for Kotlin’s suspend system.

In this talk, we will…
Ох лол, ребята тоже фолдингом балуются. Сублимируют отсутствие union типов
источник
13:48пожаловаться#17

AN

Alexander Nozik in Programming Offtop
Alexander Nozik
Ну сейчас стратегия такая. Все равно никто не верит ни одному слову, так что можно писать что угодно.
Мне интересно, сколько такой продержится. Даже в Советском союзе такого не было
источник
13:49пожаловаться#18

AN

Alexander Nozik in Programming Offtop
Igor
Ох лол, ребята тоже фолдингом балуются. Сублимируют отсутствие union типов
Ну вот это-то вещь безопасная и безболезненная
источник
13:49пожаловаться#19

I

Igor in Programming Offtop
https://i.gyazo.com/81b861e6e324dffe1a887861c877b12f.jpg

И да все эти проверки хороши, только в реальном мире данные приходят из yaml конфигов и баз данных, где типизация ~0, а не харкода (inb4 это учебный пример)
источник
13:57пожаловаться#20