Телеграмм чат группы fsharp_flood страница 9260

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

200 membersпожаловаться на группу

2020 May 05

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Ayrat Hudaygulov

ОЛЕГА.

А Олег, который Нижников, он просто фанат этой техники.

И доклад по final tagless, который был на джава конфе, такое ощущение что был сделал, чтобы потроллить джавистов

источник

23:36пожаловаться #1

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale

final tagless это же там где свой интерпретатор пишут ?

источник

23:37пожаловаться #2

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale

работает, если мне память не изменяет, это все крайне хуево

источник

23:38пожаловаться #3

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

final tagless это же там где свой интерпретатор пишут ?

Нет, final tagless - это то что в хаскеле mtl-style называют

источник

23:38пожаловаться #4

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale

не писал на хаскеле

источник

23:38пожаловаться #5

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

работает, если мне память не изменяет, это все крайне хуево

Короче как раз final tagless работает бесплатно.

источник

23:39пожаловаться #6

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Фри монады работают на интерпретации и работают фигово, если не заниматься адской магией с компилятором (которая только в будущих версиях хаскеля и будет доступна)

источник

23:39пожаловаться #7

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Сколько смотрел докладов Олега, так и не понял до конца

Да, кстати, если ты не читал статьи Олега Киселева по final tagless, то можешь попробовать:
http://okmij.org/ftp/tagless-final/index.html

Tagless-Final Style

The main page introducing the tagless-final style and serving as a reference to further explanations and examples

источник

23:43пожаловаться #8

I

Igor in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Когда мне год назад это предложили - я думал меня скалисты тролят.
Такая простая техника, что чтобы понять - надо читать папир.

источник

23:50пожаловаться #9

I

Igor in F# Flood: ПДД made functional, making illegal state INGIBDDdale

источник

23:51пожаловаться #10

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Когда мне год назад это предложили - я думал меня скалисты тролят.
Такая простая техника, что чтобы понять - надо читать папир.

Я могу своими словами объяснить, но тогда уже завтра, с телефона не удобно будет набирать.

источник

23:52пожаловаться #11

I

Igor in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Да спасибо, не надо - я в итоге разобрался и понял что не нужно

источник

23:54пожаловаться #12

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Да спасибо, не надо - я в итоге разобрался и понял что не нужно

Ну такое себе утверждение.

Собственно, final tagless (и её ОО аналог, object algebra) - это лучшее решение для eDSL на статически типизированных языках.

источник

23:56пожаловаться #13

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Расширяемые как в плане добавления новых элементов, так и в плане способ интерпретации.

Не требуют при этом каких либо правок в язык, на практически любом из мейнстримовых языков можно запросто этой техникой воспользоваться.

источник

23:58пожаловаться #14

I

Igor in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Ну не хочу я писать императивно 🤷‍♀️ (даже на алгебрах).
Хочу как в кложурке - данные и чистые трансформации.

(эффекты в уголок заметем).

источник

23:59пожаловаться #15

2020 May 06

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Ну не хочу я писать императивно 🤷‍♀️ (даже на алгебрах).
Хочу как в кложурке - данные и чистые трансформации.

(эффекты в уголок заметем).

Так это не про эффекты и императивность

источник

00:01пожаловаться #16

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Это про любые eDSL

источник

00:01пожаловаться #17

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Эффекты - это частный случай

источник

00:01пожаловаться #18

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Т.е. у того же Киселева не слова про эффекты

источник

00:01пожаловаться #19

I

Igor in F# Flood: ПДД made functional, making illegal state INGIBDDdale

Возможно есть еще какие-то изотерические задачи для tf,
но в повседневной разработке ПО _мне_ только случай c эффектами и интересен.

источник

00:03пожаловаться #20