Programming languages and Verification


The programming languages usually are the high-level languages, which are different from the machine language, they can directly help people to communicate with computers and import their orders to operate computers.


Until now, there are already more than one hundred programming languages in this world. Some typical examples including Java, C++, C#, Ruby etc. Each of them have the different features compared to others. For example, Java is usually used for developing webpages, games and mobile apps on Android system, while Objective-C tends to power Apple’s OS X and IOS, and also be used to develop iPhone apps. Expect the ways different languages may be used for, more importantly, the advantages they have will influence programs developers’ choice. Python, which is regarded as the one of the most suitable languages for beginners, has a clearer structure and grammar compared to C++. The later one, on the contrast, has a more complex structure but can realize more orders and functions then Python. It is the diversity of programming languages creates such a environment that allows us to implement various order, signals, motion on our computers.


For me, the language I feel most interested in is Ruby, which is designed and developed by Yukihiro Matsumoto in Japan. Before I try to figure it out what it really looked like, someone has claimed that Ruby is the most “beautiful” language he ever seen. One feature of Ruby is its flexibility. Just like what its designer claimed, Ruby provide people a possibility that having more than one way to do the same thing. The containment of it allow Ruby to absorb the advantages of different languages, which will lead to different solutions to one single question. This feature really attracts me to learn Ruby.


Back to the topic about programming languages. Through they have various features and advantages that couldn’t be copied, our choice to learn one more language is determined by the work we are going to do and the goal we are heading to. No matter how C#, C++ or Java works, we should choose the one that can boost our working efficiency on the maximum level. As a CS student, except learning Python in 15-112, we must have to the courage and execution power to learn about those new things. Just like what the syllabus told us:”This course won’t teach us a specific language, but the way to learn it.”


1.How to know the differences of programming languages from the root?

2.What’s the best way to learn a new language?

3.How to creat a programming language?