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

13:04пожаловаться #1

Да!

13:04пожаловаться #2

ну вроде бы писать код без вэлью, если вынести все вэлью в либы и оставить тайплевел комбинаторы, можно

13:06пожаловаться #3

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

13:07пожаловаться #4

а я могу коерсом запихнуть ньютайп в функтор? 🤔

13:09пожаловаться #5

λ> f = Just 42 :: Maybe Int
λ> coerce f :: Maybe (Identity Int)
Just (Identity 42)

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

надо же, могу

13:10пожаловаться #7

а чего бы нет?

13:10пожаловаться #8

У них представление одинаковое, и всё экспортировано

13:10пожаловаться #9

иначе зачем бы coerce был нужен

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

Dmitry Ivanov in Haskell

вот смотрю я в execsnoop

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

Dmitry Ivanov in Haskell

может ghc медленно компилирует, потому что сто раз в секунду вызывает bash и clang?

Linux eBPF tracing tools, showing static and dynamic tracing with extended BPF and the open source BCC collection of tools.

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

Dmitry Ivanov in Haskell

да, это реклама execsnoop, opensnoop и всего остального из http://www.brendangregg.com/ebpf.html

Brendangregg

Linux eBPF Tracing Tools

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

когда случайно написал дата конструктор вместо тайп конструктора в сигнатуре функции, сообщение об ошибке смешное

13:27пожаловаться #14

при включённом DataKinds

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

так, а DataKinds это разве не легаси?

13:28пожаловаться #16

???

13:28пожаловаться #17

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

13:28пожаловаться #18

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

и все эти экстеншены сколапсировались в TypeInType