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

Leonid 🦇 Onokhov

и чо там про инкапсуляцию?

вариация кметтовской мысли про тупые данные

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

может и не вариация даже, а оно и есть

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

λоλторт in haskell_blah

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

Это какой-то неправильный хаскеллист

покажите правильного хаскелиста

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

типа экспортируйте всё, мадки сраные?

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

Andrey in haskell_blah

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

Тут еще несколько имен отсутствуют

огласите весь список

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

Слава in haskell_blah

Oleg ℕizhnik

А него есть список как у Арьи Старк?

Что за арьедрочерство

Александр Гранин... in haskell_blah

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

АГ

карьердрочество

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

арендрочерство

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

Oℕ

Oleg ℕizhnik in haskell_blah

A64m AL256m qn I0

арендрочерство

ммммм

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

Alex Zhukovsky in haskell_blah

мой арендодрочер повысил плату - а что, звучит

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

Oℕ

Oleg ℕizhnik in haskell_blah

нет

Arend is a theorem prover based on Homotopy Type Theory. It natively supports higher inductive types and a version of cubical syntax. IntelliJ Arend is a plugin for IntelliJ IDEA that turns it into a full-fledged IDE for the Arend language.

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

Oℕ

Oleg ℕizhnik in haskell_blah

неправильно распарсено
Arendрочерство

Arend Theorem Prover

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

как я буду арендом-то дрочить? там такие \ везде, даже смотреть больно

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

Зато парсить просто

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

а, это для лисперов значит

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

Главное чтобы разработчику было удобно

15:52пожаловаться #16

Alexander Vershilov in haskell_blah

Leonid 🦇 Onokhov

так вершилов не математик

Он физик!

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

Alexander Vershilov in haskell_blah

Хотя стоп Худяков и Клапауций тоже физики

15:52пожаловаться #18

Alexander Vershilov

Он физик!

Физик-оперденьщик

Александр Гранин... in haskell_blah

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

АГ

ПОНВ потихоньку протекает в виде ужасных стикеров