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, ... 続きを読む

Tagged Type(Branded Type)を使って飛行機の不時着や人工衛星紛失を防ごう / Scala 3ではTagged Typeを簡単に作れる - Lambdaカクテル

2024/05/10 7 users 不時着 別物 Lambdaカクテル 単位 テクニック

Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るためのものだ。 AIくん！サムネイラスト作って！と頼んで作ってもらった画像 Tagged Type 単位の取り違えによ... 続きを読む

Scala 3のマクロTips 100連発 - 貳佰伍拾陸夜日記

2023/12/12 8 users 貳佰伍拾陸夜日記 マク メタ マクロ メソッド

この記事はScala Advent Calendar 2023の12日目だ! Scala 3のマクロを書く上で役に立つ, メタれたTipsたちを紹介するぜ! 勢いに任せて書いていくからサンプルコードがちゃんと動かなかったらごめんな. 一応, Scala 3.3.1を想定しているぞ. マクロ 1. メソッドをマクロとして定義する 2. マクロの本体を実装する 3. マク... 続きを読む

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

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

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

コンパイル時計算でラムダ計算の構文解析器・評価器・型推論器を実現 (Scala 3編) - 貳佰伍拾陸夜日記

2022/03/07 8 users 貳佰伍拾陸夜日記 ラムダ計算 構文解析器 チューリング 実現

またか. またなのか. 何回目だ. ということで, ラムダ計算のインタプリタの実装としては4回目くらい*1, コンパイル時計算でやるものとしても3回目くらいになってしまうけど, ラムダ計算の処理系をまた書いてしまった. 今回の目的は, Scala 3にはmatch typesという機能があり, これだけでチューリング完全なのではないか,... 続きを読む

なぜ 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? 続きを読む