kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

2016-10-12から1日間の記事一覧

Kotlinの謎(解明編)

今日書いた kmizu.hatenablog.com についてですが、原因がわかりました。まずは以下のコードを見てください Welcome to Kotlin version 1.0.0 (JRE 1.8.0_91-b14) Type :help for help, :quit for quit >>> val a: () -> Int = { 2 } >>> val b: () -> Unit …

Kotlinの謎

Kotlinという言語の型システムは凄くおおざっぱに言ってしまうと、Scalaと非常によく似ています。 TopがAny BottomがNothing Byte, Short, Int, Float, ....といった、プリミティブ型相当の型が継承階層に組み込まれていて、型名まで同じ Generics Declarati…

Macro PEG 0.0.10 リリース

かなり久しぶりのリリースです。主な変更点は、 Conflict between an expression parenthesis syntax and call syntax · Issue #16 · kmizu/macro_peg · GitHub を修正した点でしょうか。これで、 STRING = STRING_MACRO("\"") / STRING_MACRO("'"); STRING_…