Qqwy

Qqwy

TypeCheck Core Team

GenFRP: Functional Reactive Programming in Elixir

Hey all,

This is a small and simple library I am developing, that will be part in a larger whole of libraries to hopefully at some point allow nice, functional native Graphical User Interfaces to be made from within elixir.

People who know about Elm: This is basically what Elm does as well.


GenFRP

Github, Hex

GenFRP is a library that allows for programming in elixir using the
Functional Reactive Programming method.

This is a way to store and dispatch information that is very readable and extensible.

The idea is as follows:

  1. Your FRP module contains use GenFRP, initial_state: some_useful_starting_state. (some_useful_starting_state can be anything you wish, of course)
  2. It implements the update(state, event) :: state function.
  3. It implements the render(state, last_rendered_state) :: any function.

update is called whenever an event is sent to the GenFRP process by using GenFRP.send_event(frp_pid, whatever_you_want_to_send).

render is called whenever you want to know its current state (in some representation format that is useful for the outside world, i.e. rendered).
GenFRP uses a very simple caching mechanism to ensure that render is only invoked when the internal state has changed since its last invocation.

Here is a very simple example (which can be found as GenFRP.Example.Map as well)

defmodule GenFRP.Example.Map do
  use GenFRP, initial_state: %{}


  def update(state, [{key, val}]) do
    Map.put(state, key, val)
  end

  def update(state, event) do
    IO.puts "Unrecognized event passed to `#{inspect(__MODULE__)}.update/2`: #{event}"
  end
  
  @doc """
  Returns the key-value pairs as strings, separated over multiple lines, in alphabetical order.
  """
  def render(state, last_rendered_state) do
  Enum.map(state, fn {key, val} ->
      "`#{key}`: `#{val}`"
    end)
  end
  Enum.join("\n")
end

This can be used as follows:

    {:ok, pid} = GenFRP.start_link(GenFRP.Example.Map)
    # ... maybe some other code here...
    GenFRP.send_event(pid, {:foo, :bar})
    # ... maybe some more code here...
    GenFRP.send_event(pid, {:baz, 42})
    # ... maybe yet some other code here...
    GenFRP.render(pid)
    "`foo`: `bar`
    ``baz`: `42`
    "

This is the first, 0.1.0 version release. I wanted to get this out quickly, to get some feedback from the community.
Expect things to be still somewhat unfinished, and don’t worry: I will run Credo on the code to make it nicer :stuck_out_tongue_winking_eye:.

But: any feedback is greatly appreciated. Is this programming interface understandable? Are there things that the library is glaringly lacking?

Thank you,

~Qqwy

Most Liked

StefanHoutzager

StefanHoutzager

Nice! I don’t know about frp, so I’m reading about it now. Maybe interesting for others also

FRP is about "datatypes that represent a value 'over time' ". Conventional imperative programming
captures these dynamic values only indirectly, through state and mutations. 

Here is a short intro (look for the copied text above to read the whole text): http://stackoverflow.com/questions/1028250/what-is-functional-reactive-programming

OvermindDL1

OvermindDL1

This could be used as the basis to make an elm’y clone in ElixirScript for both server-driven and client-driven page handling. ^.^

Now if only a type system. ^.^

Qqwy

Qqwy

TypeCheck Core Team

Yes, it was… (I need to get some sleep).

Yup, that would be amazing. I’m not sure how far ElixirScript is right now with supporting processes; there were some caveats earlier if I remember correctly, but yes, I am sold on this idea :slight_smile: .


As for the native GUI idea: I’m now working on a semi-direct (and thus stateful) wrapper to :wx_widgets called Wex (which is far from finished, because :wx_widgets is HUGE, and there are some design choices that still need to be made). Another to-be-written library that has the WIP-name Candlelight will wrap Wex with its own structs that are stateless representations of a certain GUI. Candlelight will use MapDiff to check for changes in theis GUI representation, and run the required Wex functions to update the changes.

To the end user, this means that a GUI can be constructed and altered by nesting the Candlelight structs (or functions/macros(?) that create them) in a very simple and clear manner.
Very similar to how Elm allows the creation of HTML content using its HTML DSL. However, GUI elements in WxWidgets are a lot more complicated than a HTML representation (which is just ‘text’; we let the browser figure out how it should look) so there is a lot of work to be done :grin: .

Last Post!

Qqwy

Qqwy

TypeCheck Core Team

I’ve had some time today to update GenFRP to a new version, which uses the init/0 function instead of the older initial_state/0 function (whose default implementation uses the initial_state: key that is part of the use GenFRP statement). It’s much clearer now, as it works the same as GenServer and friends.

The new version is 0.5.0; I expect that there are not a lot of changes that need to be done before releasing a stable 1.0 version (to be more exact, I think the current publicly exposed function names will remain stable).

As most of Elixir/Erlang is built using functional patterns, nearly all places can be handled by just wrapping something and then calling send_event directly.
But in the case something depends on some externally-stored state, the Callback module might be used instead. Right now GenFRP uses the Petick library to allow callbacks that fire every x milliseconds. This is built-in as I believe that this is a very common thing that people will want to do.
I am wondering however if there are more things that GenFRP could/should provide built-in callbacks for.
This is the single thing I’d like to be sure of before releasing a 1.0. Any suggestions are highly appreciated! :slight_smile:

(I hope this post is coherent; I just got back from the Global Game Jam and slept very little these last 50 hours…)

Where Next?

Popular in Announcing Top

zorbash
I created Kitto a framework for dashboards inspired by Dashing. The distributed characteristics of Elixir and the low memory footprint...
New
Crowdhailer
Experimenting with this code. OK.try do user <- fetch_user(1) cart <- fetch_cart(1) order = checkout(cart, user) save_orde...
New
kelvinst
Hey everyone! Well, we made this lib a while ago and now we decided to finally go out and public with it! It’s a tool for creating and m...
New
Crowdhailer
Raxx is an alternative to Plug and is inspired by projects such as Rack(Ruby) and Ring(Clojure). 1.0-rc.1 is now available. To use it re...
New
tfwright
After working on it for a couple of months and using it in production for most of that time, today I’ve released LiveAdmin, a LiveView ba...
New
trisolaran
Hi! :waving_hand: I would like to present LiveSelect, a little library that I wrote to easily add a dynamic selection input to your LV f...
198 11241 107
New
zachdaniel
Ash Framework What is Ash? Ash Framework is a declarative, resource-oriented application development framework for Elixir. A resource can...
New

Other popular topics Top

electic
Hi, I am new to Elixir. I am trying to use the DateTime component to insert a date into MySQL however the there seems to be no way to fo...
New
New
lanycrost
Hi everyone! I need implement if…else if…else condition from my elixir code, and anymore of this control flow structures not work proper...
New
bsollish-terakeet
Credo is smart enough to check for (something like) this: assert length(the_list) == 0 with this response: Checking if an enum is empt...
New
saif
Hello everyone, Long time lurker first time poster here. I’ve recently begun working on Elixir full-time again! :raised_hands: It’s been...
New
senggen
Erlang/OTP 25 [erts-13.2.2] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] 15:22:35.803 [error] gen_event {lager_file_backend...
New

We're in Beta

About us Mission Statement