BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:第3回『Implementing functional languages』勉強会
X-WR-CALNAME:第3回『Implementing functional languages』勉強会
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:828919@techplay.jp
SUMMARY:第3回『Implementing functional languages』勉強会
DTSTART;TZID=Asia/Tokyo:20210925T130000
DTEND;TZID=Asia/Tokyo:20210925T180000
DTSTAMP:20260506T091839Z
CREATED:20210823T062657Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/82891
 9?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n第3回『Implem
 enting functional languages: a tutorial』勉強会\nSimon L. Payton Jone
 s\, David R. Lester Implementing Functional Languages: a tutorial\, 1991 
 \nを読みながら非正格関数型言語の処理系を書きます
 。\nオンライン開催\nGoogle Meet によるオンラインでの開
 催になります。\n登録いただいた参加者の方には URL な
 ど参加のための情報を前日までに通知いたします。\n
 当日まで connpass からの連絡に気をつけるようにしてお
 いてください。\nすすめ方\nこの本のほとんどが、コー
 ドとその説明、それに練習問題も不足している実装を
 行うコードを書くというものです。\nあらかじめ主催
 者が用意したレジュメを元に、コードを書いて、動作
 を確認し、議論しながら楽しみましょう。\n持ち物\n\n
 『Implementing functional languages: a tutorial』\nHaskellのプログ
 ラミング環境を作ったPCを用意しておいてください\n\n
 参考書について\n\n本書は、遅延グラフ簡約を用いた非
 正格な関数型言語の実装を理解するための実践的なア
 プロー\nチを提供します。この本は、読者が自明では
 ないコンパイラを開発、修正、実験することで、関\n
 数型言語の実装を「生き生きと」させるための実践的
 な実験材料を提供することを目的としてい\nます。\n\n
 この本にある実装は、元々 Miranda[^1]で書かれていまし
 たが、現在、公開されているものは、Haskellで示されて
 います[^2]。\n30年も前に出版されたものなので、説明
 されている実装は、最新の言語実装技術によるもので
 はなく、現在では素朴にみえるものです。\nしかし、
 基本的なアイデアは興味深く、実装としてもまとまっ
 ているので、入門をおえたプログラマ向けのHaskellプロ
 グラミングの教材として楽しいものになっています。\
 nおまけに遅延評価を行う関数型言語系の実装が学べま
 す。\n他にも、現在では当たり前になり、標準的なラ
 イブラリとして提供されている（それゆえに、利用は
 するが、どのようなアイデアでデザインされているの
 かあまり知らない）プリティプリンタやパーザコンビ
 ネータなどのアイデアを楽しめます。\n[^1]: Miranda は Re
 search Software Ltd. の登録商標です。\n[^2]: 地の文の説明
 は、Miranda を前提としています。\nこの本の構成\n1章で
 提示されたCore言語を4つの異なるVMの機械語にするコン
 パイラとそれぞれの機械語の解釈系を書きます。\n6章
 は、λリフティングの技法に関する解説です。\n\nCore言
 語の抽象構文木、プリティプリンタ、パーザ\nテンプ
 レート具体化を利用したマシン\nG-machine（グラフ簡約
 マシン）\nTIM（Three Instruction Machine）\n並列G-machine\nλ リ
 フティング\n
LOCATION:Idein Inc. オンライン
URL:https://techplay.jp/event/828919?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR