gaku-sei

use std::convert::From;
use std::ops::{Add, Mul};

trait Sumable<T> {
    fn sum(&self) -> T;
}

trait Productable<T> {
    fn product(&self) -> T;
}

gaku-sei

import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (..)
import Html.App exposing (..)
import Json.Decode exposing (..)

import Http
import Task

type alias Photo =

gaku-sei

import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (..)
import Html.App exposing (..)
import Json.Decode exposing (..)

import Http
import Task

type alias Todo =

gaku-sei

import Html exposing (..)
import Html.Attributes exposing (..)
import Html.Events exposing (..)
import Html.App exposing (..)
import Html.Lazy exposing (..)
import Json.Decode exposing (..)

import Http
import Task

gaku-sei

protocol Zero {
    static var zero: Self { get }
}

protocol Sumable {
    static func +(lhs: Self, rhs: Self) -> Self
}

extension Int: Sumable {}

gaku-sei

exports.random = Math.random;

gaku-sei

type NewType<Name extends string, Type> = Type & {
  readonly "": Type;
};

function to<T extends NewType<string, U>, U = T[""]>(x: U): T {
  return x as T;
}

type Size = NewType<"Size", number>;

gaku-sei

function coroutine<Props>(
  generator: (props: Props) => IterableIterator<JSX.Element>
): React.ComponentType<Props> {
  return (props: Props) => {
    const iterator = generator(props);

    const rec = (Component: JSX.Element, done: boolean): JSX.Element => {
      if (!done) {
        const { done, value } = iterator.next();

gaku-sei

/// Records

// Straigth forward, use this when an object remains in the BuckleScript realm
type record = { foo: int };

// Will _not_ compile to a JS object (at least, until some pr like https://github.com/BuckleScript/bucklescript/pull/3741 are merged)
let record: record = { foo: 42 };

/// OCaml objects

gaku-sei

type empty;

type nonempty;

type t(_, _) =
  | []: t('a, empty)
  | ::('a, t('a, _)): t('a, nonempty);

let rec fromList: ('a, list('a)) => t('a, nonempty) =
  x =>