Wednesday, August 29, 2012

A Practitioner's requests for Programming Language Research

I have been interested in programming languages and programming language theory for some time, CTM is my favorite technical book, and I even managed to wade through the first chapters in Pierce's TAPL (some day I'll get through the rest, some day...). But it's not often that I can connect that interest with by job as practicing programmer. This post is an attempt to forget about my particular research interests and try to list my daily pain points and wants as a user of programming languages.

If this is to make any sense, I have to start outlining the context: mostly back-end-related web development, currently with a content-based website, with past consulting stints at more and less enterprisey environments. I won't presume to represent any particular segment of the programming population, but I would be surprised if my peeves are unique.

Semi-automatic mapping between data representations.

Most programs receive data in one or more external forms — database rows, JSON documents, ASN.1 records, form data and many others — transform them to internal representations for computation and write them out again. Reflection enables generic marshaling libraries so we can escape the drudge of writing and maintaining all that conversion code by hand. There is a whole  research area for doing about the same in typed functional programming — polytypic programming — but I know next to nothing about it, I'm afraid.

All this is great, but in practice a completely generic mapping algorithm is rarely sufficient. It forces one of the two representations to bend to conform to the other: who hasn't seen horrible schema-generated classes or ugly auto-generated xml? On the other hand, when we try to sophisticate the mapping to give developers more flexibility, we get ever more cumbersome configuration options cluttering our code. We need something better and I hope PLT can help; it could be an elegantly terse language for writing the mappings, it could be an ingenious abstraction mechanism for composing generic mapping with custom instructions, or it could be something else entirely.

Library versioning

The issues around library versioning and dependency management are well known and have been for a long time, generation after generation of technology creating it's own version dependency hell. The situation is so dire, just enabling the coexistence of many versions of a library on a single machine is hailed as a major breakthrough.

A language based approach can afford to be much more ambitious. Most module systems I'm familiar with handle compatibility by having client-supplied rules preside over version numbers defined by the library provider. The provider, in turn, must decide wholesale for his entire library what level of compatibility he thinks each release can maintain. In practice there is a lot of guessing going on both on the client and the provider side, mediated by the very lossy medium that is the version number.

Perhaps things need not be so complicated if the language gets in on the action. Imagine if we could indicate to our compiler "this little change in this method here is supposed to be compatible, while this other change over there is not" and the information would trickle down from caller to caller all the way to the public API surface. The compiler would of course flag a call from a compatible method to a non-compatible method, and perhaps a theorem prover/counterexample generator could pinpoint places where the developer unwittingly broke compatibility. If our modules are first-class, we can even contemplate having several versions of them interoperating in runtime to satisfy transitive dependencies differences.

Data evolution

If the behaviour evolution problem described on the item above is solved, the next issue to tackle is the evolution of data. In a way it's a harder problem to face, as it's not enough to track what changed, we need to know why it changed (simple example: the User record has a surname String field on version one; on version two this field is gone and a new last_name field is there; should it be considered a rename?).

In the context of server-side web applications I don't see a particular need for in-memory application data evolution (clusters alleviate the need for hot-deploys). But migrating externally stored data is a real necessity. As far as I know, the state of the art now amounts to filtering and sorting manually written database scripts to run at deploy time, perhaps with some syntactic sugar sprinkled on top.

But if we note that on the moment the data declaration code is being changed, the developer knows why it's changing, we just need a way to record this intent and tie it to the mapping and change structures from the previous two items, and voilà. Things sure sound easy on blog posts, don't them?

Tooling

I've written about this before, so I'll just briefly lament what a shame it is we are trapped between monstrous cockpit-like IDEs and dumb-as-a-rock text editors, when the obvious path of a language-aware editor seems to interest almost no one. By the way, I wish the Light Table guys all the luck.

Non-issues

From my biased perspective as a practitioner on my particular domain, there are some problems tackled by programming language research that I don't see as particularly pressing.
  • Sequential performance: Cache is king.
  • Parallel performance: On the server, multicore parallelism is very well exploited by request-level concurrency and virtualization.
  • Concurrency: STM and Actors are nice but a very large portion of the concurrency issues in practice are simply delegated to the database (and I haven't the foggiest idea what concurrency support those guys crave for, but I bet many are content with locks, monitors and semaphores).
  • Correctness: We have bugs, of course, but they seldom present themselves as classical broken invariants.  What are they then? Faults of omission, unintended interactions between separate systems, API usage misunderstandings. I'm skeptical on language help for these, but I'd be glad to be proven wrong.
Seems like a good time to repeat that on this post I'm trying to connect my particular needs as a developer on my current domain to what programming language research might accomplish. I'd expect the issues and non-issues to be different for other domains, or even for other developers in a similar domain but with a different background.

Cake

Who doesn't love cake? No, not this cake, this cake. Hmm.

39 comments:

Andrei said...

The problem is the difference between what would be more interesting to the daily practice of developers, and what is valued in research communities. Versioning and tooling are two aspects that aren't particular popular between researchers. Making good tools is a lot of work but it's not considered good research, so few researchers will dedicate the time to something that won't produce many papers.

On the other hand, there are "hot" topics in research that often are less important in practice but generate lots of papers.

Unknown said...

@Andrei

I don't want to come across as if I believe research goals should be directed by industry needs. It's a complicated relationship, and I don't see it getting any simpler.

My intent with this post was more towards hightlighting some real needs that could benefit from research and aren't usually cited when academics talk about the industry impact of their research.

I know you didn't said this but the post may have left the impression that I think research should be more engineering-oriented. On the contrary, I think the points I mentioned all could benefit from a lot of theoretical work.

Thanks for commenting, Andrei.

Cynthia Burns said...

Then, while programming can be left alone to do its thing after completion, it still needs human intervention. As you have said, there are auto-generated xml that are ugly, thus needing the logical thinking processes of a human being.

Suba said...

Had a wonderful time while reading your article. Thanks admin.

Java Training in Chennai
ReactJS Training in Chennai
AngularJS Training in Chennai
Python Training in Chennai
Python Training institute in Chennai

System Vlogs said...

myvegas free chips
What a greThank you.at article you've written! This is useful and well-thought out information with thought-provoking viewpoints and content.

Charlotte W. said...

The advantage of being an a Computer Programmer is that you get to work in teams, apply your knowledge at home and have a positive job growth. Then, the disadvantage in this business is that the work environment tend to be the same, high level of stress, and need to be committed to the job and work long hours.
==============================
sdlc security

Leo5 said...

Your post is very good. I got to learn a lot from your post. Thank you for sharing your article for us. it is amazing post
Update Xperia T2 Ultra Dual

mariamith said...

Anyone can attempt writing on your behalf, however, the question is would you pay someone to do it for you without checking their credibility? Our firm has established itself as the most trustworthy assignments help firm in Australia and globally. Join these thousands of students and achieve high distinction in each and every one of your college tasks. This is the main reason why most students search for online assignment help australia over the internet and choose only the most proficient and trusted academic writing experts. So, if you are searching for quality assignment help singapore you can find it right here from the local experts.

Anonymous said...

The over unity magnetic MICR toner that you pick has to be specifically designed for that particular screen-print website inside the printer. Guarantee your toner continues to be carefully tried to get reliable sign psychic readings, image permanence along with uniformity, and exceptional advantage acuity. Toner insurance coverage need to be reliable with no external toner lay down. https://royalcbd.com/how-to-make-cbd-gummies-at-home/

Digital Amar Kanaujiya said...

This article content is really unique and amazing. This article really helpful and explained very well's i am really thankful to you for sharing keep it up..

Digital Marketing Service in Kanpur

Anonymous said...

Promote ABHI offer affordable Online Reputation Management(ORM) services are about this only. A top online reputation management company will not wait for any detrimental thing for your reputation to happen they will proactively check it to control that such things never occur.

Top branding agency said...

Thank You for your information.kindly visit us : Top Branding Companies in India

james smith said...

BookMyEssay offers online academic writing service. Our professionals are available 24/7. Grab the best deal on academic writing from the experts.

opbest said...


This is such a great resource that you are providing and you give it away for free. I love seeing blog that understand the value of providing a quality resource for free.

Review my webpage - 오피

(freaky)

Ruth K. Alba said...

Happy to read your your blog! we exclusively provide support for the Time Warner Cable or TWC email. You can visit our website to get all kinds of support for the TWC email.

Morgan said...

Strategy is the core for any organization. It helps in making a centralized decision, and a sure way to understand and resolve a problem. However, this is not just random principles, but specific goals, decisions, and objectives to face the challenges. Ph.D. in Cybersecurity in the United States

Anamika said...

This is one of the fine art through which we can get an amazing time discussing a lot of things.
Night Girls in Delhi

Tour Packages said...

Book Dubai tour Packages at Best Price with Travel Triangle. Get Best Offers of Dubai Tour Packages with Airfare, Hotel and Sightseeing and many other options for your enjoyment at the fullest.

Tour Packages said...

Are you looking for tour packages for himachal » Find Discounts on the Best himachal Packages? Travel Triangle Helps You Spend Less. We are providing the best himachal tour packages from India. This himachal holidays package is the perfect combination of beaches and culture.

tom said...

Great website and leaning things Alex Art Digital Marketing Services

gostopsite com said...

GOOD AFTERNOON! I WISH, YOU ALWAYS POST MORE BLOG LIKE THIS!! THANK YOU

casinositerank com said...

A GREAT BLOG. I WILL DEFENITELY BACK.

sportstotomen com said...

I WAS IMPRESSED BY THE GOOD WRITING.THANK YOU

19guide03 com said...

I really like your blog.. very nice colors & theme.

casinosite zone said...

Well I truly enjoyed reading it.

slotplayground com said...

I really enjoy your web’s topic.

outlookindia com said...

Great job for publishing such a beneficial web site

safetotosite said...

This was an incredible post. Really loved studying this site post. Excellent points

casinositenet said...

I believe that this weblog is interesting. Thank you for your time and efforts here.

casinositekim said...

I am glad to see this site share valued information Nice one! Great dayyy

mttotosite said...

Really amazed with your writing talent. Thanks for sharing, Love your works

sportstoto365 said...

Fantastic website. A lot of helpful info here. Thanks to the effort you put into this blog

cmriindia said...

Extremely pleasant and fascinating post. Continue posting. We're waiting Thanks

파워볼실시간 said...

Thanks for sharing the informative post. Keep on writing the same way you did here

메이저 토토사이트 said...

Thanks for sharing. It is such a very amazing post. Great job you made in this post

바카라사이트 추천 said...

The website style is perfect; the articles are great. and you are great Thanks

슬롯사이트 순위 said...

Fantastic website, This really is an incredibly amazing resource. Many thanks for this

스포츠토토 사이트 추천 said...

I am happy to find this way of writing the post. Thank you forthis useful information

Curtis Taing said...

You can depend on our team of experts to do the task correctly if you need credible vehicle repair in Queens. Honest service and meticulous care up to date are two things our reliable auto mechanic in queens take very seriously in. With our years of experience, we keep your vehicle operating smoothly!