raimohanska

let jsarray xs = (Array.apply null xs)

let length xs = (jsarray xs).length
let empty xs = (length xs) == 0
let concat xs ys = (jsarray xs).concat ys
let cons x xs = concat [x] xs
let head xs = xs@0
let tail xs = (jsarray xs).slice 1

raimohanska

let ioMonad = {
        return: \x -> (\() -> x)
        bind: \action f -> (\() -> 
                             let value = action ()
                             let action2 = f value
                             action2 ()
                           )
      }

let putStrLn line = (\() -> console.log line)

raimohanska

let ioMonad = {
        return: \x -> (\() -> x)
        bind: \action f -> (\() -> 
                             let value = action ()
                             let action2 = f value
                             action2 ()
                           )
      }

let putStrLn line () = console.log line

raimohanska

let ioMonad = {
        return: \x -> (\() -> x)
        bind: \action f -> (\() -> 
                             let value = action ()
                             let action2 = f value
                             action2 ()
                           )
      }

let putStrLn line = (\() -> console.log line)

raimohanska

import Reactive.Banana
import Control.Concurrent

main = do
  -- Create handles for pushing values into events
  (addHandler1, push1) <- newAddHandler
  (addHandler2, push2) <- newAddHandler
  -- Create event network
  network <- compile $ do
    -- Actual events from AddHandlers

raimohanska

package com.karma.cache

import collection.immutable.HashMap

trait Cache[K, V] {
  def get(key : K, fetch : (K => V)) : V
}

class NoCache[K, V] extends Cache[K, V] {
  def get(key : K, fetch : (K => V)) : V = fetch(key)

raimohanska

import Text.Regex.XMLSchema.String(match, sed)

clean :: String -> String
clean = sed (const "><") ">\\s*<" . trim
  where trim = dropWhile whitespace . reverse . dropWhile whitespace . reverse
        whitespace c = match "\\s" [c]

raimohanska

{-# LANGUAGE OverloadedStrings, DeriveDataTypeable, NoMonomorphismRestriction #-}

module AesonTest where

import qualified Data.Aeson.Generic as A
import qualified Data.ByteString.Lazy as L8
import Data.Data
import Data.Typeable
import Codec.Binary.UTF8.String as U8
import Data.Maybe

raimohanska

import android.accounts.Account;
import android.accounts.AccountManager;
import android.app.Activity;
import android.app.AlertDialog;
import android.app.Dialog;
import android.content.DialogInterface;
import android.content.Intent;
import android.os.Bundle;
import android.util.Log;

raimohanska

module Transactional(Transactional, Connection, transactionally, getConnection) where

data Connection = Connection
data Transactional a = Transactional (Connection -> IO a)

instance Monad Transactional where
  (>>=) op toNext = Transactional $ \conn -> perform conn op >>= perform conn . toNext
  return a = Transactional $ return . const a

getConnection :: Transactional Connection