lotz84

環境設定

geth

Ethereum ブロックチェーンに接続するためのミドルウェア

$ # geth のインストール
$ brew install ethereum

lotz84

import Data.List
import Control.Monad.State

type Weight = Int
type Vertex = Char

newtype WEdge = WEdge (Vertex, Vertex, Weight)

head' :: WEdge -> Vertex
head' (WEdge (x, _, _)) = x

lotz84

Ethereum Dapp

Dapps とは

1. アプリケーションは、オープンソースであること。オペレーションは自動であり、中央のコントロール主体を持たないこと。トークン、データ、レコード、などにつき、暗号化されて分散化されたブロックチェーンを利用していること。
2. アプリケーションは、オープンに流通可能な、暗号トークンを持っていること。アプリケーションの利用に際してトークンを利用すること。参加者には、そのトークンによってリワード（報酬）が支払われること。
3. アプリケーションはマーケットやユーザーからの改善要求によりプロトコルを改善していくこと。この改善は、ユーザーのコンセンサスによること。

lotz84

以下 Haskell Maxims and Arrows の翻訳

---

私は2001年から仕事でもプライベートでもHaskellを書いてきました。仕事で書いていたのはそのうち３年のことです。これらは私が学んだことです…

1. Haskellは理解すれば理解するほどきれいに書けることを約束してくれます。信頼してください
2. 常にパターンを探しましょう。単純になるとき、またその時だけそれらを抽象化するのです
3. 辛抱強く抽象化を正しく理解しましょう。もしそれが出来たならすべてのことが魔法のようにつじつまが合うようになるでしょう。
4. 実装そのものが設計図となります

lotz84

name:                ista
version:             0.1.0.0
build-type:          Simple
cabal-version:       >=1.10

executable app
  main-is:             ista.hs
  ghc-options:         -threaded -rtsopts -with-rtsopts=-N
  build-depends:       base
                     , mwc-random

lotz84

{-# LANGUAGE RankNTypes #-}

module Main where

import Control.Monad
import Control.Monad.IO.Class (MonadIO, liftIO)
import Control.Monad.Morph (hoist, generalize)
import Control.Monad.State (State, StateT)
import qualified Control.Monad.State as State
import Data.List (genericLength)

lotz84

{-# LANGUAGE RankNTypes #-}

action :: ((forall s. s -> s) -> IO ()) -> IO ()
action f = f id

f :: (forall s. s -> s) -> ()
f _ = ()

main = do
  action (\x -> pure $ f x)

lotz84

$ curl -XPOST -d'name=Alice' -d'age=15' http://localhost:8080/person
Person {name = "Alice", age = 15}

$ curl -XPOST -d'name=Bob' -d'age=16' http://localhost:8080/person
Person {name = "Bob", age = 16}

$ curl -XPOST -d'name=Carol' -d'age=abc' http://localhost:8080/person
Bad Request.

$ curl http://localhost:8080/person

lotz84

{-
 - 株データAPI
 - http://www.orenokabu.com/apis
 -}

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}

module Main where

lotz84

{-# LANGUAGE OverloadedStrings #-}

import Control.Concurrent (threadDelay)
import Control.Lens
import Control.Monad.IO.Class (liftIO)
import Control.Monad.State
import Data.List (nub, isPrefixOf)
import Data.Text.Lazy.Encoding (decodeUtf8)
import Data.Text.Lens (unpacked)
import qualified Network.Wreq as Wreq