typechecking

6Nhiệt

1Trả lời

Haskell: Tại sao việc kiểm tra kiểu này?

Đây là một ví dụ tối thiểu được lấy từ Reflection-0.5. {-# LANGUAGE Rank2Types, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-} {-# OPTIONS_GHC -fno-cse -fno-full-laziness -fno-f

16Nhiệt

3Trả lời

Cách tạo các hàm được nhập ngẫu nhiên

Tôi muốn tạo các hàm Haskell ngẫu nhiên theo lập trình và đánh giá chúng. Dường như với tôi rằng cách duy nhất để làm điều này là về cơ bản tạo mã Haskell theo chương trình và chạy nó bằng cách sử dụn

6Nhiệt

1Trả lời

Tìm hiểu về kiểu số trong Common Lisp

Tôi đã tìm thấy một ví dụ tuyệt vời về kiểm tra kiểu trong LispWorks Hyper Spec, nhưng liên kết "type specifier" dẫn đến một thuật ngữ không phải là ký hiệu, và tôi có một chút nhầm lẫn với cú pháp. T

7Nhiệt

1Trả lời

Làm thế nào để xử lý "hoảng loạn: những điều không thể xảy ra" và tiếp tục trong Haskell

Tôi có đoạn code sau đó sử dụng API GHC để nạp mô-đun và nhận được các loại của một biểu thức: typeObjects :: [String] -> [String] -> IO [Type] typeObjects modules objects = do defaultErrorHandl

26Nhiệt

2Trả lời

Haskell/GHC UndecidableInstances - ví dụ về kiểm tra loại không chấm dứt?

Tôi đã viết một số mã Haskell cần -XundecidableInstances để biên dịch. Tôi hiểu tại sao điều đó xảy ra, rằng có một điều kiện nhất định bị vi phạm và do đó GHC hét lên. Tuy nhiên, tôi chưa bao giờ gặp

13Nhiệt

1Trả lời

Tôi phải sử dụng gói haskell-type-exts như thế nào?

Tôi đang cố gắng đánh máy một đoạn mã được cung cấp dưới dạng chuỗi. Tôi tìm thấy gói haskell-type-exts (hackage link) có vẻ như cung cấp những gì tôi cần: Với parseModule AST được xây dựng trên đó ty

8Nhiệt

2Trả lời

Tại sao sử dụng toString() để đánh máy args rằng bạn có thể kiểm tra với typeof?

Tôi hiểu tại sao bạn cần phải sử dụng Object.prototype.toString() hoặc String() cho các mảng đánh máy, nhưng không phải là typeof đủ cho các chức năng và chuỗi đánh máy? Ví dụ polyfill trên MDN cho Ar

6Nhiệt

4Trả lời

Trường hợp nào GHC xảy ra khi nhận dạng séc?

Kiểm tra GHC xảy ra ngăn bạn xây dựng các loại vô hạn. Đó là mục đích để ngăn ngừa các lỗi phổ biến trong mã hoặc để ngăn chặn các typechecker từ looping vô thời hạn, hoặc cả hai? Trường hợp nào nó nh

7Nhiệt

1Trả lời

Trong R, hành vi khác nhau giữa `is.list (x)` và `là (x, 'list')`

Giải thích cho hành vi sau đây là gì? is.list(data.frame()) ## TRUE is(data.frame(),'list') ## FALSE is(data.frame()) ## "data.frame" "list" "oldClass" "vector" extends('data.frame','list') ## TRUE

8Nhiệt

3Trả lời

Thừa kế - tại sao điều này bất hợp pháp?

Tôi đang trải qua một bài kiểm tra C++. Và đi qua đoạn mã sau - nó là bất hợp pháp, nhưng tôi không thể hiểu tại sao. Bất cứ ai có thể giải thích lý do tại sao dòng này: Box* b1 = s1->duplicate(); t