RSS

Monthly Archives: March 2013

On pureness

It is usually a pleasure to use a functional programming language, but it is doubtful whether we should care about the “pureness” of the language. To write programs in a completely pure functional programming language (e.g. Haskell) is much like living in a wired world.

There are no electromagnetic waves nor sound waves in such a world, so you don’t have wifi, cell phones, satellite televisions, radios, etc. You don’t even have light or sound. In other words, everything is blind and deaf.

All information must pass through wires or pipes, connected by switch boxes which we call “monads”. You must carefully route all the wires and pipes and connect them correctly before any information processing device, including your eyes and ears, can properly work.

So I think a language will need parts of it not to be pure, in order to naturally represent the effects such as electromagnetic waves. Normally those effects are called “benign effects“.

Advertisements
 
Comments Off on On pureness

Posted by on March 31, 2013 in opinions, philosophy, programming languages, semantics

 

A Concise Solution to the P=NP? Problem

To solve P=NP? is to answer the following question:

Can we solve strictly more problems with a computer that does not exist?

Thus we have proved that this problem is nonsense. QED.

Seriously, this blog took me years to conceive, and a week to write. Please don’t take it lightly. If you need a more “authoritative” proof, please refer to this.

 
Comments Off on A Concise Solution to the P=NP? Problem

Posted by on March 27, 2013 in algorithms, complexity