math - Convergence of Mathematics and Programming Languages -

-

It seems that there is a strong movement for the convergence of mathematics and computer programming languages, this is especially evident from its effect.

I feel that many incidents that can be done in mathematics can be mathematically even modeled logically.

I do not think that we want to take advantage of a purely logical language or purely mathematical traction traction for general purpose programming, but I want to list the benefits of every paradigm. I want to know: / P>

  • What are the benefits of modeling programming languages ​​or language features on math?
  • What are the advantages of the principles of modeling of a language? Formal logic?
  • Can a general purpose language either leave argument or math?
  • What are some languages ​​that really show the benefits of any approach?
  • Does the hardware features make one approach more attractive to the other?

    • First of all, I do not see much difference between logic and math; The latter is only systematically implemented for specific constructions in the east.

    In addition to this, I am not convinced that the theoretical beauty of programming languages ​​based in mathematics / logic is really very valuable, efficient, satisfactorious code.

    Specific questions for you

    What are the benefits of modeling about programming languages ​​or mathematics in language? What is the advantage of modeling language on the principles of formal reasoning?

    Evidence of purity becomes very easy - though it is doubtful whether we will ever reach the point where they are practical, real life system.

    Can any general purpose language either leave logic or math?

    "Skip" You can get a language without mathematical operation (though you have to get beautiful espressic; Turing machine is the only one which I can think of, Is not), and you are definitely the one who does not care about anything about formalism (Assembler, C) but I do not think it is possible to have a programming language without argument (although it can be distorted arguments , CF.)

    There are some languages ​​that shows the approach to the benefits of either?

    Well, if you consider Lambda calculus as a logic, then Lisp has shown its proficiency to its language since 1958, whose expressive power is of other languages. Wish (but not to reach).

    Then there is Prolog, only other "serious" language I know that tries to be based in clear formal arguments and - surprisingly surprised - this logic is good on content and something else.

    What hardware features make it more attractive than one?

    Nobody fails to prove the IMO is quite convinced that Compilers + general hardware are more powerful than special hardware. However, one can say that the tolerant forces of today's system are making such languages ​​that completely ignore the hardware constraints where they were not before.


Comments

Post a Comment

Popular posts from this blog

MySql variables and php -

-
I am getting an error with php in order to format mysql_query () in php to format this string What is the right way? SELECT SELECT SELECT (*) Agents @AgentCount; User_Agent_English, User_Angent_Oursal, US.___Gent_Aginal, COUNT (User_Agent_Percade) ACC, COUNT (*) / (AgentCount) Percentage by agents user_agent_preser order DEC limit limit 50; In PHP, how am i setting $ query $ query = "SELECT count (*) agents @ agentcount; SELECT user_agent_parsed, User_agent_original , COUNT (user_agent_parsed) ascount, COUNT (*) / (@AgentCount) as a percentage by user_agent_parced by URI date DESC limit 50 "; This exact query will work properly if I put it in MySQL directly through a command line session. Do I need to release two separate php calls from mysql_query () and store the results first? I get the following error: There is an error in your SQL syntax; Instead of using a sub-selection and instead of using the 'SELECT user_agent_parsed, user_agent_original, ne...
Read more

url rewriting - How to implement the returnurl like SO in PHP? -

-
This URL should work even after the rewrite. Is this possible? Otherwise, I can only hardcoded everything If you are trying to create a login system with redirection You need to use the HTTP_REFERER header to find out where the user came from so that you can send it back there. The best way to do this is to use something like this in your login form: // - Login php & Lt; Input type = "password" name = "password" /> & Lt; Input type = "hidden" name = "returnrelale" value = "& lt ;? php echo $ redirectURL ;? & gt;" / & Gt; & Lt; / Form & gt; Please note that some ISP, browser or proxy will delete the referrer header, so you can not rely on each user to work fully. If you use a statement, to check whether the header exists or not, you can send those users back to the homepage or whatever. Edit If you are looking to use $ _SERVER ['REQUEST_URI'], if you are running Apache It sho...
Read more

Which Python client library should I use for CouchdB? -

-
I am starting to experiment with CouchDB because it looks like we have the right solution to certain problems That all the work will be on a new project, which does not have any legacy dependency, which the client library will suggest you use, and why? If we overlap any of the OS. Freeband is available only in the collection of its ports, but asks to use the library's project website. None of those people are Ubuntu, which is only with ships, since those two OSAs are not common in libraries, I am probably installing something from source (and hopefully if I have time, then Ubuntu and FreeBSD People pack the package). For those interests, I want to use CouchDB as a convenient intermediate storage space for data passed between different services - think of a message bus system, but less formalities with. For example, we have daemons that download and pars the web page, then send an interesting bit to other daemons for further processing. Many of them are ill-defined until the...
Read more