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 <gk@ninebynine.org> 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 <dominic@steinitz.org>
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 <dominic@steinitz.org> 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 <dominic@steinitz.org> 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