The dream of programming language design is to bring about
orders-of-magnitude productivity improvements in software development tasks.
Designers can endlessly debate on how this dream can be realized and on how
close we are to its realization. Instead, I would like to focus on a question
with an answer that can be, surprisingly, clearer: what will be the common
principles behind next-paradigm, high-productivity programming languages, and
how will they change everyday program development? Based on my decade-plus
experience of heavy-duty development in declarative languages, I speculate that
certain tenets of high-productivity languages are inevitable. These include,
for instance, enormous variations in performance (including automatic
transformations that change the asymptotic complexity of algorithms); a radical
change in a programmer's workflow, elevating testing from a near-menial task to
an act of deep understanding; a change in the need for formal proofs; and more.
Description
[1905.00402] Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
%0 Journal Article
%1 smaragdakis2019nextparadigm
%A Smaragdakis, Yannis
%D 2019
%K functional-programming
%T Next-Paradigm Programming Languages: What Will They Look Like and What
Changes Will They Bring?
%U http://arxiv.org/abs/1905.00402
%X The dream of programming language design is to bring about
orders-of-magnitude productivity improvements in software development tasks.
Designers can endlessly debate on how this dream can be realized and on how
close we are to its realization. Instead, I would like to focus on a question
with an answer that can be, surprisingly, clearer: what will be the common
principles behind next-paradigm, high-productivity programming languages, and
how will they change everyday program development? Based on my decade-plus
experience of heavy-duty development in declarative languages, I speculate that
certain tenets of high-productivity languages are inevitable. These include,
for instance, enormous variations in performance (including automatic
transformations that change the asymptotic complexity of algorithms); a radical
change in a programmer's workflow, elevating testing from a near-menial task to
an act of deep understanding; a change in the need for formal proofs; and more.
@article{smaragdakis2019nextparadigm,
abstract = {The dream of programming language design is to bring about
orders-of-magnitude productivity improvements in software development tasks.
Designers can endlessly debate on how this dream can be realized and on how
close we are to its realization. Instead, I would like to focus on a question
with an answer that can be, surprisingly, clearer: what will be the common
principles behind next-paradigm, high-productivity programming languages, and
how will they change everyday program development? Based on my decade-plus
experience of heavy-duty development in declarative languages, I speculate that
certain tenets of high-productivity languages are inevitable. These include,
for instance, enormous variations in performance (including automatic
transformations that change the asymptotic complexity of algorithms); a radical
change in a programmer's workflow, elevating testing from a near-menial task to
an act of deep understanding; a change in the need for formal proofs; and more.},
added-at = {2019-07-19T07:34:53.000+0200},
author = {Smaragdakis, Yannis},
biburl = {https://www.bibsonomy.org/bibtex/2ccf1f7fdc2deb35700c86da0e6cf4d18/alexv},
description = {[1905.00402] Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?},
interhash = {abd32ed62acbbbf947e13691dc578133},
intrahash = {ccf1f7fdc2deb35700c86da0e6cf4d18},
keywords = {functional-programming},
note = {cite arxiv:1905.00402},
timestamp = {2019-07-19T07:34:53.000+0200},
title = {Next-Paradigm Programming Languages: What Will They Look Like and What
Changes Will They Bring?},
url = {http://arxiv.org/abs/1905.00402},
year = 2019
}