Size: a a a

2021 June 18

ЗП

Зигохистоморфный Пре... in Haskell
вообще советую почитать один из моих любимых пейперов

Notions of Computation as Monoids
источник

ЗП

Зигохистоморфный Пре... in Haskell
еще это double negation translation ну и Codensity Identity
источник

ЗП

Зигохистоморфный Пре... in Haskell
а вообще у Кметта помню есть такое
https://hackage.haskell.org/package/monad-ran-0.1.0/docs/Control-Monad-Ran.html
источник

AN

Alexander N. in Haskell
кметтификация обычно моск выносит
источник

D

Dreamerinnoise in Haskell
че, нода обошла?
источник

D

Dreamerinnoise in Haskell
источник

ЗП

Зигохистоморфный Пре... in Haskell
а при чем тут кметтификация? это обычное применение representation theorem для разного вида моноидальных структур
источник

ЗП

Зигохистоморфный Пре... in Haskell
перепиши а мутабельном стиле и посмотрим
источник

D

Dreamerinnoise in Haskell
да хз
там чел без О2 запускает
benchmark ghc -O /app/prime-number/haskell/cmd.hs
источник

N

Nikita Ursol in Haskell
Зачем вообще без оптимизации запускать? 🤔
источник

D

Dreamerinnoise in Haskell
может он думал, что это всё, что есть
источник

AV

Andrey Vlasov in Haskell
Там же есть строка optimized compilation?
источник

AA

A64m AL256m qn<co... in Haskell
шоб увидеть что не зря оптимизация есть!
источник

AA

A64m AL256m qn<co... in Haskell
вон в случае паскаля вообще непонятно зачем
источник

m

monagatep in Haskell
Помнится, у Delphi оптимизация всё-таки ощутимо ускоряла прогу.
источник

[

[BRM]White Rabbit in Haskell
Запуск без оптимизации подобен запуску с оптимизацией. Только без оптимизации.
источник

ЗП

Зигохистоморфный Пре... in Haskell
чтобы не огорчаться, можно просто не запускать)
источник

m

monagatep in Haskell
Запуск с радостью подобен запуску с огорчением, только с радостью.
источник

MP

Misha Puzanov in Haskell
а кто-нибудь решал задачу приделать happy eyeballs DNS (или вообще какого угодно кастомного DNS-резолвера) к http-conduit/http-client?
источник

MP

Misha Puzanov in Haskell
http-client вроде довольно навороченный чтобы уметь что-то такое
источник