FP xem tất cả mọi thứ đều là giá trị, kể cả hàm. Mặc dù F# không phải là một ngôn ngữ thuần functional, nhưng nó vẫn khuyến khích bạn viết chương trình theo phong cách functional. Nghĩa là thay vì dùng những câu lệnh có thể gây ra hiệu ứng phụ, bạn được khuyến khích sử dụng các biểu thức và phép toán trả về giá trị. Ở phần tiếp theo, bạn sẽ khảo sát qua một số cấu trúc chính của ngôn ngữ F# hỗ trợ FP paradigm, để học cách lập trình theo phong cách functional dễ dàng hơn.

Literal biểu diễn các giá trị không đổi và là những khối xây dựng hữu ích dành cho việc tính toán. Literal trong F# khá phong phú, được liệt ở bảng dưới đây.

Read more

Visual Studio

F# được cài đặt mặc định với Visual Studio 2010, nên nếu bạn đang dùng phiên bản này thì chắc hẳn bạn cũng đã có F#. Để kiểm tra lại, bạn hãy vào Add/Remove Programs xem đã có Microsoft Visual F# Runtime hay chưa. Nếu chưa có, từ Add/Remove Programs, bạn vào Maintenance Mode của Visual Studio và lần này nhớ chọn option Visual F#.

Trong trường hợp bạn dùng Visual Studio 2008, rất may mắn là bạn có thể download plugin F# tại trang web http://msdn.microsoft.com/fsharp/. Đây là trung tâm thông tin và tài nguyên liên quan đến F#, và tôi khuyên bạn nên thường xuyên ghé đến nơi này để học tập các mẹo vặt lập trình. Bạn hãy tải về phiên bản có phần mở rộng là MSI, vì nó sẽ giúp tích hợp F# vào Visual Studio, còn bản có phần mở rộng là ZIP chính là bản phân phối F# dành cho các hệ thống non-Windows. Trong bản phân phối F# bao gồm bộ biên dịch fsc.exe, bộ soạn thảo trên dòng lệnh fsi.exe, một vài công cụ phân tích, thư viện cơ bản của F#, tài liệu và các ví dụ tham khảo.

Read more

Khi người ta nói đến FP, họ thường xem đặc tính không có trạng thái của nó như là một thiếu sót trầm trọng, mà quên đi những ưu điểm của nó. Một lập trình viên có kinh nghiệm làm việc với nhiều paradigm khác nhau có thể chỉ ngay ra rằng: imperative dành 90% số lượng code cho phép gán, trong khi FP thì không có phép gán nào, và số lượng code phải viết trong FP ngắn hơn 90% so với imperative. Tuy nhiên, không có nhiều người bị thuyết phục để lao vào sống trong thế giới “khổ hạnh” của lập trình đệ qui và không trạng thái, như John Hughes đã chỉ ra trong bài báo mang tên “Why Functional Programming Matters”:

“The functional programmer sounds rather like a medieval monk, denying himself the pleasures of life in the hope that it will make him virtuous.”

John Hughes, Chalmers University of Technology
(http://www.cs.chalmers.se/~rjmh/Papers/whyfp.html) Read more