Kory | Ryosuke Kondo kory33

Webpackで複数のHTMLを出力する。

webpackで複数のHTMLを出力したい。

参考:

この記事は Scala Advent Calendar 2016(Adventar) 10日目の記事です。

今は 12/10 の 625時です。年明けなんて無かった。いいね？

さてさて、sbt の依存jarのダウンロードが遅い、というのは割とよく言われる事であります。

で、この原因の一旦に、sbtが Apache Ivy を使っている、という点があります。

If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.

	// Universal quantification is encoded in terms of quantifier-free
	// assertions about an "abitrary" type (cp. "all swans are white" vs.
	// "the arbitrary swan is white". Inspired by Kit Fine's 1985 "Reasoning
	// with Arbitrary Objects", http://philosophy.fas.nyu.edu/object/kitfine.
	//
	// Possibly also related to Oleg Kiselyov's "Interpreting types as
	// abstract values", http://okmij.org/ftp/Computation/index.html#teval.

	// What I wouldn't give for kind-polymorphism here ...

	trait TF {
	type Apply[A]
	}
	type Curry2[F[_, _]] = TF { type Apply[X] = TF { type Apply[Y] = F[X, Y] } }
	type Curry3[F[_, _, _]] = TF { type Apply[X] = Curry2[(TF { type Apply[Y, Z] = F[X, Y, Z] })#Apply] }
	// ...

	type CurriedMap = Curry2[Map]

	val x: CMap#Apply[String]#Apply[Int] = Map("x" -> 1, "y" -> 1) //It is valid code.