vijayanant

trait Summable {
    fn zero() -> Self;
    fn add(&self, other: &Self) -> Self;
}

impl Summable for i32 {
    fn zero() -> Self {
        0
    }
    fn add(&self, other: &Self) -> Self {

vijayanant

# Problem Statement 
# cons(a, b) constructs a pair, and car(pair) and cdr(pair) returns the first and last element of that pair.
# For example, car(cons(3, 4)) returns 3, and cdr(cons(3, 4)) returns 4.
# Given the below implementation for cons( ), please implement car & cdr

def cons(a, b):
  def pair(f):
    return f(a, b)
  return pair

vijayanant

data Point = Pt Int Int
data Expr a = Number Integer | Boolean Bool

vijayanant

Git Branching and Realeasing

AIM

To make below listed activites simple (from SCM point of view)

• Adding new features
• Fixing bugs
• Preparing for release
• Deploying to production
• Applying hotfixes
• Versioning

vijayanant

Haskell Resources

• Learning Haskell
• Learn You a Haskell for Great Good
  • Learn You A Haskell Exercises
• Real World Haskell
• FPComplete's School of Haskell
• Haskell Wikibook
• Write Yourself a Scheme in 48 Hours
• Parallel and Concurrent Programming in Haskell

vijayanant

{-# LANGUAGE TypeFamilies
           , DataKinds
           , PolyKinds
           , TypeInType
           , TypeOperators
           , UndecidableInstances
           , RankNTypes
  #-}

vijayanant

A List of Foundational Haskell Papers

The Beginning: The Eugenio Moggi Papers

• Notions of Computations over Monads
• Computational Lambda Calculus and Monads
• Monads for functional programming

Haskell Semantics and Design Spaces

vijayanant

{-# LANGUAGE RankNTypes #-}

module RankN where

-- Rank 0: 
-- add1 is momomorphic
add1 :: Int -> Int
add1 x = x + 1

-- Rank 1

vijayanant

Keybase proof

I hereby claim:

• I am vijayanant on github.
• I am vijayanant (https://keybase.io/vijayanant) on keybase.
• I have a public key ASATAASxUzx1ZqEy4JGeIrlA1oyzEk6jSPdtXtZPglZs_Qo

To claim this, I am signing this object:

vijayanant

-- 1 + 2 
-- (+) 1 2


--  + (Just 1)  (Just 2)

-- Monadic desugared 
(Just 1) >>= (\x -> (Just 2) >>= \y -> return (x+y))

-- Monadic sugar