%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 }