Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Gilad Bracha, "A Ray of Hope: Array Programming for the 21st Century"

51 views
Skip to first unread message

Curtis Jones

unread,
Jul 12, 2021, 6:02:23 PM7/12/21
to
Some folks here may well be interested in Gilad Bracha's paper for SPLASH2020.
https://2020.splashcon.org/details/splash-2020-rebase/26/A-Ray-of-Hope-Array-Programming-for-the-21st-Century

The abstract begins "The ideas of APL and its successors, the array programming languages, were two generations ahead of their time. "
Dr. Bracha is working on a new language, ShapeRank. Others in this group may understand ", a new statically typed, purely functional language for industrial use, that extends rank-polymorphism to streams."

(The talk cites work being done by Justin Slepak on strong types in a new language called Remora.
https://www.khoury.northeastern.edu/people/justin-slepak/ )

Beau Webber

unread,
Jul 13, 2021, 5:28:13 PM7/13/21
to
On Monday, 12 July 2021 at 23:02:23 UTC+1, curtis...@ieee.org wrote:
> Some folks here may well be interested in Gilad Bracha's paper for SPLASH2020.
> https://2020.splashcon.org/details/splash-2020-rebase/26/A-Ray-of-Hope-Array-Programming-for-the-21st-Century
>

It is always good when someone gives one names for something that one is already doing :
I refer to the two types of data streams that are discussed.
When one is gathering experimental data from different data sources, perhaps from different computers, there are at least two possible ways of combining them. A common way of joining them is used when one needs to relate each y value in a graph to is related x value - Dr. Bracha describes this as Synchronous Semantics. Nothing surprising there. But sometimes one just wants to wait for any data to come from say 2 sources, and after that use the latest value from both channels as pairs - say the voltage from one channel and the temperature from another. One may be updated more often than the other. Dr. Bracha describes this a Reactive Semantics. OK, my understanding of what I am doing in my programs is clarified, thank you.
0 new messages