5
Scala ประเภทที่สูงกว่าคืออะไร
คุณสามารถค้นหาสิ่งต่อไปนี้บนเว็บ: ประเภทที่สูงขึ้นชนิด == ตัวสร้างประเภท? class AClass[T]{...} // For example, class List[T] บางคนบอกว่านี่เป็นประเภทที่สูงกว่าเพราะมันเป็นนามธรรมมากกว่าประเภทซึ่งจะสอดคล้องกับคำนิยาม ประเภทที่สูงขึ้นเป็นประเภทที่ใช้ประเภทอื่น ๆ และสร้างประเภทใหม่ แม้ว่าเหล่านี้เป็นที่รู้จักกันเป็นประเภทคอนสตรัค (ตัวอย่างเช่นในการเขียนโปรแกรมใน Scala ) typeed type ที่สูงขึ้น == type constructor ซึ่งใช้ตัวสร้าง type เป็นพารามิเตอร์ type? ในGenericsกระดาษชนิดที่สูงขึ้นคุณสามารถอ่าน ... ประเภทที่เป็นนามธรรมมากกว่าประเภทที่เป็นนามธรรมมากกว่าประเภท ('ประเภทที่สูงกว่าประเภท') ... " ซึ่งแสดงให้เห็นว่า class XClass[M[T]]{...} // or trait YTrait[N[_]]{...} // e.g. trait Functor[F[_]] เป็นประเภทที่สูงขึ้น ดังนั้นด้วยนี้ในใจมันเป็นเรื่องยากที่จะแยกแยะระหว่างประเภทคอนสตรัค , ประเภท …