How to handle list / contiguous array definition and implementation in a type system?

1. Kind

   1 21 2,565 9.5 Rust

   Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)

   

   I have seen in languages like KindLang the definition of Array be like a Binary tree, but there is some magic there in the definition of the Array type that I don't understand yet. Also, I don't want to define the contiguous array further., it should be a literal contiguous array. The Kind "Word" type definition (arbitrary number of bytes) is closer to my contiguous array, but it has a similarly complex definition which like I said I don't understand.

2. JetBrains

   surveys.jetbrains.com featured

   Tell us how you use coding tools. You may win a prize! Are you a developer or a data analyst? Share your thoughts about your coding tools in our short survey and get a chance to win prizes!

   

3. swift

   2 230 69,000 10.0 C++

   The Swift Programming Language

   

   Here is the definition of ContiguousArray in Swift, which I am taking a look at for inspiration, but I don't know swift that well yet.

Suggest a related project