yuki-takeichi

(* http://m-hiyama.hatenablog.com/entry/20080116/1200468797 *)

Module cps.

(* CPS transformation *)
Definition yoneda (X Y A: Type) (f: X -> Y) : (Y -> A) -> X -> A :=
  fun cont: Y -> A => fun x: X => cont (f x).

Definition yoneda_objpart (X A: Type) (x: X) : (X -> A) -> A :=
  fun cont: X -> A => cont(x).

yuki-takeichi

const yoneda = f => cont => a => cont(f(a))
const cpsTransform = yoneda

const f = x => x + 1
const g = x => x * 2

const apply = (g, f) => x => g(f(x))

/*
apply(cpsTransform(f), cpsTransform(g))(cont)

yuki-takeichi

#include <cassert>
#include <iostream>
#include <atomic>
#include <thread>
#include <vector>
#include <string>

using namespace std;

atomic_bool l;

yuki-takeichi

// See also https://android.googlesource.com/platform/frameworks/support/+/android-cts-9.0_r5/emoji/bundled/src/main/java/androidx/emoji/bundled/BundledEmojiCompatConfig.java

class TwemojiConfig(ctx: Context) : EmojiCompat.Config(BundledMetadataLoader(ctx)) {

    class BundledMetadataLoader(ctx: Context) : EmojiCompat.MetadataRepoLoader {
        private val mContext = ctx.applicationContext

        override fun load(cb: EmojiCompat.MetadataRepoLoaderCallback) {
            val runnable = InitRunnable(mContext, cb)
            val thread = Thread(runnable)

yuki-takeichi

絵文字を実装する

Intro

絵文字は漢字のような表意文字の一種だ。Unicode上にコードポイントが定義されていて、それに対応するグリフ(フォントファイル上で定義された文字のアウトライン情報)が表示される。そういう意味では通常の文字となんら変わらない。異なるのは、通常の文字はアウトラインフォントというアウトライン情報(ベジエ曲線)を持っているに対して、絵文字はビットマップになっていることと、一般的に絵文字と呼ばれるものは予め色が決まっている文字(カラーグリフ)であるということだ。(これまでの)文字は活版印刷に適した形態として進化してきたが、絵文字は日本の携帯電話のディスプレイ上で表示されることを目的とした文字のため、複雑な字形や多色を利用した文字が特徴の、まさに現代的な表意文字になっている。絵文字ははじめ、日本の携帯電話メーカーがsjisの拡張エリアに定義した文字だったが、初期のiOSではUnicodeのPUAに定義され、最終的にUnicode Emojiとして正式採用され今や世界中の人々が利用するようになった。

絵文字は、人の電子デバイスでのコミュニケーション量が加速度的に増加するのに伴って、またはそれ以上のスピードで、人々のテレコミュニケーションに利用されている。人が表意文字で表現したい対象は年々増加している。表情、職業、食べ物、アクティビティ、目的地、そしてそれらを彩る感情記号、などなど…。多種多様な要求に伴ってUnicode Emojiの規格は年々複雑化しており、iOS/Androidのメジャーバージョンアップとともに毎年内容が更新されている。

Outline

yuki-takeichi

const net = require('net');
const server = net.createServer(c => {
  c.setEncoding('ascii');
  console.log('client connected');
  c.on('end', () => {
    console.log('client disconnected');
  });
  c.on('data', data => {
    //console.log(Buffer.from(data, 'ascii'));
    console.log(data);

yuki-takeichi

const timeout = ms =>
  new Promise((resolve, reject) => setTimeout(() => resolve(), ms));

async function f() {
  await timeout(500);
  return 'f';
}

async function g() {
  await timeout(1000);

yuki-takeichi

#include <stdio.h>
#include <math.h>
#include <pango/pangocairo.h>

int main ()
{
  cairo_t *cr;
  cairo_status_t status;
  cairo_surface_t *surface;

yuki-takeichi

const tries = 10000;
const trial = 30;

// in ms
const consumption = 30;
const concurrency = 3;

//const delay = 19185; // 50%ぐらい in 20 conc
//const delay = 4000; // 50%ぐらい in  10 conc
//const delay = 10000; // 5%ぐらい in  5 conc

yuki-takeichi

// https://cloud.google.com/compute/docs/storing-retrieving-metadata#waitforchange

// curl "http://metadata.google.internal/computeMetadata/v1/project/attributes/hoge?wait_for_change=true" -H "Metadata-Flavor: Google"

const http = require('http');

function longPollMetadataServer(path) {
  return new Promise((resolve, reject) => {
    http.get({
      hostname: "metadata.google.internal",