aiya000

/**
 * The type 'true' means a proof is satisfied.
 * The type 'never' means a proof is not satisfied.
 */

// Basic of this idea.

type AWrongProof = { x: number } extends { x: string } ? true : never

// Compile NG

aiya000

/**
 * Proves that A and B is the same types.
 */
export type Equal<A, B> = A extends B ? (B extends A ? true : never) : never

/**
 * Makes all fields of A to `<its-type> | null`.
 */
export type Nullable<A extends Record<string, unknown>> = { [K in keyof A]: A[K] | null }

aiya000

/**
 * Proves that A and B is the same types.
 */
export type Equal<A, B> = A extends B ? (B extends A ? true : never) : never

/**
 * Makes all fields of A to `<its-type> | null`.
 */
export type Nullable<A extends Record<string, unknown>> = { [K in keyof A]: A[K] | null }

aiya000

import axios from 'axios'

function isThatArray<T>(x: unknown, p: (a: unknown) => a is T): x is Array<T> {
  return Array.isArray(x) && x.every(p)
}

function isString(x: unknown): x is string {
  return typeof x === 'string'
}

aiya000

{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE FlexibleInstances #-}

newtype Fix f = Fix
  { unFix :: f (Fix f)
  }

cata :: Functor f => (f a -> a) -> Fix f -> a
cata f (Fix x) = f $ fmap (cata f) x

aiya000

(Hask)

                f
    Maybe Int ---> Int
       |            |
fmap a |            | a
       v        g   v
    Maybe Bool --> Bool
 | |

aiya000

(Hask)

                f
    Maybe Int ---> Int
       |            |
fmap a |            | a
       v        g   v
    Maybe Bool --> Bool
 | |

aiya000

(Hask)

                f
    Maybe Int ---> Int
       |            |
fmap a |            | a
       v        g   v
    Maybe Bool --> Bool
 | |

aiya000

#!/bin/bash

# もし現在のgitブランチ（ここでfooとします。）がpushされていれば、{remote_name}/fooを返します。
# そうでなければこのブランチのルートとなるブランチ（分岐元）を取得し、それを返します。
#
# このプログラムはまず、リモート名を取得します。
# remoteが複数登録されている場合の適切な処理は未定義です。
# 現在は1番目のリモートを使用するようになっています。

# Returns tags and branches names of the root revision of current.

aiya000

#!/bin/bash

# もし現在のgitブランチ（ここでfooとします。）がpushされていれば、{remote_name}/fooを返します。
# そうでなければこのブランチのルートとなるブランチ（分岐元）を取得し、それを返します。
#
# このプログラムはまず、リモート名を取得します。
# remoteが複数登録されている場合の適切な処理は未定義です。
# 現在は1番目のリモートを使用するようになっています。

# Returns tags and branches names of the root revision of current.