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

parrot.ru

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

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

2020 May 18

JS

Jerzy Syrowiecki in Haskell

type Monad m = ((a -> b) -> (m a -> m b), a -> m a, m (m a) -> m a)

maybeMonad : Monad Maybe

maybeMonad - монада

твоя буквальная аналогия сосёт, потому что естественно-языковому "являться" в математике соответствует много разных вещей.

я приводил аналогию в более расслабленном варианте

источник

11:22пожаловаться #1

к

кана in Haskell

ну я буквально использовал твою собственную аналогию и заменил одно на другое

источник

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

JS

Jerzy Syrowiecki in Haskell

да, проблема в буквальности

источник

11:24пожаловаться #3

YS

Yan Shkurinskiy in Haskell

Вот и говори потом, что мейби - монада х(

источник

11:24пожаловаться #4

к

кана in Haskell

на самом деле конечно это в порядке вещей использовать носитель структуры как всю систему, если подразумевается что структура очевидна, мы говорим что R - кольцо, а не (R, +, -, *, 0)

источник

11:25пожаловаться #5

JS

Jerzy Syrowiecki in Haskell

смотри. директор — это по определению должность или человек? можно сказать, что господин Фу назначен директором, можно сказать, что Фу является директором. является ли господин Фу должностью?

источник

11:27пожаловаться #6

JS

Jerzy Syrowiecki in Haskell

Yan Shkurinskiy

Вот и говори потом, что мейби - монада х(

да, я говорю, и всем советую

источник

11:27пожаловаться #7

YS

Yan Shkurinskiy in Haskell

кстати, аналогия с директором сильно понятна!

источник

11:28пожаловаться #8

YS

Yaroslav Seliverstov in Haskell

Должность это обёртка над Фу получается, да?

источник

11:31пожаловаться #9

JS

Jerzy Syrowiecki in Haskell

правда, есть ещё такая проблема: люди, не знающие Хаскель и теорката, про любой опшонал говорят "монадамэйби", даже если их опшонал не удовлетворяет монадным законам. потому что они где-то узнали, что Maybe — это монада, и они склеились в голове

источник

11:31пожаловаться #10

к

кана in Haskell

Jerzy Syrowiecki

смотри. директор — это по определению должность или человек? можно сказать, что господин Фу назначен директором, можно сказать, что Фу является директором. является ли господин Фу должностью?

аналогия не очень, директор это класс всех людей, которые имеют должность директор, но иногда класс состоит из одного элемента

источник

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

к

кана in Haskell

но не всегда

источник

11:32пожаловаться #12

JS

Jerzy Syrowiecki in Haskell

Yaroslav Seliverstov

Должность это обёртка над Фу получается, да?

нет, получается, что "является" в естественном яызке говорят в значении "имеет свойство"

источник

11:32пожаловаться #13

YS

Yaroslav Seliverstov in Haskell

Да, согласен)

источник

11:33пожаловаться #14

к

кана in Haskell

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

источник

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

JS

Jerzy Syrowiecki in Haskell

Jerzy Syrowiecki

нет, получается, что "является" в естественном яызке говорят в значении "имеет свойство"

и это замечательно продолжается в классической теории множеств, где между множеством и предикатом нет большой разницы. к сожалению, между типом и тайпклассом в Хаскеле разница огромная

источник

11:34пожаловаться #16

к

кана in Haskell

Jerzy Syrowiecki

вот попроще:
x является типом ≠ x является Type,
но
x является типом = x : Type,

тогда почему же "≠ x является Type" ?

источник

11:36пожаловаться #17

JS

Jerzy Syrowiecki in Haskell

аналогия не очень, директор это класс всех людей, которые имеют должность директор, но иногда класс состоит из одного элемента

давай лучше так:

господин Фу — директор.
директор — руководящая должность.

господин Фу — руководящая должность?

источник

11:36пожаловаться #18

к

кана in Haskell

если как раз таки свойства Type у x вполне есть

источник

11:36пожаловаться #19

JS

Jerzy Syrowiecki in Haskell

тогда почему же "≠ x является Type" ?

потому что с кайндом Type может совпадать только кайнд Type

источник

11:37пожаловаться #20