BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:第2回『Implementing functional languages』勉強会
X-WR-CALNAME:第2回『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:825964@techplay.jp
SUMMARY:第2回『Implementing functional languages』勉強会
DTSTART;TZID=Asia/Tokyo:20210821T130000
DTEND;TZID=Asia/Tokyo:20210821T180000
DTSTAMP:20260410T235042Z
CREATED:20210726T062026Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/82596
 4?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n第2回『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
 しかし、基本的なアイデアは興味深く、実装としても
 まとまっているので、入門をおえたプログラマ向けのH
 askellプログラミングの教材として楽しいものになって
 います。\nおまけに遅延評価を行う関数型言語系の実
 装が学べます。\n他にも、現在では当たり前になり、
 標準的なライブラリとして提供されている（それゆえ
 に、利用はするが、どのようなアイデアでデザインさ
 れているのかあまり知らない）プリティプリンタやパ
 ーザコンビネータなどのアイデアを楽しめます。\n[^1]:
  Miranda は Research 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/825964?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR