Как запустить программы Фреге на Android?

Основное препятствие, которое я вижу, заключается в том, что в настоящее время невозможно скомпилировать исходный код frege в класс java, который реализует какой-либо интерфейс или расширяет другой класс.

Вместо этого класс java, созданный из модуля frege, является просто пространством имен для статических методов и других вещей, которые вы определили.

Следовательно, чтобы сделать более чем тривиальный Android-проект, будет недостаточно вызвать java из frege, что довольно просто, но еще и вызвать frege из java. Другими словами, вам потребуется полная интероперабельность в буквальном смысле.

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

Я еще не делал проект для Android, поэтому я не уверен, сколько нужно связующего кода.

Последнее предупреждение: предыдущая работа Габриэля Рибы была сделана с помощью более ранней версии компилятора. Есть даже ссылка на дистрибутив frege, поддерживающий JDK6 — пожалуйста, не используйте его, он не совместим с более поздними версиями.

Если вы все же готовы взяться за это, вы получите всю возможную поддержку через группу Google, упомянутую выше. Было бы слишком здорово, если бы кто-то сделал и задокументировал какой-то «канонический» способ добиться этого.

Я не знаком с frege и не пробовал использовать scala или другие языки JVM на Android.

При этом, если бы я попробовал что-то подобное, я бы, вероятно, предпринял следующие шаги, чтобы попытаться выяснить, как заставить это работать.

1. Создайте простое приложение типа HelloWorld на основе командной строки в frege, которое можно запускать, например. java -jar HelloWorld.jar HelloWorld

2. Запустите dx на HelloWorld.jar, а затем попробуйте заставить пример работать на устройстве Android из оболочки adb, используя dalvikvm. то есть dalvikvm -cp blah.dex HelloWorld

3. Выясните, как ссылаться/использовать классы из android.jar, предоставленного Android sdk в frege.

4. Создайте простое доказательство концепции класса Activity в frege и вручную создайте из него файл class.dex.

5. Создайте аналогичное приложение для проверки концепции на Java и используйте существующие инструменты Android для создания apk.

6. Замените class.dex в apk, откажитесь от apk и посмотрите, работает ли он.

7. Если вы так много работаете, то оттуда вы можете поработать над лучшей историей сборки для frege, используя aapt для компиляции ресурсов и, в конечном итоге, создать полный apk «с нуля».

Если вы хотите написать свое приложение полностью во Фреге, это будет сложнее. Вам нужно будет написать оболочку для Android API, поскольку оболочка FregeAndroid кажется отсутствуют некоторые файлы.

Однако, если вы хотите написать свой пользовательский интерфейс на Java и вызвать Frege для логики вашего приложения, у меня есть пример проекта, который показывает, как это сделать.

Мой пример проекта имеет эту функцию во Фреге:

extraText :: String -> String
extraText who = "\nHello, " ++ who ++ "!"

который я затем вызываю из Java:

public class FregeActivity extends Activity
{
    /** Called when the activity is first created. */
    @Override
    public void onCreate(Bundle savedInstanceState)
    {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.main);
        TextView textView = (TextView) findViewById(R.id.txt);
        textView.append(FregeCode.extraText("Android"));
    }
}

который выглядит так

В моем примере проекта используется Frege 3.23, поэтому для этого вы должны использовать old способ вызова Frege из Java. Я не пробовал использовать Frege 3.24, но если вы хотите попробовать, используйте по-новому.

Единственной действительно сложной частью было получение build.gradle, которое будет строить код Фреге. Я начал с фрагмента, опубликованного Андреасом Лендле. в списке рассылки Frege, а затем преобразовал его в полный build.gradle. Мне не удалось заставить Proguard работать, поэтому получившийся APK содержит все файлы frege.jar. Это немного раздувает приложение и требует включения Multidex. , а в остальном вроде нормально.

Также обратите внимание, что для моего примера проекта требуется API уровня 21 или выше, поскольку Фреге требуется ForkJoinPool, который доступен только для Android. имеет уровень 21 и выше.

Из всего, что я могу почерпнуть из быстрого веб-поиска, включая несколько обращений из списка рассылки frege — языка программирования, не похоже, что приложение для Android только для Frege возможно.

Вместо этого вам придется взять какой-нибудь другой язык с поддержкой Android и использовать его для вызова вашего кода Фреге. Генерация таких «заглушек», возможно, может выполняться автоматически, но я не видел существующего инструмента для этого.

Есть также проблемы с кодом Java, сгенерированным Frege и компиляторами Java для Android, но, похоже, это относительно легко решить с помощью инструментов ретроперевода.

https://groups.google.com/forum/#!topic/frege-programming-language/Ounzmu-oHJQ https://groups.google.com/forum/#!topic/frege-programming-language/8bkWorojiiY

Я также хотел бы иметь ссылочно-прозрачный, строго типизированный язык с параметрическим полиморфизмом и специальным полиморфизмом, доступным для разработки под Android. Пока этого нет, я рекомендую Scala для разработки под Android.

Для тех, кто все еще заинтересован, у меня есть запись в блоге об этом здесь. Вы должны настроить свою сборку gradle, чтобы скомпилировать код Frege в java и поместить его в исходный путь java. Затем вам нужно создать подкласс активности и определить некоторые пользовательские оболочки.

data Bundle = native android.os.Bundle

data Context = native android.content.Context

data FregeActivity = native android.app.Activity where
    native getApplicationContext :: MutableIO FregeActivity -> IO (MutableIO Context)
    native setContentView :: MutableIO FregeActivity -> MutableIO TextView -> IO ()

data TextView = native android.widget.TextView where
    native new :: MutableIO Context -> STMutable RealWorld TextView
    native setText :: MutableIO TextView -> String -> IO ()

onCreateF :: MutableIO FregeActivity -> IO ()
onCreateF !this = do
    context <- this.getApplicationContext
    tv <- TextView.new context
    tv.setText "Hello, Android - Love, Frege"
    this.setContentView tv

native module type FregeActivity where {
    @Override
    public void onCreate(android.os.Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        final frege.run7.Func.U<Object,Short> res = RunTM.<frege.run7.Func.U<Object,Short>>cast(onCreateF(this)).call();
        frege.prelude.PreludeBase.TST.run(res).call();
    }
}