このエントリーをはてなブックマークに追加
第一回関数型プログラミング（仮）の会

終了 2021/10/01（金） 18:30〜

第一回関数型プログラミング（仮）の会

関数型プログラミング（仮）っぽい色々についてわいわい語ろう

kmizu kmizu 他

オンライン

グループ情報

Opt Technologies/オプトテクノロジーズ

このグループのイメージ画像
メンバー数 2377人
イベント数 24回

イベント資料一覧

スライド

nekonibox Ph.D. nekonibox Ph.D.

形式検証の視点から再確認したいMaybe型/Option型からNull許容データへのデータ変換

投稿者:nekonibox Ph.D.

投稿日:2021年9月29日 08時05分

TAKASE Kazuyuki TAKASE Kazuyuki

関数型プログラミングの視点で考えるテーマ機能 on React

投稿者:TAKASE Kazuyuki

投稿日:2021年10月1日 10時36分

takasehideki takasehideki

関数型っぽくROSロボットプログラミング

投稿者:takasehideki

投稿日:2021年10月1日 18時34分

(未設定)(未設定)

関数型言語作成のチュートリアルをやってみる

Read more >>

投稿者:mitsuchi

投稿日:2021年10月1日 21時49分

動画

動画はありません。

ブログなど

nekonibox Ph.D. nekonibox Ph.D.

形式検証の視点から再確認したいMaybe型/Option型からNull許容データへのデータ変換(Qiita記事)

Read more >>

投稿者:nekonibox Ph.D.

投稿日:2021年9月29日 08時06分

totto2727 totto2727

ElmアーキテクチャでGUIプログラミング

Read more >>

投稿者:totto2727

投稿日:2021年9月29日 23時32分

ヤギのさくらちゃん ヤギのさくらちゃん

Domain specific library / frameworkを用いた 実践的開発手法

Read more >>

投稿者:ヤギのさくらちゃん

投稿日:2021年10月1日 17時52分

yoshihiro503 yoshihiro503

関数型言語と形式手法でブロックチェーンを証明しよう

Read more >>

投稿者:yoshihiro503

投稿日:2021年10月1日 18時53分

κeen κeen

Idris 2の数量的型が解決した問題、導入した問題 | κeenのHappy Hacκing Blog

関数型言語Idrisの次世代版として開発されているIdris 2の大きな特徴の1つとして型システムに数量的型理論（Quantitative Type Theory）を導入していることが挙げられま...

Read more >>

投稿者:κeen

投稿日:2021年10月5日 13時18分