科学＆テクノロジー

「言語の設計方法」トラック

7.4.0.4ラケットスクール2019: 「言語の設計方法」トラックマティアス・フェライセン、マシュー・フラット、ロビー・フィンドラー、ジェイ・マッカーシー、ジェシー・トブこのサマースクールトラックでは、言語指向のプログラミングと言語構築の Racket 方式を参加者に紹介します。以下の表は、サマースクールの簡潔なスケジュールを示しています。 ほとんど セッションは講義部分と実践的なラボで構成されます。私たちの目標は、講義を 90 分未満にして、少なくとも 120 分のラボ時間を提供することです。講義では基本的な考え方を紹介します。ラボでは、講義のトピックに関する実践的な演習を行う機会が提供されます。月曜日の朝にモチベーションを高める簡単な概要講義の後、最初の 4 日間は言語構築の基礎であるコンパイル時関数、モジュールとしての言語、型付き言語に専念します。の上 金曜日、拡張ラボ演習ですべてをまとめる機会を与えます。また、HtDL の問題について質問したり、単に話したりする機会がある場合は、セッションも手配します。図1: ワークショップスケジュール #言語の設計方法トラック