Group Description

概要

プログラミング Haskell に関する勉強会・発表を,オンラインサービス を用いて行ないます。

2017年10月6日追記

2017年10月現在において最大10人までという制約付きですが,Discord の画面共有を全ユーザーが利用できるようになりました。そのため,以下のように利用するものを変更しました:

目的 利用するもの 条件
画面共有 Discord (原則) 10 人以下
Skype (例外) 20人以下
ボイスチャット Discord
Skype 画面共有を Skype で行なっている場合
テキストチャット Discord
Skype 画面共有を Skype で行なっている場合

コード共有は各自の判断に委ねます。

Slack は,画面共有やボイスチャットの際に使用しにくいことを実感しました。そのため,グループを削除をしました (2018)。

グループの内容

また,ネットを使った勉強会という特性から,以下のような方々にも参加していただける場になるように努めます。

  • Haskell の発表をしたいけど, 機会がない方
  • Haskell の勉強仲間が欲しいけど, 近隣で Haskell の勉強会が開催されていなくて困っている方
  • 様々な事情で, 勉強会に参加しづらい方

日時

金曜の22:00 ~ 23:30に行ないます。

題材

現在

"Thinking with Types -Type-Level Programming in Haskell-" の補完

時期 内容 目的 回数
201912 ~ GHC 言語拡張勉強会(3) -Type Applications- 関係 主に Chapter4 の補完

以下: 予定(紆余曲折すると思いますが...)

  1. GHC 言語拡張勉強会(4) -GADTs, TypeFamiles- 関係
  2. GHC 言語拡張勉強会(5) -Kind- 関係
  3. GHC 言語拡張勉強会(6) -Structural polymorphism-

過去

時期 内容 目的 回数
201701 - 201702 Pandocチュートリアル Haskellの実用的な使い方を知る 2回
201703 - 201809 Haskellによる関数プログラミングの思考法 関数プログラムを数学的に考察する 34回
201810 - 201904 Typeclassopedia (latest) + α 型クラスとそのメソッドの理解 25回
201905 - 201906 GHC 言語拡張勉強会(1)Extensions to the “deriving” mechanism deriving の理解, Typeclassopedia の内容の有効利用 (?) 6回
201907 - 201909 "Thinking with Types -Type-Level Programming in Haskell-" 型システムや型レベルプログラミングの理解の第一歩 10回
201910 - 201911 GHC 言語拡張勉強会(2) -Parametric Polymorphism?- 主に Chapter6, Chapter7 の補完 7回

未来 (注: 案に過ぎません、順不同です)

  • ドキュメントを読む

    • "GHC User's Guide"

    • "Cabal User Guide"

    • GitLab GHC Wiki

  • 何かしらの論文 (Papers) を読む

  • ライブラリに関するもくもく会?

    • lens, optics 関係

    • template-haskell

    • データ構造ライブラリ

      • backpack
    • パーサー,パーサーコンビネーター

    • reflex

      • codeworld
    • streamly

    • DBライブラリ

    • servant

    • nix, dhall

    • 描画

    • Plutus

謝辞

このグループの設立にあたり,以下のグループの方々の知見を参考にいたしました。お礼申し上げます。

Finished Events View all events (88)

Ended 2019/12/06(Fri) 22:00〜

GHC言語拡張勉強会 -Type application-

lawtwai lawtwai

グループDM

4

Ended 2019/11/29(Fri) 22:00〜

GHC言語拡張勉強会 -Parametric polymorphism- #7

lawtwai lawtwai

グループDM

4/10

Ended 2019/11/22(Fri) 22:00〜

GHC言語拡張勉強会 -Parametric polymorphism- #6

lawtwai lawtwai

グループDM

3/10

Ended 2019/11/15(Fri) 22:00〜

GHC言語拡張勉強会 -Parametric polymorphism- #5

lawtwai lawtwai

グループDM

4/10

Ended 2019/11/01(Fri) 22:00〜

GHC言語拡張勉強会 -Parametric polymorphism- #4

lawtwai lawtwai

グループDM

3/10

Ended 2019/10/25(Fri) 22:00〜

GHC言語拡張勉強会 -Parametric polymorphism- #3

lawtwai lawtwai

グループDM

3/10

Ended 2019/10/18(Fri) 22:00〜

GHC言語拡張勉強会 -Parametric polymorphism- #2

lawtwai lawtwai

グループDM

3/10

Ended 2019/10/11(Fri) 22:00〜

GHC言語拡張勉強会 -Parametric polymorphism- #1

lawtwai lawtwai

グループDM

4

Ended 2019/09/20(Fri) 22:00〜

"Thinking with Types" 読書会 #10

lawtwai lawtwai

thinking_with_types

3

Ended 2019/09/13(Fri) 22:00〜

"Thinking with Types" 読書会 #09

lawtwai lawtwai

thinking_with_types

2