Haskell with Skype

Upcoming Events More

2020/01/31(Fri) PFPL輪講会#02

Group Description

概要

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

2017/10/06 追記

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

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

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

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

グループの内容

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

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

日時

金曜の22:00 ~ 24:00 頃に行ないます。

題材

現在

プログラミングの「基礎」の学習

時期 内容 目的 回数
2020/01 ~ "Practical Foundations for Programming Languages" 輪講会 意味論の理解 未定

過去

時期 内容 目的 回数
2017/01 - 2017/02 Pandocチュートリアル Haskellの実用的な使い方を知る 2回
2017/03 - 2018/09 Haskellによる関数プログラミングの思考法 関数プログラムを数学的に考察する 34回
2018/10 - 2019/04 Typeclassopedia (latest) + α 型クラスとそのメソッドの理解 25回
2019/05 - 2019/06 GHC 言語拡張勉強会(1)Extensions to the “deriving” mechanism deriving の理解, Typeclassopedia の内容の有効利用 (?) 6回
2019/07 - 2019/09 "Thinking with Types -Type-Level Programming in Haskell-" 型システムや型レベルプログラミングの理解の第一歩 10回
2019/10 - 2019/11 GHC 言語拡張勉強会(2) -Parametric Polymorphism?- 主に Chapter6, Chapter7 の補完 7回
2019/12 GHC 言語拡張勉強会(3) -Type Applications- 関係 主に Chapter4 の補完 2回

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

  • ドキュメントを読む

    • "GHC User's Guide"

    • "Cabal User Guide"

    • GitLab GHC Wiki

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

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

    • lens, optics 関係

    • template-haskell

    • データ構造ライブラリ

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

    • reflex

      • codeworld
    • streamly

    • DBライブラリ

    • servant

    • nix, dhall

    • 描画

謝辞

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

Upcoming Events

Public 2020/01/31(Fri) 22:00〜

PFPL輪講会#02

lawtwai lawtwai

基礎理論およびDM

4/10

Finished Events View all events (92)

Ended 2020/01/24(Fri) 22:00〜

PFPL輪講会#01

lawtwai lawtwai

基礎理論およびDM

4/10

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

「基礎」理論の題材1を決める

lawtwai lawtwai

グループDM

3/10

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

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

lawtwai lawtwai

グループDM

4

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