ghc

4зной

1ответ

У меня есть библиотека Haskell с несколькими исполняемыми файлами (тесты, тесты и т. Д.), Всего около шести. Когда я делаю рефакторинг в библиотеке, мне обычно нужно внести небольшое изменение в кажды

1зной

2ответ

Являются ли «длинные» вызовы переписанными как постоянные ints GHC?

Просто случайное размышление, глядя на мои многочисленные звонки length, мне приходит в голову, что компилятор может рассказать длину любого списка благодаря неизменяемости и ссылочной прозрачности (д

7зной

1ответ

Почему DuplicateRecordFields не может иметь тип вывода?

Похожие темы: How to disambiguate selector function? https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields Однако, мы не определить тип аргумента, чтобы определить

8зной

1ответ

«Вид» путают насчет forall в индексированных по типу GADT

Я столкнулся с нечетной ситуацией в GHC 8.0.1 с добрыми индексами (?) GADT, где введение динамиков в подписи типа vs kind производит различную проверку типов поведения. Рассмотрим следующие типы данны

4зной

2ответ

Понимание этого определения HList

Я относительно новичок в Haskell, и я пытаюсь понять одно из определений HList. data instance HList '[] = HNil newtype instance HList (x ': xs) = HCons1 (x, HList xs) pattern HCons x xs = HCons1 (x,

0зной

1ответ

Запуск сценария (не модуль) с GHC

Ранее я использовал ghc версию < 8 на Linux, и когда у меня был сценарий в файле, скажем file.hs, как let x = "hello" putStrLn x double x=2*x print $ double 2 double 3 тогда можно было запустить