2026-03-15T14:40:20Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00232936 2025-01-19T10:16:18Z 1164:1384:11463:11515

関数型プログラミング言語に対する初学者に寄り添う型推論系 山田, 桃香 大久保, 弘崇 粕谷, 英人 山本, 晋一郎 我々は 2016 年に Haskell サブセット言語を対象とする処理系を発表した．この処理系は Haskell 初学者の学習支援システムの基盤となること，言語処理系の内部に手を加えるような実験を行いやすい基盤となることを目的としている．また，Haskell 初学者が手軽に Haskell プログラミングを試すことができるように，Web ブラウザ上で動作する TypeScript で実装されている．この処理系は実用化に向けて，いくつか構成要素を欠いている．その中でも，本研究では Haskell の特徴である型推論系が未実装であることに注目をして，型推論系を実装した． technical report 情報処理学会 2024-02-26 application/pdf 研究報告ソフトウェア工学（SE） 14 2024-SE-216 1 7 2188-8825 AN10112981 https://ipsj.ixsq.nii.ac.jp/record/232936/files/IPSJ-SE24216014.pdf jpn