xuwei-k

import httpz._, native._

object Main {

  final case class Repo(owner: String, name: String)

  val repositories = (
    Repo("slick", "slick") ::
    Repo("mauricio", "postgresql-async") ::
    Repo("squeryl", "squeryl") ::

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))
      }
    )

halcat0x15a

import scalaz._, Scalaz._

object MaxValue extends App {

  val a = Map(1 -> 10, 2 -> 5)
  val b = Map(2 -> 10, 3 -> 7)
  val c = a.mapValues(Tags.MaxVal) |+| b.mapValues(Tags.MaxVal)
  (c: Map[Int, Int]) assert_=== Map(1 -> 10, 2 -> 10, 3 -> 7)

}

kazu-yamamoto

{-# LANGUAGE GADTs #-}

module Main where

import Control.Monad
import Control.Monad.Operational.Simple
import Prelude hiding (putChar, getChar)
import qualified System.IO as IO
import Test.QuickCheck

nakamura-to

Doma 1.34.0に入ったイミュータブルなエンティティのサポートについて

概要

EXPERIMENTALな位置づけです。

JIRA

https://www.seasar.org/issues/browse/DOMA-297

asufana

PlayFramework 1.2.x Java8対応

Java8対応の1.3がリリースされそうな様子がないため、1.2.xブランチにJava8対応コミットを適用して利用する。

PlayFramework1リポジトリをforkする

• GitHubサイト上で PlayFramework1リポジトリ をforkする

• タグ 1.2.5.4 をチェックアウトして新しいブランチ 1.2.5.4-java8 を生成する

sile

第7章 償却を除去する

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

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

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) {

runarorama

sealed trait Interact[A]

case class Ask(prompt: String)
  extends Interact[String]

case class Tell(msg: String)
  extends Interact[Unit]

trait Monad[M[_]] {
  def pure[A](a: A): M[A]