Những ký tự nào được phép cho các toán tử haskell?

Question

Có danh sách đầy đủ các ký tự được phép ở đâu đó hoặc quy tắc xác định những gì có thể được sử dụng trong số nhận dạng so với toán tử không?

Answer 1

Điều tôi đang tìm kiếm là danh sách đầy đủ các ký tự.Dựa trên các câu trả lời khác, danh sách đầy đủ là;

Unicode Punctuation:

• http://www.fileformat.info/info/unicode/category/Pc/list.htm
• http://www.fileformat.info/info/unicode/category/Pd/list.htm
• http://www.fileformat.info/info/unicode/category/Pe/list.htm
• http://www.fileformat.info/info/unicode/category/Pf/list.htm
• http://www.fileformat.info/info/unicode/category/Pi/list.htm
• http://www.fileformat.info/info/unicode/category/Po/list.htm
• http://www.fileformat.info/info/unicode/category/Ps/list.htm

biểu tượng Unicode:

• http://www.fileformat.info/info/unicode/category/Sc/list.htm
• http://www.fileformat.info/info/unicode/category/Sk/list.htm
• http://www.fileformat.info/info/unicode/category/Sm/list.htm
• http://www.fileformat.info/info/unicode/category/So/list.htm

Nhưng trừ các ký tự sau có ý nghĩa đặc biệt trong Haskell:

(),;[]`{}_:"' 

Answer 2

Từ Haskell 2010 Report §2.4:

ký điều hành được hình thành từ một hoặc nhiều ký tự biểu tượng ...

§2.2 định nghĩa nhân vật biểu tượng như là bất kỳ !#$%&*+./<=>?@\^|-~: hoặc "bất kỳ [ không ascii] Biểu tượng Unicode hoặc dấu chấm câu ".

Answer 3

Từ haskell report, đây là cú pháp cho các ký hiệu phép:

special -> (|) | , | ; | [ | ] | `| { | } 
symbol  -> ascSymbol | uniSymbol<special | _ | : | " | '> 
ascSymbol -> ! | # | $ | % | & | * | + | . |/| < | = | > | ? | @ 
       \ |^| | | - | ~ 
uniSymbol -> any Unicode symbol or punctuation 

Vì vậy, biểu tượng là biểu tượng ascii hoặc biểu tượng unicode trừ từ những người trong special | _ | : | " | ', mà được dành riêng (ở đây a | b có nghĩa là "nó có thể a hoặc b "và a<b> có nghĩa là" có thể là mọi thứ trong a ngoại trừ b "). Một vài đoạn văn dưới đây, báo cáo đưa ra định nghĩa hoàn chỉnh cho các nhà khai thác Haskell:

varsym  -> (symbol {symbol | :})<reservedop | dashes> 
consym  -> (: {symbol | :})<reservedop> 
reservedop -> .. | : | :: | = | \ | | | <- | -> | @ | ~ | => 

ký tự điều hành được hình thành từ một hoặc nhiều nhân vật biểu tượng, như định nghĩa ở trên, và được giải nghĩa từ vựng phân biệt thành hai không gian tên (Mục 1.4):

• Ký hiệu toán tử bắt đầu bằng dấu hai chấm là hàm tạo.
• Ký hiệu toán tử bắt đầu bằng bất kỳ ký tự nào khác là số nhận dạng thông thường.

Lưu ý rằng dấu hai chấm của chính nó ":", được dành riêng để sử dụng làm công cụ xây dựng danh sách Haskell; điều này làm cho đồng phục xử lý của nó với các phần khác của cú pháp danh sách, chẳng hạn như "[]" và "[a, b]" .

Ngoài cú pháp đặc biệt cho phủ định tiền tố, tất cả các toán tử là , mặc dù mỗi toán tử infix có thể được sử dụng trong phần để thu hút toán tử được áp dụng một phần (xem Phần 3.5). Tất cả các toán tử infix tiêu chuẩn chỉ là các biểu tượng được xác định trước và có thể được phục hồi.