hsavit1

Copy and paste the swift code below into a playground to experiment.

This is a very close emulation of Functor and Monad typeclasses in swift. However, it is very fragile (i.e. easy to crash the compiler).

For example, instance methods of fmap will run fine, but attempting to use a globally defined fmap that acts on Functor types will cause a crash. Similarly for bind. Unfortunately this means we cannot define the nice infix operator versions of these functions.

hsavit1

import Foundation

func HTTPsendRequest(request: NSMutableURLRequest,callback: (String, String?) -> Void) {
    
    let task = NSURLSession.sharedSession().dataTaskWithRequest(request,completionHandler :
        {
            data, response, error in            
            if error != nil {
                callback("", (error!.localizedDescription) as String)
            } else {

hsavit1

require 'rubygems'
require 'celluloid'

class Waiter
  include Celluloid
  FORK_FREE = 0
  FORK_USED = 1
  attr_reader :philosophers
  attr_reader :forks
  attr_reader :eating

hsavit1

require 'thread'

class Waiter
  def initialize
    @mutex = Mutex.new
  end

  def can_eat? philosopher
    left = philosopher.left_fork
    right = philosopher.right_fork

hsavit1

import Control.Monad
import Control.Concurrent
import Control.Concurrent.STM
import System.Random
import Text.Printf

-- Forks
type Fork = TMVar Int
 
newFork :: Int -> IO Fork

hsavit1

import Control.Monad.Reader

hello :: Reader String String
hello = do
    name <- ask
    return ("hello, " ++ name ++ "!")

bye :: Reader String String
bye = do
    name <- ask

hsavit1

; Comments start with semicolons.

; Clojure is written in "forms", which are just
; lists of things inside parentheses, separated by whitespace.
;
; The clojure reader  assumes that the first thing is a
; function or macro to call, and the rest are arguments.
;
; Here's a function that sets the current namespace:
(ns test)

hsavit1

// Playground - noun: a place where people can play

import Cocoa

enum Wildcard : NilLiteralConvertible {
  case Single
  case FromBeginning
  case ToEnd
  case Range(Int)
  case Literal(Int)

hsavit1

module MyList where

data MyList a = Cons a (MyList a) 
                | MyNil deriving (Show, Eq)
{-
 A simple linked list module
  Some examples: 
	mylist = (Cons 10 (Cons 99 (Cons 11 (Cons 1 MyNil))))
	myHead myList                       # => 10
	myTail myList                       # => Cons 99 (Cons 11 (Cons 1 MyNil))

hsavit1

import Foundation

// 1. Wildcard Pattern
func wildcard(a: String?) -> Bool {
    guard case _? = a else { return false }
    
    for case _? in [a] {
        return true
    }