WEKO3
アイテム
多次元拡張 for 文を実現した新たな関数型プログラミング言語の開発
https://ipsj.ixsq.nii.ac.jp/records/232299
https://ipsj.ixsq.nii.ac.jp/records/232299436885e8-16e1-4b38-bbd0-edb57f395a5e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WPRO2023009.pdf (182.4 kB)
|
Copyright (c) 2023 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-01-06 | |||||||||
| タイトル | ||||||||||
| タイトル | 多次元拡張 for 文を実現した新たな関数型プログラミング言語の開発 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | A new functional language with multi-dimensional enhanced for-loop | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | 関数型プログラミング言語 Qsitory，多次元拡張 for 文，インタープリタ | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 東邦大学理学部情報科学科 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Toho University | ||||||||||
| 著者名 |
横山, 航基
× 横山, 航基
× 木村, 大輔
|
|||||||||
| 著者名(英) |
Koki, Yokoyama
× Koki, Yokoyama
× Daisuke, Kimura
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 新たなプログラミング言語 Qsitory（シトリー）を提案する．この言語は，関数型言語をベースとしながら手続き型言語の特徴ももち，Python に近い記述を提供する．特徴としては， リストやタプルなどの基本的なコレクションの操作が演算子で可能であること，代入文の左辺にパターンが利用でき，タプルの1要素のみを取得するなどの処理が容易であること，Java や Python などの拡張for文をさらに拡張し，複数のリストから1つずつ要素を取ってくり返しを行うようにした多次元拡張 for 文を備えていること，構造体のフィールドを動的に追加可能，構造体のフィールド名を文字列として処理することができる，などがある．これらの特徴は構造体の扱いを柔軟にする効果がある．本発表では，提案内容を実現するための評価アルゴリズム・型推論アルゴリズムを与え，これらに基づくインタープリタの OCaml 上でのプロトタイプ実装を紹介する． | |||||||||
| 書誌情報 |
第64回プログラミング・シンポジウム予稿集 巻 2023, p. 41-44, 発行日 2023-01-06 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
