marcosh

Front-end development is evolving very rapidly, with new frameworks appearing and then declining very rapidly. Among the many options that a developer has for developing the graphical user interface of its web application, Elm steps out as one of the most original and most promising approaches. It combines the principles of reactive programming with the elegance of strongly typed functional programming, still providing a nice integration with javascript code.

In this talk Marco will present Elm digging into at a real project built with it, exploring the best features of the language and focusing on the architecture that naturally emerges building Elm applications, which is great for modularity, code reuse and testing.

marcosh

I am following the discussion that is happening these days on the PHP-FIG mailing list (https://groups.google.com/forum/#!msg/php-fig/vTtGxdIuBX8/KvNgEeiACgAJ).

Some interesting points emerged and I'd like to try to sum them up.

The discussion started from this proposal

interface MiddlewareInterface
{
 public function __invoke(

marcosh

<?php

namespace MyTestNamespace;

//relevant use clauses
use ...

final class AddItemIntegrationTest extends \PHPUnit_Framework_TestCase
{
    public function testAddItem()

marcosh

module Hanoi

import Data.Vect

data Peg
    = First
    | Second
    | Third

-- TODO : can we do better here?

marcosh

Characterize recursable data structures

Recursion

Recursion is a procedure that allows us to iterate through certain data structure. For example we can iterate through lists

sum : List Nat -> Nat
sum list =

marcosh

module Application where

import Data.Profunctor

newtype Application request response =  Application {unApplication :: request -> IO response}

instance Profunctor Application where
    dimap actOnRequest actOnResponse application = Application $ (fmap actOnResponse) . (unApplication application) . actOnRequest

marcosh

{-# LANGUAGE LambdaCase             #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses  #-}

module Graph where

import Control.Comonad

-- we need to separate `a` and `b` because `a` is covariant while `b` is contravariant => this is actually a profuctor
data PointedGraph moves b a = PointedGraph

marcosh

<?php

declare(strict_types=1);

namespace Marcosh\PhpValidationDSL;

final class Boolean
{
    /** @var Bool */
    private $isTrue;

marcosh

<?php

declare(strict_types=1);

/**
 * @template F
 * @template A
 * @extends Functor<F,A>
 */
interface Apply extends Functor

marcosh

{-# LANGUAGE AllowAmbiguousTypes     #-}
{-# LANGUAGE MultiParamTypeClasses   #-}
{-# LANGUAGE FlexibleInstances       #-}
{-# LANGUAGE ScopedTypeVariables     #-}
{-# LANGUAGE TypeApplications        #-}

module NamedTypeclass where

import Prelude hiding (Monoid, mempty, (<>))