YS
(или без дефиса совсем)
Size: a a a
2020 July 04
KZ
дефис тоже может в разных местах стоять, но это уже совсем оффтоп
ЗП
Смех смехом, а какая была бы фры конструкция для контрвариантного функтора?)
ЗП
Смех смехом, а кокоманда к верху мехом :D
MK
foo =
do
print "foo"
return ()MK
Unexpected do block in function application:
do print "foo"
You could write it with parentheses
Or perhaps you meant to enable BlockArguments?MK
немного о вреде от BlockArguments
MK
ошибку указывает на
doMK
если там огромный кусок кода и в последней строчке съехал отступ, задолбаешься разбираться что именно не так
АГ
если там огромный кусок кода и в последней строчке съехал отступ, задолбаешься разбираться что именно не так
Ах, похоже я не прав. Хаскель перенимает мейнстримные практики. В данном случае - из Питона
ЗП
отлей себе мозгов
MK
надо не говорить со спамом, а админов звать
2020 July 05
R
@graninas я тут сидел думал, а что если в твоем dls будет контрвариантная позиция параметра? как тут быть тогда с твоим hfm?
не будет, у него там бывают штуки типа
то есть паттерн функтор может содержать тот тип данных, который он определяет. В итоге там можно наконтрвариантить сколько угодно
data LangF next where
ThrowException :: forall a e next. Exception e => e -> (a -> next) -> LangF next
RunSafely :: Lang a -> (Either Text a -> next) -> LangF next
type Lang a = Free LangF a
то есть паттерн функтор может содержать тот тип данных, который он определяет. В итоге там можно наконтрвариантить сколько угодно
ДП
Это неспроста. Когда все продолжения написаны в таком виде, мы можем создать TH функцию, которая делает инстанс функтора. Можешь спросить @al_lastor , он это делал
Насколько я помню, ситуация была обратная TH функция писалась, чтобы не писать однообразный код (ибо я задолбался). То есть изначально вопрос о TH вообще не ставился. Скорее всего, для других форм можно написать похожий th... но я уже сейчас подробностей не вспомню, так что судить не могу.
АБ
Здравствуйте ещё раз! У меня есть вопрос.
Контекст: Есть приложение, которое в compile-time читает (с помощью embedFile) содержимое файлика (своего конфига): https://github.com/serokell/xrefcheck
Задача: Приложение должно компилироваться под Linux и прочие POSIX-like, кросс-компилироваться Linux->Windows, и компилироваться под Windows.
Проблема:
Выбранный путь решения: Написать свой
Вопрос: Как узнать build, target, host GHC, который сейчас собирает код, ну или как узнать платформу, на которой сейчас выполняется код?
Контекст: Есть приложение, которое в compile-time читает (с помощью embedFile) содержимое файлика (своего конфига): https://github.com/serokell/xrefcheck
Задача: Приложение должно компилироваться под Linux и прочие POSIX-like, кросс-компилироваться Linux->Windows, и компилироваться под Windows.
Проблема:
System.FilePath.</> при кросс-компиляции Linux->Windows превращается в \, но я использую его в compile-time для чтения файлика, так что это не работает.Выбранный путь решения: Написать свой
</> с блэкджеком и поддержкой кросс-компиляции.Вопрос: Как узнать build, target, host GHC, который сейчас собирает код, ну или как узнать платформу, на которой сейчас выполняется код?
АБ
Гугл ответа на мой вопрос не дал, только десятки страничек с описанием процесса кросс-компиляции самого GHC.
MK
Не то?