 It also leaves the programmer with the responsibility not to write outside the allocated array, as no checks are built in into the language.In Pascal, arrays are a distinct type from pointers.This makes bounds checking for arrays possible from a compiler perspective.