It is said that spoken languages shape thoughts by their inclusion and exclusion of concepts, and by structuring them in different ways. Similarly, programming languages shape solutions by making some tasks easier and others less aesthetic. Using F# instead of C# reshapes software projects in ways that prefer certain development styles and outcomes, changing what is possible and how it is achieved.

F# is a functional language from Microsoft's research division. While once relegated to the land of impractical academia, the principles espoused by functional programming are beginning to garner mainstream appeal.

As its name implies, functions are first-class citizens in functional programming. Blocks of code can be stored in variables, passed to other functions, and infinitely composed into higher-order functions, encouraging cleaner abstractions and easier testing. While it has long been possible to store and pass code, F#'s clean syntax for higher-order functions encourages them as a solution to any problem seeking an abstraction.

F# also encourages immutability. Instead of maintaining state in variables, functional programming with F# models programs as a series of functions converting inputs to outputs. While this introduces complications for those used to imperative styles, the benefits of immutability mesh well with many current developments best practices.

For instance, if functions are pure, handling only immutable data and exhibiting no side effects, then testing is vastly simplified. It is very easy to test that a specific block of code always returns the same value given the same inputs, and by modeling code as a series of immutable functions, it becomes possible to gain a deep and highly precise set of guarantees that software will behave exactly as written.

Further, if execution flow is exclusively a matter of routing function inputs to outputs, then concurrency is vastly simplified. By shifting away from mutable state to immutable functions, the need for locks and semaphores is vastly reduced if not entirely eliminated, and multi-processor development is almost effortless in many cases.

Type inference is another powerful feature of many functional languages. It is often unnecessary to specify argument and return types, since any modern compiler can infer them automatically. F# brings this feature to most areas of the language, making F# feel less like a statically-typed language and more like Ruby or Python. F# also eliminates noise like braces, explicit returns, and other bits of ceremony that make languages feel cumbersome.

Functional programming with F# makes it possible to write concise, easily testable code that is simpler to parallelize and reason about. However, strict functional styles often require imperative developers to learn new ways of thinking that are not as intuitive. Fortunately, F# makes it possible to incrementally change habits over time. Thanks to its hybrid object-oriented and functional nature, and its clean interoperability with the .net platform, F# developers can gradually shift to a more functional mindset while still using the algorithms and libraries with which they are most familiar.

Related F# Resources:

F# Programming Essentials Training

Viruses, trojans, and other malicious programs are everywhere. There's always a new threat to your computer's security, and many of these threats invade your computer without you even knowing. Most viruses aren't going to loudly announce themselves, so it's important to know the hidden ways in which your computer can become infected.


Infected Files from Other Computers

Whether you're borrowing someone's flash drive or grabbing a file from their computer, your computer can become infected if the file or device you're using already contains a virus, trojan, or other form of malware.

This is a very common issue, and you won't even know there's a problem most of the time. For example, if your computer is connected to other devices on a network, and you decide to pull an important file off of another computer on the network, your computer will become infected if the file you took has a virus attached to it.

Also, if you forgot your flash drive, and you need to use your friend or coworker's device for the day, then even plugging the device into your computer can cause the infection in the flash drive to be transmitted.


Downloading Legitimate Programs

Another way your computer can be secretly infected is when you download a legitimate program and run it. There are numerous legitimate programs on the internet that can help you in many ways. The programs themselves could be infected, though.

Also, one of the most common ways your computer can become infected is when you don't read the fine print before you download a program. Some of them may insist that you install another small program in addition to the one you initially chose. The boxes that you are supposed to click to give your consent may already be clicked.

This small extra program is the one that may carry an infection that will spread to your computer when you run the main program. You may get a lot of good use out of the legitimate program, but the virus attached to the extra hidden program can cause you a lot of trouble.


Using Vulnerable Applications

Security is a serious matter. If even one of the applications you use on your computer is vulnerable to becoming hacked or infected, then your entire computer is at risk and could become secretly infected. Anything from PDF viewing applications to your operating system can become infected if you don't download the latest security patches and keep everything up-to-date.


Not Using Antivirus Software

Antivirus software can protect your computer from a number of viruses, trojans, and other problems. Your computer can become infected in a number of ways, so you need to have good antivirus software to provide strong protection from hidden attacks.


Viruses, trojans, and other malware can infect your computer in a variety of hidden ways. To prevent infection and problems, you need to be careful about what you download, and you should keep your applications secure. Also, find reliable antivirus software to help.

Related:

How Do IT Placement Agencies Work?

5 Disruptive Technologies for the Enterprise: What are the Implications?

F# is excellent for specialties such as scientific computing and data analysis. It is an excellent choice for enterprise development as well. There are a few great reasons why you should consider using F# for your next project.

Concise

F# is not cluttered up with coding noise;  no pesky semicolons, curly brackets, and so on. You almost never have to specify the kind of object you're referencing because of its powerful type inference system. It usually takes fewer lines of code to solve the same issue.

Convenient

Common programming tasks are much easier in F#. These include generating and using state machines, comparison and equality, list processing, as well as complex type definitions. It is very easy to generate powerful and reusable code because functions are first class objects. This is done by creating functions that have other functions as parameters or that combine existing functions to generate a new functionality.

Correctness

F# has a strong type system, and, therefore, prevents many common errors such as null reference exceptions. Valuables are immutable by default which, too, prevents a huge class of errors. You can also encode business logic by utilizing the type system. When done correctly, it is impossible to mix up units of measure or to write incorrect code thereby decresing the need of unit tests.

Concurrency

F# has number of built-in libraries. These libraries help when more than one thing at a time is occurring. Parallelism and asynchronous programming are very simple. There is also a built-in actor model as well as excellent support for event handling and functional reactive programming. Sharing state and avoiding locks are much easier because data structures are immutable by default.

Completeness

F# also supports other styles that are not 100 percent pure. This makes it easier to interact with the non-pure world of databases, websites, other applications, and so on. It is actually designed as a hybrid functional/OO language. F# is also part of the .NET ecosystem. This gives you seamless access to all the third party .NET tools and libraries. It operates on most platforms. These platforms include Linux and smartphones via mono. Visual Studio is integrates with F# as well. This means you get many plug-ins for unit tests, a debugger, a IDE with IntelliSense support, other development tasks. You can use MonoDevelop IDE on Linux.

Related:

F# - Marching Towards Top 10 Programming Languages

What Are the Advantages of Python Over Ruby?

Top 10 Programming Languages Expected To Be In Demand in 2014

Here is a list of the organizations that use Python. This list is periodically updated by HSG’s software fans as well as the community at large.
 

Web Development

1.       Yahoo Maps
Yahoo acquired Four11, whose address and mapping lookup services were implemented in Python. Yahoo Maps still uses Python today, as can be seen by examining its URLs.
 

2.       Yahoo Groups
A comprehensive public archive of Internet mailing lists that was originally implemented in pure Python. At one point Scott Hassan, one of the founders of Findmail/eGroups (the company that was later acquired by Yahoo), reported that they had 180,000 lines of Python underlying everything from their 100% dynamic website to all email delivery, pumping out 200 messages/second on a single 400 MHz Pentium.