paul-r-ml

module Main where

import Control.Monad (forever)
import Control.Concurrent (forkIO)
import Control.Concurrent.Chan

import Data.Pool

import Database.HDBC
import Database.HDBC.PostgreSQL

paul-r-ml

require 'funkr/types'

class Reader
  def initialize(func); @func = func; end
  def run(env); @func.call(env); end

  # Pour l'usage du foncteur applicatif
  def map(&block); reader{|env| block.call(run(env))}; end
  def self.pure(v); reader{|_env| v}; end
  def apply(to); reader{|env| run(env).call(to.run(env))}; end

paul-r-ml

{-# LANGUAGE GADTs , KindSignatures #-}

data Zero
data Succ a

data List :: * -> * -> * where
  Nil  :: List Zero a
  Cons :: a -> List t a -> List (Succ t) a
  
data AnyList :: * -> * where

paul-r-ml

module Parser1 where

-- | On importe uniquement quelques types de base, quelques fonctions
-- et quelques opérateurs habituels

import Prelude ( String, Maybe(..), Char, Int, Show(..),
                 fmap, fst, read,
                 splitAt, length, span, elem,
                 ($), (.), (==), (+), (*) )