The Wayback Machine - https://web.archive.org/web/20201101050511/https://github.com/tawashichan
Skip to content
Avatar

Highlights

Sponsoring

@phil-opp
tawashichan/README.md

わたしについて

Hrdtbs's github stats

Top Langs

プログラミング言語関連

  • Go
    • 仕事で一番書いています。普通のweb apiサーバーを書くくらいであれば問題なく書けると思います
    • RFCから実装する練習としてwebsocketサーバーの実装とかやってました
  • Rust
    • tokioとかhyperのコード読んだり,fahrenheitのmio対応版の実装とかやっていました
    • 非同期ランタイムの仕組みはわりと話せると思います
    • 型なしラムダ計算とか簡単なインタプリタの処理系を書いていました
    • 単純な型推論器を書いていました
    • Writing an OS in Rustとか読んでます
  • Typescript
    • Reactやcdkを書く用途で使っています。基本的なhooksの使い方はわかっているとは思います。cssはあまり書けません。

興味のあること

  • データベース
    • トランザクション理論や,RDBMSの実装にそれなりに興味があります(database internalsの読書会に参加しています)。ゆくゆくは自分でRDBを実装したい。分散DBにも興味があります。アプリケーション開発者の中ではDBに興味がある方だとは思いますが,DBAには遠く及ばないレベルです。
  • 分散合意アルゴリズム
    • Raftの原論文読んだり,論文を元に実装したりしています(実装は途中)
  • 型理論
    • TAPLをちょっと読んでいる途中です
  • 数学
    • 数学専攻でもなんでもないですが数学に興味があり,微積と位相のテキストを読んでいます
  • 方法論
    • 規範に関する命題と事実に関する命題の関係に興味があります。ただし関連する文献はあまり読めていません

Popular repositories

  1. class componentをfunctional componentに変換したかったんや...

    TypeScript 1

  2. 電卓

    OCaml

  3. Rust練習用

    Rust

  4. json parser を手書きしてみた

    OCaml

137 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to matsuri-tech/date-go, tawashichan/mini-runtime, myuon/debil and 5 other repositories
Loading

Contribution activity

November 1, 2020

tawashichan has no activity yet for this period.

October 2020

You can’t perform that action at this time.