| Item type |
Trans(1) |
| 公開日 |
2023-06-29 |
| タイトル |
|
|
タイトル |
Responsibilities of Responses in Functional Reactive Programming |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Responsibilities of Responses in Functional Reactive Programming |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
[発表概要, Unrefereed Presentatin Abstract] |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者所属 |
|
|
|
School of Computing, Tokyo Institute of Technology |
| 著者所属 |
|
|
|
School of Computing, Tokyo Institute of Technology |
| 著者所属(英) |
|
|
|
en |
|
|
School of Computing, Tokyo Institute of Technology |
| 著者所属(英) |
|
|
|
en |
|
|
School of Computing, Tokyo Institute of Technology |
| 著者名 |
Sosuke, Moriguchi
Takuo, Watanabe
|
| 著者名(英) |
Sosuke, Moriguchi
Takuo, Watanabe
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Functional Reactive Programming (FRP) describes systems using time-varying values, which are abstractions of values that change over time. Since actual time-varying values cannot be computed in a moment, the result of another time-varying value may change during the computation of one time-varying value. This problem is called a glitch. A glitch can be seen as data races in concurrent processing and is often discussed in FRP in the context of asynchronous processing and distributed systems. While system-wide synchronization is costly, it is important to allow programmers to choose whether or not to synchronize, since some references do not need to be strictly synchronized. In this presentation, we introduce the FRP language MPFRP, in which time-varying values to be computed synchronously are grouped. In MPFRP, each time-varying value belongs to a party. Time-varying values belonging to the same party are computed synchronously and are not synchronized with the computation of time-varying values belonging to different parties. A party is defined in a module and is used as the starting point for computation in the system. This makes it easy to switch between and mix push-based (data-driven) and pull-based (demand-driven) models. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Functional Reactive Programming (FRP) describes systems using time-varying values, which are abstractions of values that change over time. Since actual time-varying values cannot be computed in a moment, the result of another time-varying value may change during the computation of one time-varying value. This problem is called a glitch. A glitch can be seen as data races in concurrent processing and is often discussed in FRP in the context of asynchronous processing and distributed systems. While system-wide synchronization is costly, it is important to allow programmers to choose whether or not to synchronize, since some references do not need to be strictly synchronized. In this presentation, we introduce the FRP language MPFRP, in which time-varying values to be computed synchronously are grouped. In MPFRP, each time-varying value belongs to a party. Time-varying values belonging to the same party are computed synchronously and are not synchronized with the computation of time-varying values belonging to different parties. A party is defined in a module and is used as the starting point for computation in the system. This makes it easy to switch between and mix push-based (data-driven) and pull-based (demand-driven) models. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11464814 |
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO）
巻 16,
号 2,
p. 38-38,
発行日 2023-06-29
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1882-7802 |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-TPRO1602015.pdf (27.8 kB)
