Idrisと高橋君
このエントリはIdris Advent Calendar 2020の10日目の記事です。
κeenです。 今回はIdrisで簡単な競技プログラミングの問題を解いてみたいと思います。
このエントリはIdris Advent Calendar 2020の10日目の記事です。
κeenです。 今回はIdrisで簡単な競技プログラミングの問題を解いてみたいと思います。
このエントリはIdris Advent Calendar 2020の9日目の記事です。
κeenです。Idrisのインタフェースやモナドについて紹介します。
このエントリはIdris Advent Calendar 2020の8日目の記事です。
κeenです。昨日の予告通り今回は手を動かすパートとしてIdrisのREPLを紹介することにします。
κeenです。 以前雑な実装でブログにOGP画像を生成するようにしましたが、禁則処理が気になったのでそれを工夫したときの記録です。
このエントリはIdris Advent Calendar 2020の7日目の記事です。 前はrigh1113さんで自然数の加法の交換法則 by Idrisでした。
κeenです。今日は型とデータ型を紹介します。
このエントリはML Advent Calendar 2020の3日目の記事です。 前はelpinalさんでStandardMLのwithtypeの挙動でした。
κeenです。Haskelなどにある `
~ `
の記法(のようなもの)をSMLで実現する話です。
このエントリはIdris Advent Calendar 2020の4日目のエントリです。前はhelloyukiさんで「IdrisにHello World on VSCode & Mac」でした。
κeenです。今回は基本文法を解説します。
このエントリはRust 3 Advent Calendar 2020の2日目の記事です。前回はstnaoさんでRust,Wasm,Dockerで"hello world"をする MacOs catalinaでした。
アドベントカレンダー埋まってないところを埋める担当のκeenです。そういえばRustの環境構築の記事を最近みかけないなと思ったので書きます。 それと私がEmacs使いなのでEmacsのセットアップや開発方法なども記します。
このエントリはIdris Advent Calendar 2020の2日目の記事です。前回は依存型のあるHaskellことIdrisってどんな言語?でした。
κeenです。 Idrisの紹介が済んだので処理系のインストール方法を紹介します。
このエントリはIdris Advent Calendar 2020の1日目の記事です。
κeenです。 Idrisのことを知らない人も多いと思うのでIdrisの紹介からはじめていきたいと思います。