Описание тега frege
Фреге - это Хаскель для JVM. Как и любой Haskell, он является чисто функциональным, обладает сильной статической системой типов с глобальным выводом типов и не является строгой - также известной как ленивая - оценка.
2
ответа
Какой тип нативного конструктора, который выбрасывает исключение во Фреге?
Я пытаюсь выяснить родной интерфейс. Я пытаюсь отправить сообщение с помощью UDP, Вот что у меня есть: module UDPTest where data StringAsBytes = native java.lang.String where native getBytes :: String -> ST s (Mutable s (JArray Byte)) data InetSo…
15 фев '16 в 19:17
1
ответ
Как напечатать тип выражения в Фреге
В интерактивную оболочку и (онлайн) REPL могу войти :type 1 выяснить тип выражения "1". Есть ли какая-либо функция, которую я могу использовать из кода для достижения того же эффекта?
07 сен '13 в 21:34
1
ответ
Неполная документация Фреге
Кажется, что в javadocs по адресу http://www.frege-lang.org/doc/index.html не хватает (а именно, нет пакета frege.prelude), и, похоже, он не очень актуален. Может быть, где-нибудь есть хорошая документация для Фреге?
13 май '16 в 14:43
1
ответ
Какие проекты были успешно перенесены из Хаскелла во Фреге?
Я хотел бы узнать, как перенести код Haskell на Фреге. Есть ли какие-либо проекты, которые уже были портированы и служат хорошим примером?
04 июн '16 в 12:00
2
ответа
Как передать список целых чисел из Clojure в функцию Фреге?
Вдохновленный предыдущим вопросом, как проще всего передать список целых чисел из Java в функцию frege? и комментарий в ответах @Ingo, я пытался (Foo/myfregefunction (java.util.List. [1,2,3,4])) но получить (ctor = конструктор): CompilerException ja…
20 дек '15 в 08:46
3
ответа
Построение фляги проекта Фреге с использованием Gradle
Я бы хотел: использовать язык программирования Frege для написания простого кода "Hello World", затем с помощью компилятора Frege, генерирующего эквивалентный исходный код Java, затем создание исполняемого файла Jar для запуска из командной строки, …
03 ноя '14 в 00:04
1
ответ
Совместимость с Java во Фреге, особенно в IO Monad
Я хотел бы перевести этот код Java на Фреге Хаскелл: PApplet pApplet = new PApplet(); System.out.print(pApplet.toString()); PApplet.runSketch(new String[]{"test"}, pApplet); Я сделал так далеко: data PApplet = mutable native processing.core.PApplet …
23 фев '16 в 15:18
1
ответ
Как позвонить Фреге с Java в Eclipse?
Я не смог найти ни одного готового примера по этой теме. Мне удалось позвонить из Фреге во Фреге, а также из Java в Java в том же проекте, но я не смог получить.java-файлы для распознавания.fr-файлов Какие шаги я должен выполнить, чтобы заставить ра…
20 июл '15 в 13:35
1
ответ
Акка с Фреге работает медленнее, чем аналог Scala
В качестве упражнения я взял эти примеры Akka для Scala и Java, чтобы перенести их во Фреге. Хотя он работает нормально, он работает медленнее (11 с), чем аналог Scala(540 мс). module mmhelloworld.akkatutorialfregecore.Pi where import mmhelloworld.a…
23 июн '13 в 01:40
1
ответ
В чем разница между "пакетом" и "модулем" во Фреге?
Привет, я немного поиграл с Фреге, и в некоторых примерах я заметил, что package а также module используются взаимозаменяемо: package MyModuleOne where и иногда: module MyModuleTwo where При импорте из одного или другого я не вижу никакой разницы в …
27 авг '15 в 21:45
1
ответ
Предупреждение о нативном изменяемом поле
Что означает это предупреждение? Есть ли способ избежать этого предупреждения? Я пытался понять сообщение из кода компилятора, но не смог. frege> native sysin "java.lang.System.in" :: InputStream native function sysin :: InputStream 3: note that …
08 ноя '14 в 20:27
2
ответа
Как запустить сгенерированный код Java Frege на JVM?
Привет, мир в Haskell Frege: hello.fr: module Hello where main args = do putStrLn "Hello, World!" Этот код генерирует hello.java: /* Source code is in UTF-8 encoding. The following symbols may appear, among others: α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ …
05 авг '16 в 12:06
1
ответ
Что такое Фреге, эквивалентный функции "взаимодействия" Хаскелла?
Я пытаюсь получить пример подсчета слов из реального Haskell, работающего во Фреге: main _ = interact wordCount where wordCount input = show (length (lines input)) ++ "\n" но я получаю can't resolve `interact` Есть ли у Фреге идиоматический способ с…
12 сен '13 в 08:32
1
ответ
Решает ли Фреге вопрос "реэкспорта квалифицированных" Haskell?
Вопрос в Хаскеле: module Foo.A where foo = 42 а также module Foo.B where foo = 12 и вы хотите написать супер модуль module Foo ( module Foo.A , module Foo.B ) where import Foo.A import Foo.B который реэкспортирует эти модули, вы получите столкновени…
31 янв '16 в 09:32
1
ответ
Как оценить / запустить монаду frege IO () из Java?
Прежде всего, извините за мой английский и за то, что я пытаюсь выучить Haskell Я бы запустил код Фреге (Haskell), звонящий из java, для почти всех аспектов мне удалось заставить все это работать согласно инструкциям, найденным на различных сайтах..…
20 мар '17 в 14:17
1
ответ
Как выполнить скомпилированный код, снятый в онлайн-реплик Frege
Хорошо, я думаю, что это глупый вопрос для начинающих: Я пытаюсь выучить Фреге через онлайн репл. Для этого, хотя было бы неплохо вставить примеры кода из Real World Frege Дирка в верхнее правое окно repl, нажать compile и...? Как мне запустить этот…
25 ноя '15 в 20:38
1
ответ
Передача значений из Frege в Java и обратно
Предположим, у меня есть немая функция Фреге, которая создает пару Nums. newPair :: (Num α, Num β) => α -> β -> (α, β) newPair = (,) -- alternatively -- newPair x y = (x, y) Попытка вызвать эту функцию из Java, однако, PreludeBase.CNum<α…
17 май '16 в 15:39
1
ответ
Как использовать несколько встроенных утверждений во Фреге
Ради примеров самоконтроля я запустил следующий код: assert :: Bool -> Bool -> String -> IO () assert actual expected description | expected == actual = do { print "" } -- need a better way to do nothing | otherwise = error description main…
13 сен '13 в 16:22
1
ответ
Фреговое поведение putStr отличается от Haskell или Java
Предположим, вы запрашиваете ввод пользователя с помощью комбинации putStr а также getLine: main = do putStrLn "A line with line termination" -- printed correctly putStr "A line without line termination, e.g. to prompt for input: " -- NOT printed li…
31 июл '15 в 09:14
0
ответов
Компиляция других языков JVM в Android Studio
Я пытаюсь писать приложения для Android во Фреге, и у меня есть программа компиляции проекта после оценки следующим образом: project.afterEvaluate { extensions.compileFrege = { description = 'Compile Frege to Java' javaexec { configurations.compile.…
17 дек '16 в 22:34