Skip to content

Instantly share code, notes, and snippets.

View halcat0x15a's full-sized avatar

Sanshiro Yoshida halcat0x15a

113 followers · 35 following
View GitHub Profile
@halcat0x15a
halcat0x15a / a.clj
Created February 13, 2014 11:25
(ns a)
(defprotocol P (f [p]))
(defrecord A [a] P (f [_] a))
@halcat0x15a
halcat0x15a / slide.md
Last active August 29, 2015 13:57

!SLIDE

Markdownをparseする

@halcat0x15a

!SLIDE

Parser combinator

@halcat0x15a
halcat0x15a / typelogic.md
Created March 20, 2014 07:52

!SLIDE

型推論器とcore.logic

@halcat0x15a

!SLIDE

型推論器で式から型を導出する

@halcat0x15a
halcat0x15a / cont.md
Last active August 29, 2015 13:57
ブログの内容途中まで

限定継続とモナド

限定継続

reset {
  val x = shift { (k: Int => Int) => k(1) }
  println(x)
  x + 2
}
@halcat0x15a
halcat0x15a / interruptible.md
Last active August 29, 2015 13:58

!SLIDE

Interruptible Program with Actor and Trampoline

@halcat0x15a

!SLIDE

デモ

@halcat0x15a
halcat0x15a / libtxt.md
Last active August 29, 2015 14:01

Buffer

Zipperとして抽象化可能

よく使われる実装はGapBuffer

nioで実装済み(パラメータの使い方が悪いのでJavaで新しく書いた方が良い?

Parser

@halcat0x15a
halcat0x15a / typelevel_lt.md
Last active August 29, 2015 14:01

!SLIDE

Typelevel FizzBuzz in Scala

@halcat0x15a

!SLIDE

型レベルプログラミング

@halcat0x15a
halcat0x15a / scala_function_variace.md
Last active August 29, 2015 14:02

Scala Function Variance

Scalaの関数の型の変位指定について.

Invariant

まずは変位指定をしない関数の型について考える.

trait F[A, B] {
@halcat0x15a
halcat0x15a / typelogic_note.md
Created June 17, 2014 02:35

型推論ノート

オーバーロードの問題点

一つのシンボルに対して複数の型が付く.

  • 型集合
    • 推論できなくなる
    • 順序に依る
  • バックトラック
@halcat0x15a
halcat0x15a / tetriz.scala
Created July 11, 2014 03:12
package tetriz
import scala.language.postfixOps
import scalaz.{ @@, Tag, Lens, State, Monad }
import scalaz.std.vector
import scalaz.syntax.monad._
case class Point(x: Int, y: Int)