Телеграмм чат группы haskell

Size: a a a

haskell_blah

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

2020 May 21

Alexander in haskell_blah

А где ливкодинг? Интересно посмотреть на фп

источник

19:26пожаловаться #1

Alexander in haskell_blah

В это четверг (21.05) в 19-00 пишем игру Labyrinth на фреймворке Hydra. Это сессия живого кодинга на Haskell!
Докладчик: Александр Гранин @graninas

Ссылка на zoom появится в канале за 5 минут до встречи. Всех ждём! :)

источник

19:27пожаловаться #2

Yuuri in haskell_blah

См. @fprog_spb

источник

19:27пожаловаться #3

Dollar Føølish in haskell_blah

Извините за нубский вопрос, а что есть по типу dyn Trait в хаскеле?

источник

19:28пожаловаться #4

A64m AL256m qn<co... in haskell_blah

экзистенциальные типы

источник

19:29пожаловаться #5

Dollar Føølish in haskell_blah

Понятно, спасибо. Буду гуглить

источник

19:30пожаловаться #6

кана in haskell_blah

Dollar Føølish

Извините за нубский вопрос, а что есть по типу dyn Trait в хаскеле?

источник

19:37пожаловаться #7

Dollar Føølish in haskell_blah

А как оно работает? Тоже через витейбл?

источник

19:37пожаловаться #8

Dollar Føølish in haskell_blah

Или анализом цельной программы?

источник

19:37пожаловаться #9

кана in haskell_blah

не знаю, есть ли тут витейбл, но Dyn просто содержит два значения

источник

19:38пожаловаться #10

кана in haskell_blah

1 - инстанс шоу (лежит неявно, достается в контекст при матчинге Dyn)
2 - само значение

источник

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

кана in haskell_blah

Dyn c ~ (x : a, c a)

источник

19:39пожаловаться #12

Dollar Føølish in haskell_blah

Ну да в туториалах тоже не пишут

источник

19:39пожаловаться #13

Dollar Føølish in haskell_blah

Спасибо

источник

19:39пожаловаться #14

A64m AL256m qn<co... in haskell_blah

Dollar Føølish

А как оно работает? Тоже через витейбл?

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

источник

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

Dollar Føølish in haskell_blah

Здорово

источник

19:40пожаловаться #16

λоλторт in haskell_blah

Kirill Valyavin

О, а Вы тоже политолог?

хых

источник

19:40пожаловаться #17

λоλторт in haskell_blah

Александр Гранин

Науки, - тем более такие как политология, - это деятельность, в которой знания описываются неточно, и общее видение вырабатывается путем некоторого консенсуса между учеными. Альтернативные взгляды тоже возможны. Просто у Шульман аргументы наиболее правдоподобные и убедительные (лично для меня)

> Просто у Шульман аргументы наиболее правдоподобные и убедительные (лично для меня)

Почему я не удивлён?!

источник

19:45пожаловаться #18

A64m AL256m qn<co... in haskell_blah

неправдоподобные аргументы гранин сразу отфильтровывает, возможно даже подсознательно

источник

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

λоλторт in haskell_blah

Александр @graninas, расскажите, сколько исследовательских статей вы изучили и какие данные рассматривали проверяя её аргументы на правдоподобность?

источник

19:46пожаловаться #20