論文の概要: Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
- arxiv url: http://arxiv.org/abs/2407.08089v1
- Date: Wed, 10 Jul 2024 23:27:21 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-12 21:19:34.314662
- Title: Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
- Title（参考訳）: 拡張可能な静的型付け言語Stellaによる型システム実装の指導
- Authors: Abdelrahman Abounegm, Nikolai Kudasov, Alexey Stepanov,
- Abstract要約: このコースは、古典的なコンパイラ構築の基礎、特に抽象構文表現、ビジターパターン、構文解析を前提としている。
このコースは、最小限のコアと小さな拡張セットを備えた言語Stellaを中心に構築されている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We report on a half-semester course focused around implementation of type systems in programming languages. The course assumes basics of classical compiler construction, in particular, the abstract syntax representation, the Visitor pattern, and parsing. The course is built around a language Stella with a minimalistic core and a set of small extensions, covering algebraic data types, references, exceptions, exhaustive pattern matching, subtyping, recursive types, universal polymorphism, and type reconstruction. Optionally, an implementation of an interpreter and a compiler is offered to the students. To facilitate fast development and variety of implementation languages we rely on the BNF Converter tool and provide templates for the students in multiple languages. Finally, we report some results of teaching based on students' achievements.
- Abstract（参考訳）: プログラム言語における型システムの実装に焦点を当てた半年制のコースについて報告する。
このコースは、古典的なコンパイラ構築の基礎、特に抽象構文表現、ビジターパターン、構文解析を前提としている。
このコースは、最小限のコアを持つ言語Stellaと、代数データ型、参照、例外、徹底的なパターンマッチング、サブタイプ、再帰型、普遍的多型、型再構成を含む一連の小さな拡張のセットを中心に構築されている。
オプションとして、インタプリタとコンパイラの実装が学生に提供される。
高速な開発と多種多様な実装言語を実現するため、BNF Converterツールを使用し、複数の言語で生徒にテンプレートを提供する。
最後に,学生の達成度に基づく授業結果について報告する。
関連論文リスト
- On the Impact of Language Selection for Training and Evaluating
Programming Language Models [16.125924759649106]
CodeBERTモデルを用いて言語表現を解析することにより,プログラミング言語の類似性を評価する。
実験の結果,C++,Python,Javaなどの言語ではトークン表現が互いに近接していることが明らかとなった。
論文 参考訳（メタデータ） (2023-08-25T12:57:59Z) - Soft Language Clustering for Multilingual Model Pre-training [57.18058739931463]
本稿では,インスタンスを条件付きで符号化するためのフレキシブルガイダンスとして,コンテキスト的にプロンプトを検索するXLM-Pを提案する。
我々のXLM-Pは、(1)言語間における言語不変および言語固有知識の軽量なモデリングを可能にし、(2)他の多言語事前学習手法との容易な統合を可能にする。
論文 参考訳（メタデータ） (2023-06-13T08:08:08Z) - LMentry: A Language Model Benchmark of Elementary Language Tasks [39.71352171304755]
LMentryは、人間にとって自明なタスクのコンパクトなセットに焦点を当てたベンチマークである。
大きな言語モデルの能力と堅牢性に関する洞察を提供する。
論文 参考訳（メタデータ） (2022-11-03T18:01:12Z) - Benchmarking Language Models for Code Syntax Understanding [79.11525961219591]
事前学習された言語モデルは、自然言語処理とプログラム理解の両方において素晴らしい性能を示している。
本研究では,プログラムの構文構造を特定するための,最先端の事前訓練モデルの最初の徹底的なベンチマークを行う。
この結果から,既存のプログラミング言語の事前学習手法の限界が指摘され,構文構造をモデル化することの重要性が示唆された。
論文 参考訳（メタデータ） (2022-10-26T04:47:18Z) - AST-Probe: Recovering abstract syntax trees from hidden representations
of pre-trained language models [0.6719751155411076]
我々は、事前訓練された言語モデルの隠れ表現の中に、テクスチシンタクティックな部分空間が存在することを証明した。
このサブスペースは5つの最先端の事前訓練言語モデルに存在することを示す。
このことは、事前訓練された言語モデルがその表現空間のごく一部を使って、プログラミング言語の構文情報をエンコードしていることを示唆している。
論文 参考訳（メタデータ） (2022-06-23T14:09:05Z) - Leveraging Language to Learn Program Abstractions and Search Heuristics [66.28391181268645]
LAPS(Language for Abstraction and Program Search)は、自然言語アノテーションを用いて、ライブラリとニューラルネットワークによる合成のための検索モデルの共同学習をガイドする手法である。
最先端のライブラリ学習システム(DreamCoder)に統合されると、LAPSは高品質なライブラリを生成し、検索効率と一般化を改善する。
論文 参考訳（メタデータ） (2021-06-18T15:08:47Z) - Constrained Language Models Yield Few-Shot Semantic Parsers [73.50960967598654]
我々は,事前学習された大規模言語モデルの利用を,少ない意味論として検討する。
意味構文解析の目標は、自然言語入力によって構造化された意味表現を生成することである。
言語モデルを用いて、入力を英語に似た制御されたサブ言語にパラフレーズし、対象の意味表現に自動的にマッピングする。
論文 参考訳（メタデータ） (2021-04-18T08:13:06Z) - Language-Agnostic Representation Learning of Source Code from Structure
and Context [43.99281651828355]
ソースコードのコンテキストと構造を共同で学習する新しいモデルを提案する。
複数のプログラミング言語から非並列データを共同トレーニングすることで,個々の言語での結果が向上することを示す。
論文 参考訳（メタデータ） (2021-03-21T06:46:06Z) - Linguistic Typology Features from Text: Inferring the Sparse Features of
World Atlas of Language Structures [73.06435180872293]
我々は、バイト埋め込みと畳み込み層に基づく繰り返しニューラルネットワーク予測器を構築する。
様々な言語型の特徴を確実に予測できることを示す。
論文 参考訳（メタデータ） (2020-04-30T21:00:53Z) - Bridging Linguistic Typology and Multilingual Machine Translation with
Multi-View Language Representations [83.27475281544868]
特異ベクトル標準相関解析を用いて、各情報源からどのような情報が誘導されるかを調べる。
我々の表現は類型学を組み込み、言語関係と相関関係を強化する。
次に、多言語機械翻訳のための多視点言語ベクトル空間を利用して、競合する全体的な翻訳精度を実現する。
論文 参考訳（メタデータ） (2020-04-30T16:25:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。