kazu-yamamoto

module Main where

-- Pearls of Functional Algorithm Design
-- Section 8: Unravelling greedy algorithms

import Control.Exception
import Control.Applicative

main :: IO ()
main = handle handler $ do

kazu-yamamoto

{-# LANGUAGE GADTs #-}

module Gadt where

import Control.Arrow (first)
import Data.Char

----------------------------------------------------------------

data Dynamic where

kazu-yamamoto

{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE CPP, ForeignFunctionInterface #-}

-- ghc --make -O2 -funbox-strict-fields -threaded -rtsopts SimpleServer.hs 

import Network.Socket
import System.Environment (getArgs)
import Control.Concurrent
import Control.Monad
import Foreign

kazu-yamamoto

{-# LANGUAGE GADTs #-}

module Main where

import Control.Monad
import Control.Monad.RWS.Strict
import Control.Monad.Trans.Error
import Control.Monad.Operational.Simple
import Prelude hiding (putChar, getChar)
import qualified System.IO as IO

kazu-yamamoto

{-# LANGUAGE GADTs #-}

module Main where

import Control.Monad
import Control.Monad.Operational.Simple
import Prelude hiding (putChar, getChar)
import qualified System.IO as IO
import Test.QuickCheck

kazu-yamamoto

type world = unit
type 'a io = world -> 'a

(*  write : string -> unit io  *)
let write str = fun () -> print_string str

(*  read : string io  *)
let read = read_line

(*  run : a' io -> 'a  *)

kazu-yamamoto

import System.Posix.IO
import System.Posix.Terminal

readPassword :: IO String
readPassword = do
    echoOn <- getTerminalAttributes stdInput
    let echoOff = withoutMode echoOn EnableEcho
    fdWrite stdOutput "Password: "
    setTerminalAttributes stdInput echoOff Immediately
    pass <- getLine

kazu-yamamoto

-- % cabal install PSQueue 
-- % ghci Dijkstra.hs
-- > dijkstra sample A
-- [(A,0,A),(D,4,A),(E,7,D),(C,8,E),(B,9,E)]

module Dijkstra where

import Control.Applicative hiding (empty)
import Data.List (unfoldr)
import Data.Maybe (fromJust)

kazu-yamamoto

{-# LANGUAGE CPP
           , ForeignFunctionInterface
           , BangPatterns
           , GeneralizedNewtypeDeriving #-}

#include <poll.h>

import Foreign.C.Types (CInt(..), CShort(..), CChar(..))
import Foreign.Marshal.Alloc
import Foreign.Ptr (Ptr, castPtr, plusPtr)

kazu-yamamoto

{-# LANGUAGE DeriveFunctor #-}

module Main where

import Control.Monad
import Control.Monad.Free
import Prelude hiding (putChar, getChar)
import qualified System.IO as IO
import Test.QuickCheck