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も使ってる。