คำถามติดแท็ก type-systems

อะไรคือข้อดีและข้อ จำกัด ของภาษาประเภทไดนามิกเมื่อเทียบกับภาษาประเภทคงที่? ดูเพิ่มเติม : อะไรกับความรักของภาษาแบบไดนามิก (หัวข้อโต้แย้งมากกว่า ... )

205 programming-languages  dynamic-languages  type-systems 

เมื่อฉันเขียนสิ่งนี้แตกต่างกันอย่างไร data Book = Book Int Int กับ newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

ผมอ่านผ่านบทความวิกิพีเดียประเภทอัตถิภาวนิยม ฉันรวบรวมว่าพวกเขาเรียกว่าประเภทอัตถิภาวนิยมเนื่องจากตัวดำเนินการที่มีอยู่ (∃) ฉันไม่แน่ใจว่าประเด็นของมันคืออะไร ความแตกต่างระหว่างอะไร T = ∃X { X a; int f(X); } และ T = ∀x { X a; int f(X); } ?

171 language-agnostic  types  type-systems  existential-type 

ฉันได้เห็นแหล่งข้อมูลหลายแห่งสะท้อนความคิดเห็นที่ว่า "Haskell ค่อยๆกลายเป็นภาษาที่ต้องพึ่งพา" ความหมายดูเหมือนว่าจะมีส่วนขยายภาษาเพิ่มมากขึ้น Haskell ลอยไปในทิศทางทั่วไปนั้น แต่ยังไม่มี โดยทั่วไปมีสองสิ่งที่ฉันอยากรู้ อย่างแรกคือการที่ค่อนข้างง่าย "การเป็นภาษาที่ต้องพึ่งพา" หมายถึงอะไร ? (หวังว่าจะไม่มีความรู้ด้านเทคนิคมากเกินไป) คำถามที่สองคือ ... ข้อเสียคืออะไร ฉันหมายความว่าผู้คนรู้ว่าเรากำลังมุ่งหน้าไปทางนั้นจึงต้องมีข้อได้เปรียบ แต่ถึงกระนั้นเรายังไม่ได้อยู่ที่นั่นดังนั้นจะต้องมีข้อเสียบางอย่างที่ทำให้ผู้คนหยุดไปตลอดทาง ฉันได้รับความประทับใจว่าปัญหาคือความซับซ้อนที่เพิ่มมากขึ้น แต่ไม่เข้าใจจริงๆเลยว่าการพิมพ์แบบพึ่งพาอะไรฉันไม่รู้แน่ชัด สิ่งที่ฉันทำรู้คือทุกครั้งที่ผมเริ่มต้นการอ่านเกี่ยวกับการเขียนโปรแกรมภาษา dependently พิมพ์ข้อความคือไม่สามารถเข้าใจได้อย่างเต็มที่ ... สันนิษฐานว่าเป็นปัญหา (?)

161 haskell  type-systems  dependent-type 

ฉันเห็นรหัสนี้ในบล็อกนี้: Type-Level Programming ใน Scala : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next = RecurseA // this is the implementation …

131 scala  type-systems 

ประเภทวิธีการขึ้นอยู่กับที่เคยเป็นคุณลักษณะทดลองมาก่อนตอนนี้ได้เปิดใช้งานโดยค่าเริ่มต้นในหีบและดูเหมือนว่าสิ่งนี้จะสร้างความตื่นเต้นในชุมชน Scala ดูครั้งแรกยังไม่ชัดเจนในทันทีว่าสิ่งนี้มีประโยชน์สำหรับอะไร Heiko Seeberger โพสต์ตัวอย่างง่าย ๆ ของประเภทวิธีการที่ขึ้นกับที่นี่ซึ่งสามารถเห็นได้ในความคิดเห็นสามารถทำซ้ำได้อย่างง่ายดายด้วยพารามิเตอร์ประเภทในวิธีการ นั่นไม่ใช่ตัวอย่างที่น่าสนใจ (ฉันอาจจะขาดอะไรบางอย่างที่ชัดเจนโปรดแก้ไขฉันหากมี) มีตัวอย่างกรณีการใช้งานที่ใช้งานได้จริงและมีประโยชน์อะไรบ้างสำหรับประเภทวิธีการที่พึ่งพาซึ่งพวกเขาได้เปรียบอย่างชัดเจนมากกว่าทางเลือกอื่น ๆ สิ่งที่น่าสนใจที่เราสามารถทำได้กับสิ่งเหล่านี้ที่ไม่เคยเป็นไปได้ / ง่ายมาก่อน? พวกเขาซื้ออะไรเราจากคุณสมบัติระบบประเภทที่มีอยู่? นอกจากนี้ประเภทวิธีการที่ขึ้นอยู่กับการเปรียบเทียบหรือการวาดแรงบันดาลใจจากคุณสมบัติใด ๆ ที่พบในระบบประเภทของภาษาพิมพ์ขั้นสูงอื่น ๆ เช่น Haskell, OCaml หรือไม่

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

ฉันได้ยินมาว่า Scala มีประเภทที่ขึ้นกับเส้นทาง มันเกี่ยวกับคลาสชั้นใน แต่จริงๆแล้วมันหมายความว่าอย่างไรและทำไมฉันถึงสนใจ?

125 scala  type-systems  path-dependent-type 

ให้ : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo ฉันต้องการสร้างStringตัวอย่างของFooable: instance Fooable String where toFoo = FooString GHC ก็บ่นว่า: Illegal instance declaration for `Fooable String' (All instance types must be of the form (T …

85 haskell  ghc  typeclass  type-systems