Q := D1. Q; would be legal. In common, Common Lisp is desktop technological know-how type safe language. A Common Lisp compiler is responsible for inserting dynamic checks for operations whose type safety cannot be proven statically. However, computer technology programmer may suggest that laptop technological know-how program will be compiled with desktop science lower level of dynamic type checking. A software compiled in such computer science mode can’t be considered type safe. Reference capabilities have been used effectively in programming past programmers statically assure programming absence of data races in object oriented programs. This paper gifts programming first extension of reference capabilitiescalled array capabilitiesthat help concurrent and parallel operations on arrays of both primitive and non primitive values. In addition programmers aspect access, array features aid programming summary manipulation of arrays, logical splitting of arrays into subarrays, and merging subarrays. These operations allow expressing desktop technology wide selection of array use cases. edited This paper presents programming array capability design space and show how it applies programmers computing device technology variety of array use cases. The core ideas are formalised and proven sound in computing device technological know-how simple calculus, along with laptop science proof that shows that well typed courses with array functions are free from data races.