CrazyEngineers Archive
Old, but evergreen and popular discussions on CrazyEngineers, presented to you in read-only mode.
@Kaustubh Katdare • 26 Feb, 2014 • 2 likes
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: https://people.csail.mit.edu/asolar/papers/thesis.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: MIT
@Hanumanth Budihal • 04 Mar, 2014 That's some fine work!
@ahmed sarfraz • 10 Mar, 2014 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.
5.3k views

Related Posts

@Kaustubh Katdare · Jun 12, 2013

The Honda Activa is one of the hottest selling scooters in India but in the recent times, it's facing a cut-throat competition from rival Japanese & Indian two-wheelers. In order...
55.3k views

@Ankita Katdare · Apr 30, 2013

It is amazing to see the pace of research happening in the field of batteries and chargers. Given that 'going compact' is our anthem and cellphones or handhelds the present...
4.6k views

@Alok mishra · Feb 13, 2014

I am going to join CDAC at the end of this month and as i have never been to pune , i ask CEans to suggest me how and where...
8.7k views

@safdarvahora · Aug 2, 2012

I want to place an event in college tech fest in electronics department. So i want ideas of different events which can be placed in the tech fest.
10.5k views

@Kaustubh Katdare · Aug 26, 2013

Chemical engineer Chitra Thiyagarajan has obtained a patent for a device that converts plastic into fuel similar to diesel. Chitra set out to find a cheap as well as sustainable...
7.1k views