xuwei-k

import scala.annotation.tailrec
import scalaz._
import scalaz.Leibniz.===

object Ideal {
  private final case class Pure[F[_], A](a: A) extends Ideal[F, A]
  private final case class Suspend[F[_], A](fa: F[A]) extends Ideal[F, A]
  private sealed abstract case class Gosub[F[_], B]() extends Ideal[F, B] {
    type C
    val a: () => Ideal[F, C]

xuwei-k

trait HApply[F[_[_]]] extends HFunctor[F] {
  def apply2[A1[_], A2[_], Z[_]](a1: F[A1], a2: F[A2])(f: ({type l[a] = (A1[a], A2[a])})#l ~> Z): F[Z]

  def apply3[A1[_], A2[_], A3[_], Z[_]](a1: F[A1], a2: F[A2], a3: F[A3])(f: ({type l[a] = (A1[a], A2[a], A3[a])})#l ~> Z): F[Z] =
    apply2[({type l[a] = (A1[a], A2[a])})#l, A3, Z](tuple2(a1, a2), a3)(
      new (({type l[a] = ((A1[a], A2[a]), A3[a])})#l ~> Z){
        def apply[a](fa: ((A1[a], A2[a]), A3[a])) =
          f((fa._1._1, fa._1._2, fa._2))
      }
    )

imjasonh

* {
    font-size: 12pt;
    font-family: monospace;
    font-weight: normal;
    font-style: normal;
    text-decoration: none;
    color: black;
    cursor: default;
}

xuwei-k

Scalaz-Streamの基本的なクラスや概念まとめ

• versionは0.7a

scalaz-streamが依存してるライブラリ内のclass

scalaz.concurrent.Future

• scalaz-streamではなくscalaz-concurrentにあるクラス
• scalaz-streamは、これと Task にかなり依存してるので、まずはこれらを理解することが重要

sile

第7章 償却を除去する

memo: スケジューリングの役割

• イメージ的には銀行員の手法での__支払い__を実装に反映した感じ
• 後ろに重いサスペンションが控えている場合の挙動の違い:
  • 6章(償却):「軽い操作で__仮想的に__その内のN個のデビットを払ったことにしておこう」
  • 7章(最悪):「軽い操作で__実際に__その内のN個の(小さな)サスペンションを事前に評価しておこう」
• 支払い(or 評価)が終わっていないオブジェクト(サスペンション)に対するアクセスは許可されない

azu

Incremental DOM

Introducing Incremental DOM — Google Developers — Medium

Reactやvirtual-dom、Glimmer(Ember)などVirtual DOMの実装は色々あるが、これらのVirtual DOM実装には2つの問題がある

• 既存のテンプレート言語を利用していない(しにくい)
• モバイルでのパフォーマンス、特にメモリに関しては大きすぎる

これらを解決するためにIncremental DOMと言うものを作っている(WIP)

qnighy

パターンとはその言語が抽象化できなかった敗北の歴史である。 しかしどんなに優れた言語であってもあらゆる繰り返しに勝てるわけではない。 人は必ずメタ繰り返しを欲するからだ。 そしてそれはRustも例外ではない。

ここでは、OOPでも知られているパターンよりも、Rustに特有のパターンを思いつく限りまとめてみた。名前は適当。

• crate splitting
  • でかいcrateを分割して、見通しを良くする・再コンパイルの分量を削減する・並列コンパイルを可能にする
• 親玉crate(全てにdependする)と殿crate(全てにdependされる)があることが多いので、だいたい束みたいな形になる。

RayStarkMC

public class PhantomBuilderSample {
    public static class Data {
        private final int field1;
        private final int field2;
        private final int field3;

        private final int optField1;
        private final int optField2;

        private Data(Builder<OK, OK, OK> builder) {