Re: [Haskell-cafe] Interactive widgets; formlets (was: GSoC Retrospective)

My project was to implement support for IPywidgets ( https://github.com/ipython/ipywidgets), in IHaskell ( https://github.com/gibiansky/IHaskell). You should look at IPywidgets if you're interested in working with widgets in Python. The IPywidgets have some javascript that runs in the Jupyter notebook frontend, and some python code that integrates with IPython to provide support for them. My project reused the javascript provided by IPywidgets, and implemented support for them inside IHaskell. The formlets idea can be easily applied here. For example, one can implement the date picker example from the papers by creating a module that exports: mkDateFormlet :: IO (Box, IO (Maybe Date)) Here, `Box` is a widget from `ihaskell-widgets` that can hold more widgets inside it. In our case, it may hold any widgets that can be used to read a date. The `IO (Maybe Date)` can be used to read a date from the `Box` that we provided. As the Box is a widget, it can be displayed inside the jupyter notebook. These two together constitute a formlet. Am I right in saying this? This will make for a good example, I'll implement this as an example notebook for the online demo. Thanks for the great idea. On 17 September 2015 at 16:08, Graham Klyne wrote:

Hi,

I spotted this project and my interest was piqued. I am particularly wondering if there's scope in some future development to exploit ideas of formlets/form lenses:

- http://homepages.inf.ed.ac.uk/slindley/papers/formlenses-bx13.pdf - http://homepages.inf.ed.ac.uk/slindley/papers/formlets-essence.pdf - http://groups.inf.ed.ac.uk/links/papers/formlets-tr2008.pdf

(I'm currently working on a project in Python that could benefit from these ideas, but I'm not yet ready to refactor everything because some requirements are still emerging.)

#g --

On 17/09/2015 11:05, Sumit Sahrawat, Maths & Computing, IIT (BHU) wrote:

...

My project "Interactive widgets in IHaskell" was completed successfully. We'll be having a public announcement with an online demo on try.jupyter.org soon.

On 17 September 2015 at 15:19, Dominic Steinitz wrote:

I have created a wiki page here:

...

https://wiki.haskell.org/Google_summer_of_code#Accepted_GSOC2015_projects

Dominic Steinitz dominic@steinitz.org http://idontgetoutmuch.wordpress.com

On 17 Sep 2015, at 09:18, Dominic Steinitz wrote:

For example, if I look at

- Implementation of Layered Gramamar of Graphics https://gist.github.com/AjayRamanathan/c84a4641836700a2547b - chinu https://github.com/AjayRamanathan/Plot

I see the last commit was made on 30 June and the README says

Working on a implementation of layered grammar of graphics. Work in progress, Nothing to see here, Move on.

I don’t wish to be judgemental but this rather looks like the goal was never achieved?

Dominic Steinitz dominic@steinitz.org http://idontgetoutmuch.wordpress.com

On 17 Sep 2015, at 09:13, Dominic Steinitz wrote:

In past years, Gwern did an outstanding job of summarising the GSoC proposals and how well they had done: http://www.gwern.net/Haskell%20Summer%20of%20Code

Here are the proposals for this year. Perhaps students or their mentors could comment on how successful their projects have been? I realise this is a very poor substitute for Gwen’s analyses but it would better than nothing.

- A Strict language pragma for GHC - Adam Sandberg Eriksson https://github.com/adamse - STM Data Structures Implementation https://gist.github.com/Alllex/439480b7e80303f19ddc - Alex Semin - Implementation of Layered Gramamar of Graphics https://gist.github.com/AjayRamanathan/c84a4641836700a2547b - chinu https://github.com/AjayRamanathan/Plot - Implementing Version Comparison for Cabal Packages - Craig Roche https://github.com/cdxr - Improving Hackage Discoverability http://dzackgarza.com/mockup/main.html - D. Zack Garza https://github.com/dzackgarza - Darcsden improvements http://darcs.net/GSoC/2015-Darcsden - Daniil Frumin https://github.com/co-dan - Pursuit enhancements https://gist.github.com/hdgarrood/0a389937149453c69e03 - Harry Garrood https://github.com/hdgarrood - Improvements For HBLAS And Adding LAPACK Bindings. - JuejiYang - A standalone functional parser for CommonMark https://gist.github.com/Jubobs/7a9298eeaf02bcefbc35 - Julien Cretel https://github.com/Jubobs - Refactor program with HLint suggestions http://mpickering.github.io/gsoc2015.html - Matthew Pickering https://github.com/mpickering - Replication back-end for acid-state - Max Voit - Native Haskell Type Encoding for LiquidHaskell https://gist.github.com/spinda/b261167303515cc8a1d9 - Michael Smith https://github.com/spinda - Exhaustiveness Checker for PureScript - Nicolas Del Piano https://github.com/nicodelpiano - Fast splittable pseudorandom number generator for System.Random https://gist.github.com/nkartashov/e46fd146b1df2d79aaf3 - Nikita Kartashov https://github.com/nkartashov - Interactive widgets in IHaskell <https://github.com/sumitsahrawat/gsoc/blob/master/2015/ihaskell.pdf

...

- Sumit Sahrawat https://github.com/sumitsahrawat - Improvements to yesod-devel - urbanslug https://github.com/urbanslug - Implement nix-like package management features in cabal https://gist.github.com/fugyk/37510958b52589737274 - Vishal Agrawal https://github.com/fugyk - Haddock improvements - Łukasz Hanuszczak < https://github.com/mrhania>

Dominic Steinitz dominic@steinitz.org http://idontgetoutmuch.wordpress.com

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

-- Regards Sumit Sahrawat