Alberto Gómez Corona

As of March 2020, School of Haskell has been switched to read-only mode.

Extensive experience in other languages. My haskell experience started with genetic programming and some other AI stuff. Later I worked in a electronic democracy web application that indeed compelled me to the creation of some packages necesary for the purpose, like TCache, RefSerialize, Workflow and, finally, MFlow, a general Web framework, based on these packages and others that will permit me at last to retake the programming of my application at a decent level of abstraction.

(Or maybe before I should finish first a fault tolerant cloud based distributed scalable repeatable secure reliable time synchronized massive paralell stateful clustering system that will take me a few more centuries).

  • Estimation of π using distributed computing. Streaming. Transient effects VI 8 Oct 2015

    some examples of distributed computing and streaming using Transient.

  • Publish-subscribe Variables. Transient effects V 28 Aug 2015

    Implementation of publish-suscribe pattern with de-inversion of control, as mutable, composable haskell vars, STM style.

  • Moving Haskell processes between nodes (Transient effects IV) 26 Oct 2015

    A preliminary implementation for moving a process from one node to another, maybe with different architecture, and the cloud architecture that can be done with the idea

  • Beautiful parallel non-determinism (Transient effects III) 19 Aug 2015

    I will demonstrate how the Transient monad can process many elements at the same time using guard and the MonadPlus instance, like the list monad, but in parallel. The programmer can decide how many threads will execute.

  • The hardworking programmer II: practical backtracking to undo actions 28 Jul 2015

    In haskell, continuations have been right in front of your eyes all the time, Use then to undo actions by means of the backtracking effect added to the the hardworking programmer EDSL

  • An EDSL for hard working IT programmers 23 Feb 2019

    A monad with the asycronicity effect can rescue the I.T industry from the concurrency/inversion of control trap for which OOP was originally designed while allowing automatic parallelization and implicit thread control. A entire application can be coded in a single monadic expression with little or no plumbing. That allows for unprecedented composability of applications and a drastic simplification of software.

  • A monad for reactive programming. Part 2 3 Aug 2015

    Show how a monad that automatically decompose the flow in a succession of event handlers can preserve event scopes so that only the part of the computation affected by the event is executed. This reinversion of control is more readable than event handling code, has reactive behaviour and it does execute just the code within the scope of the event/signal. A mook-up of a possible bussiness application is presented

  • A monad for reactive programming. Part 1 15 Jul 2015

    Show how a monad that automatically decompose the flow in a succession of event handlers can preserve event scopes so that only the part of the computation affected by the event is executed. This reinversion of control is more readable than event handling code, has reactive behaviour and it does execute just the code within the scope of the event/signal. A mook-up of a possible bussiness application is presented

  • How Haskell can solve the integration problem 7 Mar 2014

    Will show how long running tasks, Web apps, workflows, EAI Orchestration and BPM applications share the same underlying problem: The "integration problem", that only haskell can solve with more simplicity, generality and maintainability

  • MFlow as a DSL for Web applications 21 Nov 2013

    This tutorial shows some example of the use of [MFlow](http://hackage.haskell.org/package/MFlow) as a DSL for web applications rather than as a web framework as such made of heterogeneous stuff. This tutorial modify step by step a simple application, that ask for two numbers and show the result, with different applicative and monadic combinators, adding also some modifiers to create from a multipage application to a single page application, AJAX driven, with autorefresh, push, runtime templating and so on. All of them by adding composable, type safe haskell elements under a single paradigm.

  • Introduction to MFlow 17 Nov 2013

    An introuction to the MFlow web framework