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

parrot.ru

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

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

ФП

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

2020 September 13

K

Окей, нет такой вещи как null
Но в ленивом хаскеле есть undefined - проблемы с которым чота-типа "изоморфны" проблемам с null (там где тот есть)

Это так на мой непросвещённый взгляд,
прошу разубедить

undefined - это "уронить рантайм, если дойдёт до вычисления значения"

Технически, оно выбрасывает UserError, который можно поймать.

Разница с null в том, что c null можно сравнивать, а с undefined - нет.

источник

15:33пожаловаться #1

IK

Ilya Kos in ФП

Проблему с null возможно поймать, проблему с undefined если и возможно, то очень сложно

источник

15:36пожаловаться #2

IK

Ilya Kos in ФП

undefined - это "уронить рантайм, если дойдёт до вычисления значения"

Технически, оно выбрасывает UserError, который можно поймать.

Разница с null в том, что c null можно сравнивать, а с undefined - нет.

Да, null — нормально значение

undefined — вообще отсутствие значения

источник

15:37пожаловаться #3

K

x <- (case undefined of True -> return 1; _ -> return 2) `catch` \(e :: SomeException) -> do print e; return 3

x будет 3

источник

15:37пожаловаться #4

IK

Ilya Kos in ФП

Окей, нет такой вещи как null
Но в ленивом хаскеле есть undefined - проблемы с которым чота-типа "изоморфны" проблемам с null (там где тот есть)

Это так на мой непросвещённый взгляд,
прошу разубедить

Есть такое понятие как bottom

undefined и бесконечная рекурсия это оба bottom. С точки зрения чистого кода они не различимы.

источник

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

IK

Ilya Kos in ФП

В Haskell может быть бесконечная рекурсия типа Int

источник

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

IK

Ilya Kos in ФП

В строгих языках не может

источник

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

IK

Ilya Kos in ФП

И ещё есть различие что если функция использует bottom, то ее результат сам становится bottom

С null так чаще всего не работает

источник

15:40пожаловаться #8

IK

Ilya Kos in ФП

И на практике случайно (ошибка разработчика) получить bottom в Haskell сильно сложнее, чем случайно получить null в Java

источник

15:42пожаловаться #9

K

И ещё есть различие что если функция использует bottom, то ее результат сам становится bottom

С null так чаще всего не работает

> если функция использует bottom, то ее результат сам становится bottom

Вот не факт. К сваливанию в bottom ведёт только попытка вычислить bottom - то есть сделать pattern-match, передать как strict-аргумент или скормить примитивной функции.

источник

15:43пожаловаться #10

IK

Ilya Kos in ФП

> если функция использует bottom, то ее результат сам становится bottom

Вот не факт. К сваливанию в bottom ведёт только попытка вычислить bottom - то есть сделать pattern-match, передать как strict-аргумент или скормить примитивной функции.

Ну я поэтому и сказал «использует», а не «принимает»

источник

15:43пожаловаться #11

K

А

источник

15:43пожаловаться #12

IK

Ilya Kos in ФП

Если принять, но не посмотреть значение, то оно вообще ни на что влиять не может

источник

15:44пожаловаться #13

IK

Ilya Kos in ФП

И на практике случайно (ошибка разработчика) получить bottom в Haskell сильно сложнее, чем случайно получить null в Java

Поэтому по моему субъективному мнению, на практике в Haskell проблема с bottom не стоит так, как она стоит с null в какой-нибудь Java

источник

15:45пожаловаться #14

ЗП

Зигохистоморфный Пре... in ФП

void 0

источник

17:44пожаловаться #15

2020 September 14

IK

Ilya Kos in ФП

?

источник

21:36пожаловаться #16

2020 September 16

L

Ахтунг
SJW/BLM/феминизм учит теоркату
https://youtu.be/ho7oagHeqNc?t=1620

Category Theory in Life - Eugenia Cheng

This presentation was the opening keynote of Lambda World 2017 by Dr. Eugenia Cheng.

Follow:
-https://www.twitter.com/47deg
-https://www.twitter.com/lambda_world

Visit:
-https://www.47deg.com/events for more details.

___

Category theory can be thought of as being 'very abstract algebra'. It is thought of as 'too abstract' by some people, and as 'abstract nonsense' by some others. In this talk, I will show that while it is abstract, it is far from being nonsense. I will argue that the abstraction has a purpose and that broad applicability is one of the powerful consequences. To demonstrate this, I will show how I apply concepts of category theory to important questions of life such as prejudice, privilege, blame and responsibility. I will introduce the category theory concepts from scratch so no prior knowledge is needed. These concepts will include objects and morphisms, isomorphisms and universal properties.

источник

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

L

Это я ещё на дату не посмотрел.. годы идут, партактив плодится и размножается

источник

03:26пожаловаться #18

L

Ну вот окружения хаскелиста и дотнетчика  -  
   явно, разные наследники наиболее общего рантайма (ОС)

Но что если 1% нуждается в обоих стеках?  
Поскольку экосистемы абсолютно разные, возможно 
множественное коммутативное наследование (порядок не важен)

Интересна прежде всего формализация этой ситуации, когда такое возможно

В противоположной (некоммутативной) ситуации 
выбор порядка наследования сразу же делает результат негодным для класса проектов.
И вот опять, что это за класс? Нужны ресёрч и формализация

Каждая некоммутативная развилка в "дуальном" 
графе билда отсекает класс проектов. Следовательно если надо дойти
до определённого финала, большинство веток этого графа 
можно вычеркнуть из рассмотрения

Посмотрел я 1/3 Милевского, вроде как зашло наконец.
Останавливаться не планирую

Выходит, интересна категория, где стрелки - специализации окружения.

А "правильные" билды специализации окружения являются натур. трансформациями.
В том смысле, что если в неправильно специализированном окружении что-то билдится, это всего лишь везуха

источник

03:43пожаловаться #19

L

В последние годы пошли пейперы по генеративным эффектам, пытаются в подобной везухе выделить воспроизводимый конструктив и обезвредить хаос

источник

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