Sketch Programming Language Offers 'Auto-Complete' To Your Code

Meet 'Sketch Programming Language' : developed by engineers at MIT that promises to take out the 'tough' part out of writing code; and make life better for the developers. Sketch Programming Language is a brainchild of Prof. Armando Solar-Lezama (MIT's Department of Electrical Engineering & Computer Science) who wanted programming languages to be smarter enough to allow the developer to omit computational details. Sketch auto fills in the gaps in the code written by developers, quite intelligently. The language currently is being shaped; and if made more user-friendly; the applications of Sketch would be quite wide-spread.

MIT students have already built multiple projects using Sketch - including auto-grading of programming assignments, a complex system that directly turns hand-drawn diagrams into code and a system that generates SQL queries based on Java code. Lezama and his students have shown how Sketch can be used to built complex systems and handle synthesis tasks. The latest version of Sketch is much more efficient. For example, the latest version could fix the code for auto-grading system in a few milliseconds while its earlier version timed-out or just gave up.

slide
Illustration: CHRISTINE DANILOFF/MIT​

The team behind Sketch however believes that they'll have to go a long way before the programming language can start benefitting commercial software developers. Lezama and team wants developers to dump C programming language and switch over to Sketch; but they know that there's a lot to cover. Professor Rajeev Alur of University Of Pennsylvania says that Sketch being used for commercial software development is a very ambitious & distant goal. As of now, the programming language can be used in very specialised tasks. Sketch however can be incredibly useful in saving time spent in fine-tuning & optimising the code.

Those interested in learning about the Sketch Programming Language may refer to the following thesis by Prof. Lezama: PDF (PDF). We'd like to ask our fellow computer/software engineers - do you think auto-completing programming languages would bring a revolution to programming?

Source: #-Link-Snipped-#

Replies

  • Hanumanth Budihal
    Hanumanth Budihal
    That's some fine work!
  • ahmed sarfraz
    ahmed sarfraz
    There is a real need of things like that. Altough I am not an IT or Computer Sciences guy but I really feel the need of this thing.

You are reading an archived discussion.

Related Posts

reserch papres on sensor based coal handling,pls send urgent
Inspired by the tremendous success Moto G tasted in India, Motorola tweeted that it would roll out its flagship Moto X within few weeks in India and Australia. It seems...
Windows Phones might not be popular phones in the market but this fact does give it an advantage. Yes, I know that’s being too optimistic, but due to low market...
MANOJ KIRAN submitted a new project: Line follower - Line follower robot Hai every one, Recently i am working on a robotics project.In this project the bot should follow the...
We all experienced in past that "Crazy Engineers", YOUR OWN community is expanding wings. At CE, we never believed on advertising to showcase our name and work; We always believed...