Tatsuya Hirose lotz84

import Data.Functor.Yoneda
import Data.Char
import Data.Kind

infixr 5
  ·

type  List :: (Type -> Type) -> Constraint
class List f where

デスマーチが起きる理由 - ３つの指標

著者：青い鴉（ぶるくろ）さん @bluecrow2

これは結城浩さんの運用されていた YukiWiki に当時 Coffee 様 (青い鴉（ぶるくろ）さん）がかかれていた文章です。ただ 2018 年 3 月 7 日に YukiWiki が運用停止したため消えてしまいました。その記事のバックアップです。

昔、自分がとても感銘を受けた文章なので、このまま読めなくなるのはとてももったいないと思い、バックアップとして公開しています。

※図は Mastering Bitcoin (PDF) からの引用

ビットコインウォレットの残高は、ビットコインネットワークから自分のビットコインアドレスが output になっているトランザクションの情報 UTXO (Unspent Transaction Output) を集めて金額を合計したもの
ビットコインで支払うぞってなったら、集めて使おうとしてる UTXO が本当にまだ使われてないかをチェックする必要がある
UTXO が使われていないかどうかの検証は、そのトランザクションより下の全てのブロックに含まれる全てのトランザクションをチェックする
全部集めるにはブロックチェーン全部をダウンロードして探索しないといけない？

	import com.twitter.util.Future
	import scala.reflect.ClassTag

	// generated code
	case class FooReqThrift(value: Int)
	case class ThriftException(message: String, cause: Throwable) extends RuntimeException(message, cause)

	// libs
	abstract class RequestAdapter[ReqThrift, ReqDto] {
	def adapt(a: ReqThrift): Future[ReqDto]

	package scalaworld.macros

	package com.folio.account.macros

	import scala.collection.immutable.Seq
	import scala.meta._

	/**
	* annotation for case class.
	*

	{-# LANGUAGE TemplateHaskell #-}
	-- \| For when you have a record that doesn't have lenses derived for
	-- it and you need a lens, just use @$(lens 'thefield)@ and away you go.
	module Control.Lens.FieldTH where
	import Language.Haskell.TH
	lens :: Name -> Q Exp
	lens name = do
	[\|\f r ->
	fmap
	$(lamE

	-- Deep Learning from Scratch
	-- Chapter 01
	module Ch01.Main where

	import Prelude hiding (lookup)
	import Control.Monad

	main :: IO ()
	main = do
	-- 算術計算

	{-# LANGUAGE BangPatterns #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE RecordWildCards #-}

	import Control.Comonad
	import Control.Comonad.Cofree
	import Control.Monad
	import Control.Monad.ST

	#!/usr/bin/env stack
	-- stack --install-ghc runghc --package turtle
	import Turtle

	main = hostname >>= echo