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

    From Curtis Jones@21:1/5 to All on Mon Jul 12 15:02:22 2021
    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/ )

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Beau Webber@21:1/5 to curtis...@ieee.org on Tue Jul 13 14:28:12 2021
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)