Trending Programming Languages
4.4K views | +0 today
Follow
 
Rescooped by Flávio de Sousa from Amazing Science
onto Trending Programming Languages
Scoop.it!

New language Quipper helps quantum coders build killer apps

New language Quipper helps quantum coders build killer apps | Trending Programming Languages | Scoop.it

The first high-level programming language for quantum computers could guide the design of these futuristic machines – and make programming them.

 

Now Peter Selinger of Dalhousie University in Halifax, Canada, and colleagues have brought the field up to speed by creating Quipper, the first high-level quantum programming language. Quipper is designed to express instructions in terms of bigger concepts, and to make it easy to bring together multiple algorithms in a modular way. High-level languages for classical computers such as Java do most of the heavy lifting in modern computation.

 

Quipper is based on a classical programming language called Haskell, which is particularly suited to programming for physics applications. What Selinger's team has done is to customise it to deal with qubits.

They have also produced a library of Quipper code to carry out seven existing quantum algorithms, including an algorithm for estimating the ground-state energy of molecules. They hope that others will add to the library by writing more algorithms, creating a resource that will allow quantum programmers to build software by sticking modules together, as classical programmers do with Java.

 

"Having a well-designed programming language helps structure your thinking and informs the way you think about a problem," says Selinger. "It may become a useful tool in the design of new quantum algorithms."

Thorsten Altenkirch of the University of Nottingham, UK, who was not involved in the work, agrees. "People can use languages like Quipper as a test bed for ideas and understanding for how to write quantum software," he says.

 

Selinger's team released their outline of the language, together with their preliminary library, at the Programming Language Design and Implementation conference in Seattle, Washington, last month.

It may seem strange to create a language for a quantum computer, given that the hardware is still rudimentary. But developing the software – which is tested by simulating a quantum computer on a classical one – could influence the design of future quantum computers.

 

Quipper's creation was funded by IARPA, the US Intelligence Advanced Research Projects Agency, in order to pin down how many bits a quantum computer would need in order to outperform a classical one on certain tasks. Writing programs in Quipper makes the hardware requirements of an algorithm clearer and that has already led to some surprises. "It will take a lot more resources than people had thought," says Selinger, who can't talk about specific results.

 

He expects that with advances in engineering, such as reducing noise, the number of qubits necessary for a practical quantum computer will decrease over time.

 

The team made their estimates based on various existing forms of quantum hardware, including devices that use ion traps and photons.However, they did not include the only quantum computer in the market today, the D-wave computer. It uses a novel approach called adiabatic quantum computing and so is not currently compatible with Quipper.


Via Dr. Stefan Gruenwald
more...
No comment yet.
Trending Programming Languages
Programming Languages Everybody Talk About But It Feels Like Almost Nobody Really Use Them
Your new post is loading...
Your new post is loading...
Scooped by Flávio de Sousa
Scoop.it!

Quorum Programming Language

Quorum Programming Language | Trending Programming Languages | Scoop.it
Quorum is a general purpose tool that we call an "evidence-based" programming language. It started as an interpreted language originally designed to be easier to hear through screen readers for blind or visually impaired users. Eventually, Quorum became a general purpose programming language designed for any user. Current versions compile to Java Bytecode and run on the Java Virtual Machine, similarly to JRuby, Jython, or Scala. Quorum 3.0 also compiles to JavaScript and can be run from the web.
Flávio de Sousa's insight:
A programming language born to be accessible to blind programmers.
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

The Crystal Programming Language

The Crystal Programming Language | Trending Programming Languages | Scoop.it
A compiled language with Ruby like syntax and type inference
Flávio de Sousa's insight:
Modern languages should be like that: leave the heavy lifting for the compiler.
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

The Falcon programming language

The Falcon programming language | Trending Programming Languages | Scoop.it
"The Falcon Programming Language
A fast, easy and powerful programming language"
Flávio de Sousa's insight:

Falcon provides six integrated programming paradigms: procedural, object oriented, prototype oriented, functional, tabular and message oriented. And you don't have to master all of them; you just need to pick the ingredients you prefer, and let the code follow your inspiration.

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Wake Programming Language

Wake Programming Language | Trending Programming Languages | Scoop.it

Wake is a brand new programming language aimed at solving modern problems, such as code testability, expressive type safety, and language interoperability.

Throughout the docs, we'll show you how we've made the language testable, flexible, readable, concise, and safe.

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

If programming languages were religions...

"If programming languages were religions"
(Inspired by "If programming languages were cars")

more...
No comment yet.
Suggested by Rahul Vyas
Scoop.it!

Python not the most popular programming language this year.. (updated) | techAU

Python not the most popular programming language this year.. (updated) | techAU | Trending Programming Languages | Scoop.it
techAU is a site that covers the best in the technology industry. Written by passionate lovers of technology from across Australia, we contextualize content for Aussie tech fans.
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Elm

Elm | Trending Programming Languages | Scoop.it

"Elm is a functional language that compiles to HTML, CSS, and JavaScript. Designed for functional reactive programming, Elm makes it easy to create highly interactive applications."

Flávio de Sousa's insight:

Looks good for fast starters and an interesting playground for practicing FP.

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

The Haste compiler

The Haste compiler is a Haskell dialect geared towards web applications. It allows for writing unified, type-safe client-server applications as well as traditional client-side programs.
Flávio de Sousa's insight:

OMG Haskell having offsprings!

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Q - A Data Language

Q - A Data Language | Trending Programming Languages | Scoop.it

Q is a data language. For now, it is limited to a data definition language (DDL). Think "JSON/XML schema", but the correct way. Q comes with a dedicated type system for defining data and a theory, called information contracts, for interoperability with programming and data exchange languages.

Flávio de Sousa's insight:

DTD and XML:Schemas all over again?! I agree sometimes I miss schemas for JSON but... noooo!

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Pyret

Pyret | Trending Programming Languages | Scoop.it
...
Flávio de Sousa's insight:

Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming. It's under active design and development, and free to use or modify.

more...
No comment yet.
Rescooped by Flávio de Sousa from Amazing Science
Scoop.it!

New language Quipper helps quantum coders build killer apps

New language Quipper helps quantum coders build killer apps | Trending Programming Languages | Scoop.it

The first high-level programming language for quantum computers could guide the design of these futuristic machines – and make programming them.

 

Now Peter Selinger of Dalhousie University in Halifax, Canada, and colleagues have brought the field up to speed by creating Quipper, the first high-level quantum programming language. Quipper is designed to express instructions in terms of bigger concepts, and to make it easy to bring together multiple algorithms in a modular way. High-level languages for classical computers such as Java do most of the heavy lifting in modern computation.

 

Quipper is based on a classical programming language called Haskell, which is particularly suited to programming for physics applications. What Selinger's team has done is to customise it to deal with qubits.

They have also produced a library of Quipper code to carry out seven existing quantum algorithms, including an algorithm for estimating the ground-state energy of molecules. They hope that others will add to the library by writing more algorithms, creating a resource that will allow quantum programmers to build software by sticking modules together, as classical programmers do with Java.

 

"Having a well-designed programming language helps structure your thinking and informs the way you think about a problem," says Selinger. "It may become a useful tool in the design of new quantum algorithms."

Thorsten Altenkirch of the University of Nottingham, UK, who was not involved in the work, agrees. "People can use languages like Quipper as a test bed for ideas and understanding for how to write quantum software," he says.

 

Selinger's team released their outline of the language, together with their preliminary library, at the Programming Language Design and Implementation conference in Seattle, Washington, last month.

It may seem strange to create a language for a quantum computer, given that the hardware is still rudimentary. But developing the software – which is tested by simulating a quantum computer on a classical one – could influence the design of future quantum computers.

 

Quipper's creation was funded by IARPA, the US Intelligence Advanced Research Projects Agency, in order to pin down how many bits a quantum computer would need in order to outperform a classical one on certain tasks. Writing programs in Quipper makes the hardware requirements of an algorithm clearer and that has already led to some surprises. "It will take a lot more resources than people had thought," says Selinger, who can't talk about specific results.

 

He expects that with advances in engineering, such as reducing noise, the number of qubits necessary for a practical quantum computer will decrease over time.

 

The team made their estimates based on various existing forms of quantum hardware, including devices that use ion traps and photons.However, they did not include the only quantum computer in the market today, the D-wave computer. It uses a novel approach called adiabatic quantum computing and so is not currently compatible with Quipper.


Via Dr. Stefan Gruenwald
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Simit - A language for computing on sparse systems

Simit - A language for computing on sparse systems | Trending Programming Languages | Scoop.it
Simit is a programming language for computing
on sparse systems using linear algebra. Programs are short, readable,
performant and portable (CPU and GPU).
Flávio de Sousa's insight:
Perhaps a bit too specialized, but here is it!
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Kitten Programming Language

Kitten Programming Language | Trending Programming Languages | Scoop.it
Kitten is a statically typed, stack-based functional programming language designed to be simple and fast. It is a concatenative language, combining aspects of imperative and pure functional programming.
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

W - A simple programming language

Flávio de Sousa's insight:

Not trending at all! Not even a standard library!

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

The Mercury Project: Home

The Mercury Project: Home | Trending Programming Languages | Scoop.it
Flávio de Sousa's insight:

Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

So Many Programming Languages!

robots, programming, random stuffs (A new programming student asked, “How do you keep all the different languages straight?
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Swift

Swift | Trending Programming Languages | Scoop.it
Swift is an innovative new programming language for iOS and OS X with concise yet expressive syntax that produces lightning-fast apps. It makes writing code interactive and fun, and works side-by-side with Objective-C.
Flávio de Sousa's insight:

Just about time to get rid of Objective-C

more...
No comment yet.
Suggested by GlobalNow
Scoop.it!

Scala vs Java - Differences and Similarities between Java and Scala Programming language

Scala vs Java - Differences and Similarities between Java and Scala Programming language | Trending Programming Languages | Scoop.it
more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Self | Welcome

Self | Welcome | Trending Programming Languages | Scoop.it

"Self is a prototype-based dynamic object-oriented programming language, environment, and virtual machine centered around the principles of simplicity, uniformity, concreteness, and liveness."

Flávio de Sousa's insight:

Some interesting ideas here...

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

Hack

Hack | Trending Programming Languages | Scoop.it
Programming productivity without breaking things
Flávio de Sousa's insight:

Hack is a programming language for HHVM that interoperates seamlessly with PHP. Hack reconciles the fast development cycle of PHP with the discipline provided by static typing, while adding many features commonly found in other modern programming languages.

Hack provides instantaneous type checking via a local server that watches the filesystem. It typically runs in less than 200 milliseconds, making it easy to integrate into your development workflow without introducing a noticeable delay.

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

The Julia Language

The Julia Language | Trending Programming Languages | Scoop.it

Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library. The library, largely written in Julia itself, also integrates mature, best-of-breed C and Fortran libraries for linear algebra, random number generation, signal processing, and string processing. In addition, the Julia developer community is contributing a number of external packages through Julia’s built-in package manager at a rapid pace. IJulia, a collaboration between the IPython and Julia communities, provides a powerful browser-based graphical notebook interface to Julia.

more...
No comment yet.
Scooped by Flávio de Sousa
Scoop.it!

About - Nemerle programming language official site

About - Nemerle programming language official site | Trending Programming Languages | Scoop.it

Nemerle is a general-purpose, multi-paradigm programming language for the .Net platform. It is as easy to learn and use as C# or VB.NET but Nemerle is by far more powerful. One may start using it as an advanced C# and then, as learning goes on, employ a range of cool features enabling metaprogramming and functional programming. The metaprogramming is based on macros bearing some similarity to Lisp.

more...
Leta RoGu's curator insight, September 1, 2013 11:48 PM

quite interesting 

Scooped by Flávio de Sousa
Scoop.it!

Vala

Vala | Trending Programming Languages | Scoop.it

Vala is a new programming language that aims to bring modern programming language features to GNOME developers without imposing any additional runtime requirements and without using a different ABI compared to applications and libraries written in C.

more...
No comment yet.