A JavaScript library for building user interfaces
import React from 'react';
import ReactDOM from 'react-dom';
import scala.language.higherKinds | |
object BoolDemo extends App { | |
trait Bool { | |
type Not <: Bool | |
type And[A <: Bool] <: Bool | |
type Or[A <: Bool] <: Bool | |
} |
A JavaScript library for building user interfaces
import React from 'react';
import ReactDOM from 'react-dom';
//Zコンビネータ | |
//再帰する関数を定義するのに使う | |
ZCONB = { f -> ({ x -> f({ y -> x(x)(y) }) })({ x -> f({ y -> x(x)(y) }) }) } | |
//数の定義 | |
ZERO = { f -> { x -> x }} | |
ONE = { f -> { x -> f(x) }} | |
THREE = { f -> { x -> f(f(f(x))) }} | |
FIVE = { f -> { x -> f(f(f(f(f(x))))) }} |
import java.io.IOException; | |
import java.io.InputStream; | |
import java.io.UncheckedIOException; | |
import java.lang.ref.ReferenceQueue; | |
import java.lang.ref.WeakReference; | |
import java.lang.reflect.Field; | |
import java.net.URL; | |
import java.net.URLConnection; | |
import java.util.ArrayList; | |
import java.util.List; |
winswを利用してサービス化する。 winswはJenkinsやGlassFishも使ってる。