ghc- все статьи тега
Что делает ключевое слово 'forall' в Haskell/GHC?
я начинаю понимать, как forall ключевое слово используется в так называемых "экзистенциальных типов" вроде этого: data ShowBox = forall s. Show s => SB s это только подмножество, однако, как forall используется, и я просто не могу обернуть свой ум вокруг его использования в таких вещах, как это: runST :: forall a. (forall s. ST s a) -> a или объясняя, почему они разные: foo :: (forall a. a -> a) -> (Char,Bool) bar :: forall a. ((a -> a) -> (Char, Bool)) и все RankNType ...
Как запустить файл haskell в интерпретируемом режиме
Мне сказали, что вы можете интерпретировать файлы haskell (что, как я предполагаю, означает, что они будут работать как Ruby/Python/Perl). Однако не удается найти параметр командной строки на ghc для этого. Он всегда хочет скомпилировать мой файл. Взглянул и на ghci, но он всегда бросает меня в repl. Я в основном хочу просто сделать ghc -i MyFile.hs (где-i-это составленный флаг, который я притворяюсь соответствующим интерпретируемому режиму) и выполняю его, чтобы я мог получить быструю обратную ...
Смешивая Эрланг и Хаскель
Если вы купились на парадигму функционального программирования, скорее всего, Вам нравятся как Эрланг, так и Хаскелл. Оба имеют чисто функциональные ядра и другие преимущества, такие как легкие нити, которые делают их хорошо подходящими для многоядерного мира. Но есть и некоторые отличия. Erlang-это коммерчески проверенный отказоустойчивый язык со зрелой моделью распределения. Он имеет, казалось бы, уникальную особенность в его способности обновить свою версию во время выполнения с помощью г ...