jiamo

cd ~/

apt-get install git automake autoconf libtool pkg-config make g++ zlib1g-dev libcurl4-gnutls-dev
git clone https://github.com/MediaArea/ZenLib.git
git checkout v0.4.37
cd ZenLib/Project/GNU/Library
./autogen.sh
./configure --enable-static
make -j4

jiamo

module Cartesian_product1 where
import Prelude hiding(product)
 
product1 [] = [[]]
product1 (xs:xss) = 
  h xs (product1 xss) where
    h [] xss = []
    h (x : xs) xss =
      map (x:) xss ++ h xs xss
      

jiamo

module Cartesian_product2 where 
import Prelude hiding(product)

-- introduce mapa
map' :: (b->a) -> [b] -> [a]
map' g l = foldr' f [] l where
    f x y = (g x) : y

foldr' :: (a -> b -> b) -> b -> [a] -> b
foldr' f z [] = z

jiamo

{-# LANGUAGE RebindableSyntax #-}

module Cartesian_product3 where

import Prelude hiding((>>=), return, Monad, fail)

-- begin help -----

class Applicative m => Monad m where  
    return :: a -> m a  

jiamo

#lang racket

(define (factorial n)
  (if (= n 0)
      1
      (* n (factorial (- n 1)))))


(define factorial_lambda
  (lambda (n)

jiamo

#lang racket


;(Y f) = fixpoint-of-f
;(f fixpoint-of-f) = fixpoint-of-f
;(Y f) = fixpoint-of-f = (f fixpoint-of-f)
;(Y f) = (f (Y f))
(define (Y f) (f (Y f)))

(define Y-lambda

jiamo

#lang racket

(define identity (lambda (x) x))

(define (part-factorial0 self n)
  (if (= n 0)
      1
      (* n (self self (- n 1)))))  ;; note the extra "self" here the same as below

(part-factorial0 part-factorial0 5)

jiamo

#lang racket


;;(define Y 
;;    (lambda (f)
;;      ((lambda (x) (f (x x))) (lambda (x) (f (x x))))  ))

;;(define almost-Y 
;;    (lambda (f)
;;      ((lambda (x) (f (x x))) (lambda (x) (f (x x)))) ))

jiamo

module Can where

import Relation.Binary.PropositionalEquality as Eq
import Data.Nat.Properties as Pro
open Pro using (+-assoc; +-identityʳ; +-suc; +-comm)
open Eq using (_≡_; refl; cong; sym)
open Eq.≡-Reasoning using (begin_; _≡⟨⟩_; _≡⟨_⟩_; _∎)
open import Data.Nat using (ℕ; zero; suc; _+_; _*_; _∸_; _^_)

jiamo

#lang lazy


(define g
    (lambda (f)
      (lambda (n)
        (if (= n 0)
            1
            (* n (f (- n 1))))))) 
(define f