Hacker News Reader

Comment by mpweiher | Hacker News Reader

The article isn't saying anything about the quality or lack of quality of functional programming (except for disputing the unfounded 10x better claim with actual data).

The article is saying that irrespective of how good or bad function composition is, it is just one kind of connector ("glue"). And we need more than one.

For more info on connectors, see Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status by Mary Shaw.

https://resources.sei.cmu.edu/library/asset-view.cfm?assetid...

View on HN

Are there some languages that implement connectors like in the paper?

Recently I became aware of “FAC: A Functional APL Language” a 1986 paper by Hai-Chen Tu and Alan Perlis[1]. Unlike traditional APLs it allows you to define your own “operators” (second order functions), such as “x (F SWAP) y: y F x”, where x and y can be congruent arrays. It even allows infinite arrays, which can be evaluated lazily and provides a powerful operator on them (let’s call it “$”) such that “1 (+ $) 1” is the Fibonacci sequence! Since FAC functions are pure, in principle you can evaluate things in parallel.

It occurs to me that operators can be considered connectors!

[1] https://ieeexplore.ieee.org/document/1695470

There are the Architecture Description Languages, but they only describe, so you have to do the additional work of describing the architecture, and then program it conventionally. Not very appealing and they never really took off.

Unicon was one of the first projects I am aware of that tried to generate code:

https://www.cs.cmu.edu/~Vit/unicon/reference-manual/Referenc...

It is also the system that made me see the connection between architectural elements (connectors/components) and the elements of a programming language, the language's meta-model.

ArchJava ist the only attempt so far to add a connector abstraction to an existing programming language:

https://www.ics.uci.edu/~andre/informatics223s2009/aldrichch...

But since "connector" is a generalisation of "procedure/function/method call", you can't really just add connectors to an existing language, you have to generalise. Which is what I am doing with Objective-S: http://objective.st

(And no, the ObjS web-site is currently not very good at all. But it is being served by ObjS and can stand up to a HN hug of death, so at least something...)

Thanks, UniCon certainly looks interesting.

I did briefly look at Objective-S as well, but I'm not familiar with Scheme from before so will need more time to get a feel for how it works in practice.

You can get a lot of the advantages of this clear split in a regular language like C#, but I agree that a dedicated one probably can get you some synergies that are otherwise lost.

> You can get a lot of the advantages of this clear split in a regular language like C#

Absolutely! It's just not at all obvious and thus difficult to accomplish or do well. You need to have a very clear model of the solution in your head that you then encode very differently in your language of choice.

And once it's encoded, it's very difficult to recover that clear/simple model that only exists in your head, both for yourself and even more so for future maintainers. Meaning it will probably degrade more or less rapidly over time.

Linguistic support should make this much more straightforward, as you can just write down the model you had in your head. Or at least much more of it.

Reply on news.ycombinator.com