Câu hỏi được gắn thẻ «programming-languages»

4

Đối số giả có nghĩa là gì?

Điều đó có nghĩa là gì khi một đối số cho hàm được gọi là đối số giả ? Tôi chưa gặp thuật ngữ này ngoài Fortran, nó có phải là một thuật ngữ chung trong khoa học máy tính không? Điều gì sẽ là ví dụ về các đối …

8 terminology  programming-languages  functional-programming 

---

1

Chính thức mô tả một ngôn ngữ lập trình cụ thể miền mới

Tôi sắp triển khai một ngôn ngữ cụ thể theo miền để thể hiện các quy ước học tập xã hội. Một phần của việc thực hiện là một mô tả chính thức của một ngôn ngữ - 'tính toán', biểu tượng và biểu thức logic của nó. Cách tiếp …

8 formal-languages  programming-languages  semantics 

---

1

Chủ nghĩa hình thức giống như máy Turing cho mô hình diễn viên

Máy Turing có bảng chữ cái biểu tượng chính thức , trạng thái và mô tả quy tắc chuyển đổi dựa trên cách tính toán được thực hiện. Mô hình diễn viên đôi khi được đề cập như một mô hình tính toán mạnh mẽ hơn so với máy Turing …

8 terminology  computability  reference-request  programming-languages  computation-models 

---

3

Các hàm ML từ danh sách đa hình đến danh sách đa hình

Tôi đang học lập trình trong ML (OCaml), và trước đó tôi đã hỏi về các loại ML'a -> 'b . Bây giờ tôi đã thử nghiệm một chút với các chức năng của loại 'a list -> 'b list. Có một số ví dụ đơn giản rõ ràng: let …

8 programming-languages  typing  functional-programming 

---

3

Sự khác nhau giữa mô hình lập trình và mô hình lập trình?

Mối quan hệ và sự khác biệt giữa mô hình lập trình và mô hình lập trình là gì? (đặc biệt khi nói về mô hình lập trình và mô hình lập trình cho ngôn ngữ lập trình.) Wikipedia cố gắng trả lời câu hỏi của tôi trong 1: Các …

8 terminology  programming-languages  computation-models  programming-paradigms 

---

10

Chương trình máy tính so với thuật toán

Người ta nói rằng một chương trình bao gồm các thuật toán, tuy nhiên nếu chúng ta đề cập đến định nghĩa của chúng, thuật toán là một chuỗi các hướng dẫn được viết để thực hiện một tác vụ được chỉ định và một chương trình máy tính cũng …

8 algorithms  terminology  programming-languages 

---

7

Ngôn ngữ giảng dạy lập trình cơ bản

Tôi rất thú vị trong việc dạy lập trình cho học sinh cấp hai. Tôi muốn một ngôn ngữ lập trình với các tiêu chí sau: Đơn giản - giảm xuống mức tối thiểu tuyệt đối cần thiết để hỗ trợ lập trình tinh vi mà không cần quá nhiều …

8 programming-languages  education 

---

2

Không phải lập trình chức năng chỉ là lập trình bắt buộc trá hình?

Một video trên YouTube Tôi đã xem giải thích sự khác biệt giữa bắt buộc và lập trình chức năng bằng cách chứng minh như thế nào những con số từ 1để 10được tóm tắt trong Java và trong Haskell tương ứng. Trong Java, bạn phải nêu rõ từng bước …

8 programming-languages  functional-programming  programming-paradigms  imperative-programming 

---

4

Một JavaScript nhanh hơn, gọn hơn cho máy tính khoa học: tôi nên giữ những tính năng nào?

Ở đây tôi thực sự quan tâm đến việc hạ thấp các rào cản đối với giáo dục toán học. Mục tiêu: Tôi muốn thấy được tạo cho cộng đồng JavaScript, tương đương với các thư viện tính toán hiệu năng cao và khoa học dựa trên Python (các danh …

8 programming-languages  compilers  performance 

---

1

Sự khác biệt giữa chuẩn hóa A và chuẩn hóa K trong trình biên dịch là gì?

Hình thức hành chính thông thường là một đại diện trung gian của chương trình, trong đó mỗi lệnh ngay lập tức có một tên. Nó được sử dụng trong GHC và OCaml . Biểu mẫu K-chuẩn hóa là một biểu diễn trung gian trong đó mỗi lệnh bao gồm …

7 programming-languages  compilers 

---

2

Mô hình chính thức thực thi cho Java (hoặc ngôn ngữ mệnh lệnh chung)

Tôi đang cố gắng chứng minh một số tuyên bố về việc thực thi trong các chương trình Java theo một số hạn chế nặng nề (về cơ bản tôi có một phỏng đoán rằng nếu hai phương thức thỏa mãn một tập các ràng buộc cho một đầu vào …

7 programming-languages  semantics  java  operational-semantics 

---

1

Thuật toán tuyến tính hóa C3 cho độ phân giải phương thức trong nhiều ngôn ngữ OO kế thừa: Tìm kiếm sự biện minh cho một số chi tiết triển khai

Theo này mô tả về trật tự giải quyết phương pháp của Python (MRO), hay còn gọi là C3 tuyến tính , thuật toán có thể được mô tả một cách đệ quy như sau: L(O) = <O> L(C) = <C> + merge(L(B1),..., L(Bn), <B1,...,Bn>) Ở đâu O là lớp …

7 algorithms  programming-languages  type-theory  object-oriented 

---

2

Đa hình xếp hạng cao hơn mà không có ứng dụng rõ ràng hoặc phân nhóm?

Vì vậy, tôi quen thuộc với hai chiến lược chính là có tính đa hình được xếp hạng cao hơn trong một ngôn ngữ: Tính đa hình kiểu System-F, trong đó các hàm được gõ rõ ràng và việc khởi tạo xảy ra rõ ràng mặc dù ứng dụng kiểu. …

7 programming-languages  type-theory  functional-programming  type-checking  polymorphisms 

---

1

Sự khác biệt giữa đa hình hàng và đa hình giới hạn?

Gần đây tôi tình cờ thấy bài viết trên blog này của Brian McKenna giải thích về đa hình hàng. Đây dường như là một ý tưởng tuyệt vời đối với tôi, nhưng sau đó tôi nhận ra nó có mùi rất giống như đa hình tham số bị ràng …

7 programming-languages  semantics 

---

2

Chạy chương trình ngược

Tôi không bao giờ sử dụng một trình gỡ lỗi có thể chạy một chương trình ngược nhưng tôi muốn. Bây giờ tôi tự hỏi nếu có nhiều bằng chứng và lý thuyết về lập trình chạy ngược, khi nào và tại sao một chương trình có thể được chạy …

7 automata  programming-languages 

---