Size: a a a

2021 March 16

JS

Jerzy Syrowiecki in Haskell
Dmitriy Mozhevitin
А когда stack при исполнении stack test пишет
*матерные ругательства и ошибки*
Logs printed to console
куда он пишет эти логи и как их посмотреть?)
дайте весь текст, пожалуйста
источник

JS

Jerzy Syrowiecki in Haskell
если ошибки во внешнем пакете (не в вашем проекте), то логи могут быть в ~/.stack
источник

KE

Kirill Elizarov in Haskell
А кто-нибудь знает каков статус либы amazonka? И допустим если мне надо из хаскеля взаимодействовать с амазоном, то какой подход лучше использовать сейчас? Заметил что либа на гитхабе уже как года 2 не обновлялась а ишью только скопились.
источник

JS

Jerzy Syrowiecki in Haskell
Kirill Elizarov
А кто-нибудь знает каков статус либы amazonka? И допустим если мне надо из хаскеля взаимодействовать с амазоном, то какой подход лучше использовать сейчас? Заметил что либа на гитхабе уже как года 2 не обновлялась а ишью только скопились.
@dshevchenko вроде использовал
источник

S

Sooqa in Haskell
Переслано от Sooqa
ку. ктонибудь может подсказать почему жшс ругается что тайп вериаблы не в скоупе, хотя я включил scoped type variables

`
class (forall a b s t1 . Convertible a s b t1, Convertible b t1 a s)
  => HasTrivialInvertion m where
  invert :: a -> s -> b
`
источник

DS

Denis Shevchenko in Haskell
Jerzy Syrowiecki
@dshevchenko вроде использовал
Да, я использовал амазонку, когда работал ещё в Залоре. Но это было настолько давно, что уже и неправда. 😊
источник

KE

Kirill Elizarov in Haskell
Эх, я тоже года 1.5 назад последний раз использовал, просто интересно как сейчас в полях работают с авс. 🙂
источник

KV

Kirill Valyavin in Haskell
Sooqa
Переслано от Sooqa
ку. ктонибудь может подсказать почему жшс ругается что тайп вериаблы не в скоупе, хотя я включил scoped type variables

`
class (forall a b s t1 . Convertible a s b t1, Convertible b t1 a s)
  => HasTrivialInvertion m where
  invert :: a -> s -> b
`
Вероятно, надо прописать явные фороллы
источник

S

Sooqa in Haskell
Kirill Valyavin
Вероятно, надо прописать явные фороллы
А куда их прописывать то? Там же нет места
источник

KV

Kirill Valyavin in Haskell
А, они уже есть
источник

JS

Jerzy Syrowiecki in Haskell
Sooqa
Переслано от Sooqa
ку. ктонибудь может подсказать почему жшс ругается что тайп вериаблы не в скоупе, хотя я включил scoped type variables

`
class (forall a b s t1 . Convertible a s b t1, Convertible b t1 a s)
  => HasTrivialInvertion m where
  invert :: a -> s -> b
`
какие именно вариаблы? a b s t1 — нельзя вытащить из HasTrivialInvertion m
источник

S

Sooqa in Haskell
Jerzy Syrowiecki
какие именно вариаблы? a b s t1 — нельзя вытащить из HasTrivialInvertion m
Даже если скоупд тайп вериаблс включить?
источник

JS

Jerzy Syrowiecki in Haskell
Sooqa
Даже если скоупд тайп вериаблс включить?
да, потому что в этом нет смысла
источник

JS

Jerzy Syrowiecki in Haskell
Sooqa
Даже если скоупд тайп вериаблс включить?
у вас есть только m. на какие a b s вы хотите задавать ограничения?
источник

S

Sooqa in Haskell
Jerzy Syrowiecki
да, потому что в этом нет смысла
Всмысле, они же в членах класса упоминаются
источник

JS

Jerzy Syrowiecki in Haskell
Sooqa
Всмысле, они же в членах класса упоминаются
в голове можно задавать ограничения только на переменные в голове. если переменные появляются только в методах, то и ограничения должны быть там, где эти переменные появляются
источник

S

Sooqa in Haskell
Jerzy Syrowiecki
в голове можно задавать ограничения только на переменные в голове. если переменные появляются только в методах, то и ограничения должны быть там, где эти переменные появляются
Они тогда будут локальными для каждого метода, а не для всех методов
источник

JS

Jerzy Syrowiecki in Haskell
Sooqa
Они тогда будут локальными для каждого метода, а не для всех методов
лучше опишите человеческими словами, что вы хотите от класса. потому что там ещё и m нет в методе, вообще всё непонятно
источник

S

Sooqa in Haskell
допустим у меня есть это
class Convertible initar supplement finit residue where
 transform :: initar -> supplement -> (finit, residue)

дальше я хочу сказать что два типа идентичны если их можно превратить один в другой без потери информации или необходимости добавлять информацию
class (forall a b . Convertible b () a (), Convertible a () b ())
  => Identical a b

Даьлше я хочу сказать что два типа обратимы если при конвертации из одного в лругой теряется информация, которая достаточна чтобы совершить обратное преобразование при условии что существует прообразование отстаток от которого достаточен чтобы превратить один тип в лругой
class (forall a b s t1 . Convertible a s b t1, Convertible b t1 a s)
  => HasTrivialInvertion a

Последнее не компилируется
источник

S

Sooqa in Haskell
Скажем если [a] превратить в head [a] то остаток будет tail [a]
источник