Git Product home page Git Product logo

froid's Introduction

froid

A library for using the Frege programming language in Android development.

Usage and examples

To get/setup froid read the instructions on the froid Wiki. To write a simple application from scratch follow this step-by-step tutorial.

Simple Activity

module io.github.mchav.fregeandroid.FregeActivity where

import froid.app.Activity
import froid.content.Context
import froid.os.Bundle
import froid.widget.TextView

native module type Activity where {}

onCreate :: Activity -> Maybe Bundle -> IO ()
onCreate this bundle = do
	tv <- TextView.new this
	tv.setText "Hello, Android - Love, Frege"
	this.setContentView tv

Example

You can find a more involved example here. More will be available soon.

Building froid

Run compile and then package.

Contributing

A lot of what there is to do is create the bindings for the other types in android. For classes such as adapters/fragments read this to learn about the design philosophy for subclassing. Any PRs of this nature are welcome.

froid's People

Contributors

mchav avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

froid's Issues

Status update?

The wiki intro says "The plan is to have it mostly functional by May 2019"

Just wondering if there is a update to that, either regarding how functional froid is today, or what the schedule plan/hope is, if any.

Error following "building a project" instructions

Following the instructions at https://github.com/mchav/froid#building-a-project I get the error:

Error:(29, 1) A problem occurred configuring root project 'MyApplication'.
> Could not get unknown property 'compile' for configuration container.

I think it's because one or more pieces of this need to be added:

dependencies {
    compile fileTree(dir: 'libs', include: ['*.jar'])
    androidTestCompile('com.android.support.test.espresso:espresso-core:2.2.2', {
        exclude group: 'com.android.support', module: 'support-annotations'
    })
    compile 'com.android.support:appcompat-v7:24.2.1'
    compile 'com.android.support:design:24.2.1'
    testCompile 'junit:junit:4.12'
}

However given that I couldn't get that repo to build as detailed in mchav/GeoQuiz-Frege#2 I feel like there is more wrong.

Remove delegators from class implementation name space.

Right now the delegators are in the same name space as the data constructors. Classes with delegators export a Delegator data constructor. Using more than one of these hides other instances of Delgators.

So this looks like, for example, moving the Fragment delegator to froid.support.v4.app.fragment.Delegator and then having a private fragment class in the delegator module that makes the delegator compile.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.