Search result of “user:Kory__3”

6 search resultsShowing 1~6 results

2022/12/20

この記事は Scala Advent Calendar 2022 の 21 日目の記事です。1 It's a standing joke in the Haskell community tha...

Comment0

2023/12/03

再帰型（英: recursive type）とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。出典: 再帰データ型 - Wikipedia Scala で一般の equirecu...

Comment0

2021/08/24

諸事情により急に Minecraft のプロトコルを喋る Scala ライブラリが欲しくなった僕は、要求1に合いそうなライブラリが見当たらなかったため仕方なく作ることにしました。 Scala /...

Comment0

2019/01/09

Scalaの型システムには興味深い型が存在します。Scalaの型で述語論理を表現できないか、表現できるとしたら集合論をScalaで書けてしまわないだろうか、という興味から、Scala-proof...

Comment2

2019/01/10

直観主義論理はカリーハワード対応に見て取れる通り、型付きラムダ計算ほどの単純なモデルが表現できるシンプルな論理ですが、制約も多いのでした。この記事は、より「強い」、つまりより強力な論理である古典...

Comment0

2018/12/19

以前からあったら自分が使うかなと思っていたCI経由でGitHub PagesにElmのページを自動デプロイしてくれるテンプレートを作ってみました。 Elm Advent Calendar 201...

Comment0

6 search resultsShowing 1~6 results

Qiita is a knowledge sharing service for engineers.

Search article