Вопросы по теме 'frege'

Haskell на JVM?
Мне интересно, есть ли способ заставить Haskell работать на JVM (скомпилированный или интерпретируемый)? На Sourceforge существует JHaskell, но этот кажется пустым и мертвым. GHC использует LLVM в качестве серверной части компилятора. Было бы...
19163 просмотров
schedule 22.05.2024

Могу ли я использовать перечисления с плавающей запятой в Frege?
Я попытался println [1.0, 1.25..2.0] но получил Double is not an instance of Enum Однако я не смог найти эту проблему в «отличиях от Haskell». Есть ли рекомендуемая альтернатива?
54 просмотров
schedule 13.11.2022

как мне скомпилировать все исходное дерево Фреге
Следуя ответам на как использовать несколько встроенных утверждений в Frege Я научился компилировать два модуля Frege A и B, где B зависит от A: вам нужно скомпилировать B. Если указана опция -make, компилятор обнаружит, что B зависит от A, и...
175 просмотров
schedule 12.12.2022

Существует ли систематическая верхняя граница оценки по Фреге?
Просто из любопытства я попробовал этот код во Фреге: println (mydrop 30000000 [1..30000001]) Само собой разумеется, что последовательность из 30 миллионов записей — это глупо, и я был бы в порядке с OOME. Я хотел посмотреть, имеет ли здесь...
91 просмотров
schedule 20.03.2024

Используйте список Фреге из кода Java
Я хотел бы понять, как работает список Фреге и как его можно использовать из Java. Пока я загружал код компилятора Фреге, мне было трудно понять, что такое список Фреге из кода Фреге. Проведя несколько тестов, я увидел, что список Фреге является...
451 просмотров
schedule 20.11.2023

Тип не такой полиморфный, как предполагалось
Я пытаюсь создать экземпляр Functor для следующего типа данных: data Event t a = Event { runEvent :: t -> ([a], Event t a) } instance Functor (Event t) where fmap :: (a -> b) -> Event t a -> Event t b fmap f e = Event go...
30 просмотров
schedule 23.12.2023