Corentin:

Transient has the same behaviour than your reactive library. Your library must produce two results if you press the first and then the second button, (and more if you press them more times).

True <$ inputButton "click here for True" <|> False <$ inputButton "click here for False"

In the example, return "hello"  and return "world"  are two different events that are triggered inmediately, and each one produces an output.

The Transient EDSL for Web programming has the same behaviour than yours and use the same <|>

(submitButton "hello" `fire` OnClick)  <|> (submitButton "world"  `fire` onClick)

return either one or the other. But it can produce, like yours (I suppose) two or more results, as many events as you trigger.

2016-06-28 0:31 GMT+02:00 Corentin Dupont <corentin.dupont@gmail.com>:

Wow, it is very impressive. I need to give it more time.

I have one question regarding this example:

main = keep $ do
    th <- liftIO myThreadId                                   -- thread 89
    r <- async (do threadDelay 1000000; return "hello")       -- thread 90
         <|> async (return "world")                           -- thread 91
    th' <- liftIO myThreadId                                  -- thread 90 and 91
    liftIO $ print (th, th', r)                               -- thread 90 and 91

Output:

(ThreadId 89,ThreadId 91,"world")
(ThreadId 89,ThreadId 90,"hello")

For me it's counter-intuitive that there are two outputs. What is the reason behind?
It seems that the use of the <|> affects the rest of the program.

It looks strange to me because the two lines situated after the <|> does not look "syntactically" involved, if you see what I mean.

Instead I was expecting only one output, with the first thread to finish "wins".

In fact I implemented it like that: http://www.corentindupont.info/blog/posts/Programming/2014-09-23-Nomyx-Language.html#event-alternative-interface

Cheers

Corentin

On Mon, Jun 27, 2016 at 8:22 PM, Geraldus <heraldhoi@gmail.com> wrote:

Sorry, here is some links:

Wiki paga on GitHub https://github.com/agocorona/transient/wiki/Transient-tutorial

Programming at specification level https://github.com/agocorona/transient/wiki/Programming-at-the-specification-level

пн, 27 июн. 2016 г. в 23:19, Geraldus <heraldhoi@gmail.com>:

Hi!  Have you looked at Transient by Alberto Gomez Corona?

пн, 27 июн. 2016 г. в 18:27, Corentin Dupont <corentin.dupont@gmail.com>:

Hi Joachim,

I agree... I looked hard at them :)
https://wiki.haskell.org/Functional_Reactive_Programming

I need a library with a DSL able to create forms on the fly, in a "demand driven" way.

I.e. if at some point in time the user program needs a boolean from the user, a radio button will be created on the screen of that user. The objective is to retrieve the boolean, creating the form is just a way to do that. Complex forms can be created, capable of generating full ADTs. The styling of the form is not important.

Other requirements:

- it should be possible to run the event DSL in a monad different from IO.

- the event DSL need to be instance of Alternative: events can be put in concurrence, the first to fire wins.

On Mon, Jun 27, 2016 at 10:25 AM, Joachim Breitner <mail@joachim-breitner.de> wrote:

Hi,

Am Montag, den 27.06.2016, 09:38 +0200 schrieb Corentin Dupont:
> I need it for the game Nomyx, but couldn't find the features I wanted
> from the existing libraries.

any chance to extend existing libraries to support what you need?
Library proliferation does not really help the ecosystem.

Greetings,
Joachim
--

Joachim “nomeata” Breitner
  mail@joachim-breitner.de • https://www.joachim-breitner.de/
  XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
  Debian Developer: nomeata@debian.org
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

--

Alberto.