Size: a a a

2020 July 15

JM

Jonn Mostovoy in Haskell
Ruben
Ага, получилось. Эта конструкция накладывает ограничения на а, чтобы a принадлежало к классу Show?
Абсолютно верно! Теперь все Rect для которых a имеет Show будут тоже иметь Show. При этом вы всё равно можете создать вариант Rect от функции, например (у которой нет Show).

Иными словами это ограничение наложено только на имплементацию Show (Rect a) но не на сам Rect a.
источник

R

Ruben in Haskell
Спасибо
источник

KV

Kirill Valyavin in Haskell
greelot
В вашем хаскелле так много философии
Есть математическое определение, оно очень точное и не очень понятное сходу, можете сразу его посмотреть (теория категорий)

А так вообще, например: это абстракция, интерфейс которой позволяет соединять вычисления в каком-то порядке, где последующие вычисления зависят от результатов предыдущих
источник

g

greelot in Haskell
Kirill Valyavin
Есть математическое определение, оно очень точное и не очень понятное сходу, можете сразу его посмотреть (теория категорий)

А так вообще, например: это абстракция, интерфейс которой позволяет соединять вычисления в каком-то порядке, где последующие вычисления зависят от результатов предыдущих
Так и знал, без вышмата лезть нельзя
источник

KV

Kirill Valyavin in Haskell
greelot
Так и знал, без вышмата лезть нельзя
Да можно
источник

а

а это кто in Haskell
greelot
Так и знал, без вышмата лезть нельзя
Можно
источник

KV

Kirill Valyavin in Haskell
Примеры разные посмотреть, получить какую-то интуицию и ей пользоваться, как везде, а знание математического определения ни добавит, ни убавит особо
источник

JM

Jonn Mostovoy in Haskell
А дискретка вообще в русскоязычной традиции считается высшей математикой?
источник

KV

Kirill Valyavin in Haskell
Это просто если надоела философия и хочется точности, то вот
источник

KV

Kirill Valyavin in Haskell
Jonn Mostovoy
А дискретка вообще в русскоязычной традиции считается высшей математикой?
Вроде вышматом называют всё что даётся не в школе, так что да
источник

JM

Jonn Mostovoy in Haskell
Ок!
источник

KZ

Kirill Zaborsky in Haskell
@swamp_agr а ты не в курсе компоненты кабальные в package-db вообще как-то фигурируют или кабал их из говна и палок рядом изображает? Подозреваю что (множественные) либы должны появляться, но есть же и экзешники те же...
источник

A

Andrey in Haskell
Kirill Zaborsky
@swamp_agr а ты не в курсе компоненты кабальные в package-db вообще как-то фигурируют или кабал их из говна и палок рядом изображает? Подозреваю что (множественные) либы должны появляться, но есть же и экзешники те же...
надо на выхлоп ghc-pkg смотреть, так не помню сходу
источник

A

Andrey in Haskell
или cabal пускать с verbose флагом и продираться сквозь тонны текста
источник

A

Andrey in Haskell
я как тогда разобрался с вашей помощью со sdist - так и забыл это, как страшный сон
источник

KZ

Kirill Zaborsky in Haskell
там просто кривой дизайн изначально т.к. экзешники это не либы, но в зависимостях может быть и то и другое
источник

KZ

Kirill Zaborsky in Haskell
ок, просто вдруг ты в эту сторону забредал, покопаю сам, спасибо
источник

A

Andrey in Haskell
блин, сурово это всё
источник

A

Andrey in Haskell
не, туда не забредал 😊
источник

NI

Nick Ivanych in Haskell
greelot
Так и знал, без вышмата лезть нельзя
Это не так.
источник