Luận Văn Thạc Sĩ Nghiên Cứu Ứng Dụng Ngôn Ngữ F Trong Phát Triển Phần Mềm

Discussion in 'Chuyên Ngành Kỹ Thuật Phần Mềm' started by nhandang123, Aug 16, 2016.

  1. nhandang123

    nhandang123 Guest

    [​IMG]
    Nghiên Cứu Ứng Dụng Ngôn Ngữ F Trong Phát Triển Phần Mềm
    Hiện nay ngành công nghiệp phần mềm đang rất phát triển ở nhiều lĩnh vực. Trên thực tế, tùy theo yêu cầu của mỗi lĩnh vực mà chúng ta có thể lựa chọn các ngôn ngữ lập trình sao cho phù hợp. Chúng ta có thể thấy rất nhiều ngôn ngữ lập trình được sử dụng ngày nay, trong đó phải kể đến một số ngôn ngữ lập trình rất được phổ biến nhưlà Java, C#, Objective-C, JavaScript, SQL, PHP. Các ngôn ngữ lập trình hàm như OCaml, ML, F# cũng dần được phổ biến trong khoảng thời gian gần đây. Ngôn ngữ lập trình hàm F# là ngôn ngữ có kiểu mạnh(strongly-typed) và tự suy luận kiểu (không cần phải khai báo kiểu cho các biến đầu vào), trình biên dịch có thể tự suy luận ra kiểu của các biến đầu vào đó khi dịch chương trình. Tuy nhiên các kiểu được sử dụng để gán cho các biến đầu vào của ngôn ngữ là có sẵn và được gán một cách tự động khiến người lập trình khó có thể tùy biến được trong F#. Từ nhu cầu này, ngôn ngữ F* đã ra đời. Ngôn ngữ F* có hệ thống kiểu được xây dựng dựa trên nền tảng lý thuyết System Fω [1] nhưng được mở rộng hơn với hệ thống kiểu phụ thuộc.
    • Luận văn thạc sĩ Công nghệ thông tin
    • Chuyên ngành Kỹ thuật phần mềm
    • Người hướng dẫn khoa học: PGS. TS. Trương Anh Hoàng - TS. Nguyễn Như Sơn
    • Tác giả: Vũ Quang Hưng
    • Số trang: 64
    • Kiểu file: PDF
    • Ngôn ngữ: Tiếng Việt
    • Đại học Quốc gia Hà Nội 2015
    Link Download
    http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1060704
    https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1
     
    Last edited by a moderator: Sep 4, 2017

Share This Page