TypeScriptの型定義で麻雀の役判定をする 【dwango Advent Calendar 2日目】 - MANA-DOT

このエントリは ドワンゴ Advent Calendar 2021 2日目の記事です(夜が明けるまでは2日目！)。 はじめに TypeScriptには Conditional Types や Template Literal Types といったクッソ強力な型機能があります。 これらを用いて、今回は 2p3p4p2m3m4m2s3s4s4s5s6s8s8s のような天鳳牌譜形式の文字列を型引数に渡すと、麻雀の役判定をする型(あくまで型です、関数ではありません)を作ってみようとおもいます。 (ただし時間がなかったため断么九と平和のみです)。 Conditional Types, Template Literal Types って何？ それぞれ具体的にどんなものか、マニュアルの例を用いて示すと、以下のような感じです。 // Conditional Types の例 interface Anim

[manaten]

TypeScriptの型を用いて役判定すると、断么九のマッチングが美しいということを主張したいです

[h3poteto]

“自分はこれが動いたとき感動しました。”ほんとだよ，なにこれワロタ

[saiid]

ダブ東とか状態絡むやつややこしそう

[ultimatebreak]

どうしてそんなことしようと思ったのか。型定義はきっちりしつつも型にはまらない思考回路

[seal2501]

断么の判定で鳥肌が立ったw

[repon]

怒られ詰られる正しい型は辛いし近づきたくない

[six13]

バグで役満が「タ ン ヤ オ」になったりしたりして。

[shunkeen]

“TypeScriptには Conditional Types や Template Literal Types といったクッソ強力な型機能があります”／クッソ強力なことがこれでもかとわかるし面白い

[toomuchpopcorn]

七対子は？

[kazuya030]

すごそう。こういうの好き

[lbtmplz]

型すごい。関係ないんだけど中国語が混在したコードってなんか良い

[pwatermark]

なんでテンプレートリテラル型を見て真っ先に麻雀役判定を思いつくのかがさっぱり分からないけどw Cのマクロ芸に通じるものを感じる

[buzztaiki]

ちょっとだけ prolog っぽいかも。

[zu2]

“｢型に応じた型の分岐｣｢動的な文字列型の生成｣を可能にしています" "これとGeneticsやinferによる推論、更に再帰的な型適用をあわせて利用することで、 プログラミングに近い表現力で型を定義することが出来”

[berlysia]

すっげえ

[t_43z]

こういうの好き