Size: a a a

2021 May 03

к

кана in Haskell
type Optical p q f s t a b
источник

DB

Danil Berestov in Haskell
это всё не о том
источник

DB

Danil Berestov in Haskell
че за p q?
источник

к

кана in Haskell
малый и большой профункторы

p a (f b) -> q s (f t)
источник

AS

Alexander Smirnov in Haskell
Добрались проклятые академики
источник

DB

Danil Berestov in Haskell
а зачем они наружу вместе с функтором торчат?
источник

AS

Alexander Smirnov in Haskell
Кто еще догадается называть переменную в нетривиальной сигнатуре одной буквой?
источник

к

кана in Haskell
потому что для разных оптик они разные
источник

DB

Danil Berestov in Haskell
s t a b это канонические буковы
источник

AF

Alexey Fedotov in Haskell
а как ещё их называть?
источник

к

кана in Haskell
источник

DI

Dmitry Ivanov in Haskell
     union { uint64_t halves[2]; __m128i whole; } eight_chars; 
выразите мне на лиспе или хаскеле, пожалуйста
источник

DI

Dmitry Ivanov in Haskell
а то приходится на сишечке писать
источник

DB

Danil Berestov in Haskell
а что выразить? выравнивание или перфоманс?)
источник

AS

Alexander Smirnov in Haskell
В Data.Binary есть возможность выражать такие штуки в рантайме
источник

AF

Alexey Fedotov in Haskell
может надо вспомнить, как называются соответствующие компоненты профунктора в реальном мире и дать им человекопонятные имена? а, кстати, в реальном мире есть профункторы?
источник

DB

Danil Berestov in Haskell
чтоз начит в реальном мире?
источник

DI

Dmitry Ivanov in Haskell
выразить memory layout и интринзики для simd
источник

AS

Alexander Smirnov in Haskell
Функция это профунктор
источник

X

XÆA-XII in Haskell
Есть, там мемы постят ещё
источник