TypeScriptの型で2進数計算

Transcript

1. TypeScript の型で2 進数計算 西悠太(GMO メディア)
2. 自己紹介 名前: 西悠太 所属: GMO メディア フロントエンドエンジニア X: Riya31377928 https://riya-amemiya-links.oshaburikitchin.com/
3. なぜ作ったの？ とある本でCPUが2進数を計算する仕組み を学んで、あれ?これって型でも実装できる んじゃね？と思って書きました
4. どんなことができるの？
5. 2進数の計算方法 加算 結果が2なら、1を繰り上げ 減算 1から0を引く場合、左の桁から1を借りる 補数で計算して、オーバーフローは切り捨て
6. どうやって作る？ 2進数の計算方法はわかったけど じゃあどうやれば計算できるの？ TypeScriptの型システムに +とか-の演算子はないし.... 論理回路があればできるなら...
7. どうやって作る？ 論理回路を型システムの上に 実装しちゃえばいいんだ！ AND OR XOR
9. 半加算器を実装する 単純に二数の和のみを求める回路 AND回路とXOR回路が必要 次に作る全加算器の実装に必要
10. AND回路
11. XOR回路
12. 半加算器
13. 全加算器を実装する 任意の桁数の2進数の加算、減算ができる 半加算器とOR回路が必要 今回は符号付きで考える
14. OR回路
15. 材料は揃ったけど... 全加算器には半加算器とOR回路が必要 inferは先頭1文字を取り出す オーバーフローを切り捨てないといけない
16. N文字取り出す
17. 頭文字を削除
18. 文字列を配列に変換
19. 文字列の長さを取得
20. 文字列を反転
21. 今度こそ材料は揃った！ 文字列を反転させる 1. 全加算器に投入 2. 不要な部分を切り捨て 3.
23. 完成！
24. https://zenn.dev/gmomedia/articles/820c58037ef246