「ATSプログラミング入門」読書会@名古屋 第1回(再)

概要

ATS言語 は依存型と線形型をそなえるプログラミング言語で、これまでのプログラミングより強くソフトウェアの安全性を強化できます。しかも Arduinoのような小規模なマイコン上でさえ動作させる ことができます。にもかかわらず 2004年の初出論文 からユーザ数は増えていません。

そこで、本勉強会では 「ATSプログラミング入門」 という入門向けのATS言語の公式ドキュメントを読みます。読書会の形式としては、毎回担当を決めて担当の章を声を出して朗読します。朗読の途中で理解できないことがあったら皆でワイワイとツッコミを入れて理解を深めましょう。

また、本読書会の終了後には有志で懇親会を企画しようと思います。関数型言語と組み込みシステムの未来を熱く語り合いましょう。懇親会のみの参加も歓迎です！

集合場所

集合場所は 地下鉄名港線六番町駅前のファミリーマート です！場所がわからなかったり、遅刻したりなどの場合には 090-3524-7064 に電話するか、@masterq_mogumog 宛てにつぶやいてください。

今回の内容

今回は、"関数テンプレート,参照,配列,総称テンプレート実装,特殊テンプレート実装,抽象型" などの章を読んだ後、”依存型を使ったプログラミング” に突入します。朗読係は 岡部 です。