Как выполнить скомпилированный код, снятый в онлайн-реплик Frege

Question

Хорошо, я думаю, что это глупый вопрос для начинающих:

Я пытаюсь выучить Фреге через онлайн репл. Для этого, хотя было бы неплохо вставить примеры кода из Real World Frege Дирка в верхнее правое окно repl, нажать compile и...? Как мне запустить этот код?

Answer 1

Я думаю, что частично нашел ответ сам:

:java Команда в командной строке показывает сгенерированный код. В этом коде видно, что скомпилированный модуль автоматически импортируется, поэтому нам не нужно ссылаться на него.

Теперь, если мы возьмем пример HelloWorld из repl, он просто выполняется, набрав

frege> main

в левое окно.

Дирк использует для своих примеров синтаксис

main _ = do

Если мы сейчас введем

frege> main

мы только получаем

:: a -> IO ()

в качестве вывода. Но если мы введем

frege> main "something"

ответ дает ожидаемый результат. Хотя я до сих пор не знаю, что происходит, это помогает мне в моих следующих шагах:-)