「Koka」に今来た私が試したこと（ChatGPT先生と共に）

はじめに

この記事は、Koka Advent Calendar 2024 の5日目の記事となります。

アドベントカレンダのリストを見ていて、今、Kokaに初めて来た者の記録です。

基本事項

Kokaってなに？　というわけでChatGPT先生に聞いてみる。

koka.kk

fun add(x : int, y : int) : int {
  x + y
}

fun main() {
  println("The sum is: \(add(3, 4))")
}

なるほど・・分からん・・。
プログラムの例を作ってもらおう。

koka2.kk

// 安全な割り算関数
fun safe_divide(x : int, y : int) : exn int {
  if (y == 0) {
    throw("Error: Cannot divide by zero") // エラーを発生させる
  } else {
    x / y
  }
}

// main関数
fun main() : console () {
  try {
    // 割り算を試みる
    val result = safe_divide(10, 0)
    println("The result is: \(result)")
  } catch (exn) {
    // エラー処理
    println("An exception occurred: \(exn)")
  }
}

サンプルを実行してみよう

インストール方法

VSCodeの拡張機能で入る！
Cmd+Shift+pで

all.kkを選んでみる

実行できた！
とても手軽に始められることがわかりました。

今回はここまで。

最後までご覧いただきましてありがとうございました。