WEKO3
アイテム
代数的エフェクトを活用するためのプログラミングの支援に関する考察
https://ipsj.ixsq.nii.ac.jp/records/232277
https://ipsj.ixsq.nii.ac.jp/records/232277498206d5-fe52-492b-b502-98b16699a331
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WPRO2024003.pdf (535.9 kB)
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-01-06 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 代数的エフェクトを活用するためのプログラミングの支援に関する考察 | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | How to Support Programming with Algebraic Effects Effectively | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 代数的エフェクト，プログラミング支援，Ocaml | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 広島市立大学大学院 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Graduate school of Hiroshima city university | ||||||||||||
| 著者名 |
山崎, 陽介
× 山崎, 陽介
× 川端, 英之
× 弘中, 哲夫
|
|||||||||||
| 著者名(英) |
Yosuke, Yamasaki Hideyuki Kawabata Tetsuo Hironaka
× Yosuke, Yamasaki Hideyuki Kawabata Tetsuo Hironaka
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 代数的エフェクトとそのハンドラは，プログラム中のエフェクトの発生とその処理を 分離する言語機構である.この分離により，インターフェースと実装が明確に区別されるた め，プログラムの可読性や再利用性が大幅に向上する.近年，OCaml をはじめとする多数 のプログラミング言語でこの概念が取り入れられている.しかし，プログラマがその機構を 利用するにはいくつかの課題が伴うと考える.具体的には，インターフェースと実装が明確 に区別されていることで，かえってコードのフローが直感的で無くなる可能性や，抽象度を 上げていくにつれて，ハンドラがネストしエフェクトの流れを追いづらくなる点が挙げられ る.本研究では，ALGO Basic という二人用ゲームの実装を通じて，代数的エフェクトの実 際の応用時の課題と，それをサポートするための環境についての考察を行う. | |||||||||||
| 書誌情報 |
第65回プログラミング・シンポジウム予稿集 巻 2024, p. 9-16, 発行日 2024-01-06 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
