taku0

class Tuple<T, R> {
}

class Bar<T> {
    public Bar<Tuple<T, T>> d() {
        return null;
    }

    public void bar() {
        Bar<Integer> x = d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d().d();

taku0

interface Z {}
interface N<T> {}

interface E<T> extends N<N<? super E<? super T>>> {}

// Changing E to the following, Oracle JDK 1.8.0_92 says
// `error: incompatible types: E<Z> cannot be converted to N<? super E<Z>>`
// interface E<T> extends N<N<? super E<T>>> {}

class GenericsLoop {

taku0

--- configure_help_1.4.0.txt	2016-05-01 23:00:52.643008544 +0900
+++ configure_help_1.5.0.txt	2016-05-01 22:51:46.547470970 +0900
@@ -7,6 +7,7 @@
   --target=TARGET             target platform tuple [generic-gnu]
   --cpu=CPU                   optimize for a specific cpu rather than a family
   --extra-cflags=ECFLAGS      add ECFLAGS to CFLAGS []
+  --extra-cxxflags=ECXXFLAGS  add ECXXFLAGS to CXXFLAGS []
   --enable-extra-warnings     emit harmless warnings (always non-fatal)
   --enable-werror             treat warnings as errors, if possible
                               (not available with all compilers)

taku0

# nixos-rebuild build-vm -I nixpkgs=~/src/nixpkgs -I nixos-config=./configuration.nix

{ config, pkgs, ... }:

{
  nix.maxJobs = 4;

  nix.useChroot = true;

  nixpkgs.config.allowUnfree = true;

taku0

# nixos-rebuild build-vm -I nixpkgs=~/src/nixpkgs -I nixos-config=./configuration.nix

{ config, pkgs, ... }:

{
  imports =
    [
      <nixos/modules/installer/scan/not-detected.nix>
    ];
  nix.maxJobs = 4;

taku0

M1 k1 = (call/cc (M2 k1)) + 3
M2 k1 k2 = if b then (k1 1) else (k2 2)
(call/cc M1) + 4

S1 = shift(λk1. k1(reset(k1((S2 k1) + 3))))
S2 k1 = shift(λk2. k2(if b then (k1 1) else (k2 2)))
reset(exit(S1 + 4))

taku0

object Main {
  val users: Users = new Users()
  val api = {
    import EndPoints._

    getUsers :+: addNewUser :+: putUser :+: deleteUser :+:
      getUser:+: getUserId :+: getUserName :+:putUserName :+:
  }

  object EndPoints {

taku0

    tryGrammar(
      "subtract",
      MacroPEGParser.parse(
       """
      |S = ReadRight("") !.;
      |// the number of occurence of '1 represents a natural number.
      |// a-b=c
      |// Essentially, this checks a=b+c.
      |ReadRight(Right)
      |  = &("1"* "-" Right "1") ReadRight(Right "1")

taku0

# '1'を並べた数で自然数を表すとする。
# a+b=c$をチェックする。
Plus = Plus0();
Plus0(Left)
  = &(Left "+") Plus1(Left, )
  / &(Left "1") Plus0(Left "1");

Plus1(Left, Right)
  = &(Left "+" Right "=") Plus2(Left, Right)
  / &(Left "+" Right "1") Plus1(Left, Right "1");