Вопросы по теме '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