Size: a a a

2021 May 25

X

XÆA-XII in Haskell
Всё равно
источник

X

XÆA-XII in Haskell
/bin/cc returned ExitFailure 1 with error message:
/bin/ld: cannot find -llol

из -v3
источник

LO

Leonid 🦇 Onokhov in Haskell
.so то как называется?
источник

X

XÆA-XII in Haskell
источник

LO

Leonid 🦇 Onokhov in Haskell
а должно liblol.so
источник

X

XÆA-XII in Haskell
Блиин
источник

X

XÆA-XII in Haskell
Всё, слинковалось наконец
источник

MK

Maxim Koltsov in Haskell
извините, у нас тут POSIX
источник
2021 May 26

AV

Andrey Vlasov in Haskell
Привет, как сделать "ассоциированную константу" как в расте?
trait Class {
   const NAME: &str;
}

Вот так не получается:
class Class a where
   name :: String

Пишет Could not deduce (Request a0) — я так понимаю, он ждёт аргумента, чей тип включает в себя a, но мне нужна константа, а не функция
источник

MK

Maxim Koltsov in Haskell
тебе нужны расширения AllowAmbigousTypes и TypeApplications
источник

MK

Maxim Koltsov in Haskell
и можно будет писать


instance Class Foo where
 name = "foo"

> putStrLn $ name @Foo
foo
источник

AV

Andrey Vlasov in Haskell
Спасибо. Я думал, можно получше
источник

MK

Maxim Koltsov in Haskell
а чем это плохо?)
источник

AV

Andrey Vlasov in Haskell
AllowAmbigousTypes звучит как-то нехорошо, не знаю 🤷‍♂️
источник

MK

Maxim Koltsov in Haskell
нет, это абсолютно нормальное и безопасное расширение
источник

Oℕ

Oleg ℕizhnik in Haskell
name :: Tagged a Text
источник

in Haskell
тогда то, что в расте по умолчанию включено ambiguous поведение, вас не смущает?
источник

Oℕ

Oleg ℕizhnik in Haskell
не включено
источник

Oℕ

Oleg ℕizhnik in Haskell
в расте нельзя к этому полю обратиться просто NAME, нужно писать <Foo>::NAME или Self::NAME, поэтому неоднозначности исключены
источник

AV

Andrey Vlasov in Haskell
Интересно, спасибо
источник