Không được xác định ở cấp loại

Question

Thông thường khi tôi đang chơi với mã Haskell, tôi phân phát các thứ bằng chú thích loại và undefined.

foo :: String -> Int 
foo = undefined 

Có loại "không xác định" loại mà tôi có thể sử dụng theo cách tương tự không?

(Lý tưởng nhất, kết hợp với một loại chú thích)

type Foo :: * -> * 
type Foo = Undefined 

suy nghĩ thêm về các chủ đề tương tự: có cách nào để tôi còn sơ khai ra typeclass hợp với nhiều loại được tạo ra theo cách này? Một cách dễ dàng hơn nhiều so với cách lý thuyết sau đây?

instance Monad Foo where 
    return = undefined 
    (>>=) = undefined 

Answer 1

Bạn có thể sử dụng EmptyDataDecls để còn sơ khai ra một loại, và với KindSignatures bạn có thể cung cấp cho nó một loại:

{-# LANGUAGE EmptyDataDecls, KindSignatures #-} 

data Foo :: * -> * 

Bạn cũng có thể còn sơ khai ra dụ Monad mà không cần cảnh báo với tùy chọn này để GHC.

{-# OPTIONS_GHC -fno-warn-missing-methods #-} 

instance Monad Foo 

Và sau đó bạn không cần phải thực hiện bất kỳ triển khai nào cho return và >>=.