WEKO3
アイテム
A Proposal for an Interactive Shell Based on a Typed Lambda Calculus
https://ipsj.ixsq.nii.ac.jp/records/211645
https://ipsj.ixsq.nii.ac.jp/records/21164558f75948-9aff-4bf6-bd07-3de882ffafd0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO1403005.pdf (25.8 kB)
|
Copyright (c) 2021 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-06-15 | |||||||
| タイトル | ||||||||
| タイトル | A Proposal for an Interactive Shell Based on a Typed Lambda Calculus | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Proposal for an Interactive Shell Based on a Typed Lambda Calculus | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | [発表概要, Unrefereed Presentatin Abstract] | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| Information Processing Society of Japan Special Interest Group on Programming／Graduate School of Arts and Sciences, The Open University of Japan | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Information Processing Society of Japan Special Interest Group on Programming / Graduate School of Arts and Sciences, The Open University of Japan | ||||||||
| 著者名 |
Kouji, Matsui
× Kouji, Matsui
|
|||||||
| 著者名(英) |
Kouji, Matsui
× Kouji, Matsui
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | This presentation presents Favalon, a functional programming language built on the premise of a lambda calculus for use as an interactive shell replacement. Favalon seamlessly integrates with typed versions of existing libraries and commands using type inference, flexible runtime type metadata, and the same techniques employed by shells to link commands together. Much of Favalon's syntax is customizable via user-defined functions, allowing it to be extended by anyone who is familiar with a command-line shell. Furthermore, Favalon's type inference engine can be separated from its runtime library and easily repurposed for other applications. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | This presentation presents Favalon, a functional programming language built on the premise of a lambda calculus for use as an interactive shell replacement. Favalon seamlessly integrates with typed versions of existing libraries and commands using type inference, flexible runtime type metadata, and the same techniques employed by shells to link commands together. Much of Favalon's syntax is customizable via user-defined functions, allowing it to be extended by anyone who is familiar with a command-line shell. Furthermore, Favalon's type inference engine can be separated from its runtime library and easily repurposed for other applications. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 14, 号 3, p. 3-3, 発行日 2021-06-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
