AyaMorisawa

interface ILocale {
  langCode: string;
  langName: string;
  groups: {
    groupName: string,
    translates: {
      source: string,
      translate: string
    }[]
  }[];

AyaMorisawa

function markov<T>(findFirst: () => T[][], findNext: (previous: T) => T[][]): T[][] {
	function chooseRandom<T>(xs: T[]): T {
		return xs[Math.floor(Math.random() * xs.length)];
	}
	
	function last<T>(xs: T[]): T {
		return xs[xs.length - 1];
	}
	
	var result: T[][] = [];

AyaMorisawa

import Graphics.Element exposing (show)
import String exposing (repeat)

(*) : String -> Int -> String
(*) = flip repeat

main = show ("foo" * 4)

AyaMorisawa

import Graphics.Element exposing (show)
import List exposing (product)

factorial n = product [1..n]

main = show <| factorial 10 -- 3628800

AyaMorisawa

import Html exposing (..)
import Html.Attributes exposing (..)

main = div
  [style [("font-size", "64px")]]
  [text "Hello, world!"]

AyaMorisawa

import Graphics.Element exposing (..)

s f g x = f x (g x)
k p q = p
i a = a

main : Element
main =
  show (s k k "Hello, world!")

AyaMorisawa

piyo = (f, x) -->
  | f x => 1 + piyo f, f x
  | _ => 0
 
/* piyo.js
var piyo = function(f) {
  return function(x) {
    return f(x) ? 1 + piyo(f)(f(x)) : 0;
  };
};

AyaMorisawa

S = (f) -> (g) -> (x) -> (f x) (g x)
K = (p) -> (q) -> p
I = (a) -> a

(((S K (S I)) K) 'Hello, world') console.log

AyaMorisawa

Promise a
Maybe a = (a | Undefined)
Either a b = (a | b)
Tuple a b = [a, b]

AyaMorisawa

# (a -> b) -> Promise a -> Promise b
map-promise = (f, promise) --> promise.then (x) -> new Promise (resolve) -> resolve f x

# (a -> b) -> Maybe a -> Maybe b
map-maybe = (f, maybe) -->
	| maybe? => f maybe
	| _ => null

# (a -> b) -> [a] -> [b]
map-list = (f, xs) --> [f x for x in xs]