Scala 3のmatch typeで数独チェッカーを作った - xuwei-k's blog

2024/09/07 13 users xuwei-k's blog

なんかtweet流れてきたので TypeScriptの型がどれほど強力かというと、コードエディタ上で直接数独ができるほどの複雑な型を作成した方がいるほどです。このSudoku型を使用すると、TypeScriptの型チェッカーが間違いを正確に指摘してくれます。 pic.twitter.com/mCXXjGqK9D— Jeffry Alvarado (@jalva_dev) September 7, ... 続きを読む

あらゆるプログラミング言語の最先端を行くScala 3のマクロ - 貳佰伍拾陸夜日記

2023/12/11 19 users 筆者 貳佰伍拾陸夜日記 マクロ 言語 背景

この記事はScala Advent Calendar 2023の11日目です. 最近, 趣味でScala 3のコードをだいぶ書いていて, マクロの使い心地のよさに感心しました. 理論的な背景も含めて, 産業界で多く使われているプログラミング言語の中では筆者の知る限りぶっちぎりに優れたマクロを備えています. 他の言語にも見習ってほしいですね. た... 続きを読む

なぜ Scala 3 で変わったのか / Why things are changed in Scala3? - Speaker Deck

2020/02/01 11 users Speaker Deck

なぜ Scala 3 で変わったのか / Why things are changed in Scala3? 続きを読む