Strong and weak typing
ಕಂಪ್ಯೂಟರ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ನಲ್ಲಿ, ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳನ್ನು ಆಡುಮಾತಿನಲ್ಲಿ ವರ್ಗೀಕರಿಸುವ ಅನೇಕ ವಿಧಾನಗಳಲ್ಲಿ ಒಂದೆಂದರೆ, ಭಾಷೆಯ ಪ್ರಕಾರ ವ್ಯವಸ್ಥೆಯು ಅದನ್ನು ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡುತ್ತದೆಯೇ ಅಥವಾ ದುರ್ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡುತ್ತದೆಯೇ (ಸಡಿಲವಾಗಿ ಟೈಪ್ ಮಾಡಲ್ಪಟ್ಟಿದೆ). ಆದಾಗ್ಯೂ, ಪದಗಳ ಅರ್ಥದ ಬಗ್ಗೆ ಯಾವುದೇ ನಿಖರವಾದ ತಾಂತ್ರಿಕ ವ್ಯಾಖ್ಯಾನವಿಲ್ಲ ಮತ್ತು ಪದಗಳ ಸೂಚಿತ ಅರ್ಥ ಮತ್ತು ಮುಖ್ಯವಾಹಿನಿಯ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ಪ್ರಕಾರ ವ್ಯವಸ್ಥೆಗಳ "ಶಕ್ತಿ" ಯ ಸಾಪೇಕ್ಷ ಶ್ರೇಯಾಂಕಗಳ ಬಗ್ಗೆ ವಿವಿಧ ಲೇಖಕರು ಭಿನ್ನಾಭಿಪ್ರಾಯ ಹೊಂದಿದ್ದಾರೆ. ಈ ಕಾರಣಕ್ಕಾಗಿ, ಪ್ರಕಾರದ ವ್ಯವಸ್ಥೆಗಳ ಬಗ್ಗೆ ನಿಸ್ಸಂದಿಗ್ಧವಾಗಿ ಬರೆಯಲು ಬಯಸುವ ಬರಹಗಾರರು ಸಾಮಾನ್ಯವಾಗಿ "ರೀತಿಯ ಸುರಕ್ಷತೆ" ಯಂತಹ ನಿರ್ದಿಷ್ಟ ಅಭಿವ್ಯಕ್ತಿಗಳ ಪರವಾಗಿ "ಬಲವಾದ ಮುದ್ರಣ" ಮತ್ತು "ದುರ್ಬಲ ಮುದ್ರಣ" ಎಂಬ ಪದಗಳನ್ನು ತ್ಯಜಿಸುತ್ತಾರೆ. ಸಾಮಾನ್ಯವಾಗಿ, ಬಲವಾಗಿ ಬೆರಳಚ್ಚು ಮಾಡಲಾದ ಭಾಷೆಯು ಸಂಕಲನ ಸಮಯದಲ್ಲಿ ಕಠಿಣವಾದ ಬೆರಳಚ್ಚು ನಿಯಮಗಳನ್ನು ಹೊಂದಿರುತ್ತದೆ, ಇದು ಸಂಕಲನದ ಸಮಯದಲ್ಲಿ ದೋಷಗಳು ಮತ್ತು ವಿನಾಯಿತಿಗಳು ಸಂಭವಿಸುವ ಸಾಧ್ಯತೆಯಿದೆ ಎಂದು ಸೂಚಿಸುತ್ತದೆ. ಈ ನಿಯಮಗಳಲ್ಲಿ ಹೆಚ್ಚಿನವು ವೇರಿಯೇಬಲ್ ಅಸೈನ್ಮೆಂಟ್, ಫಂಕ್ಷನ್ ರಿಟರ್ನ್ ಮೌಲ್ಯಗಳು, ಕಾರ್ಯವಿಧಾನದ ಆರ್ಗ್ಯುಮೆಂಟ್ಗಳು ಮತ್ತು ಫಂಕ್ಷನ್ ಕಾಲಿಂಗ್ ಮೇಲೆ ಪರಿಣಾಮ ಬೀರುತ್ತವೆ. ಕ್ರಿಯಾತ್ಮಕವಾಗಿ ಟೈಪ್ ಮಾಡಲಾದ ಭಾಷೆಗಳನ್ನು (ರನ್ ಟೈಮ್ನಲ್ಲಿ ಟೈಪ್ ಚೆಕಿಂಗ್ ನಡೆಯುತ್ತದೆ) ಸಹ ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡಬಹುದು. ಕ್ರಿಯಾತ್ಮಕವಾಗಿ ಟೈಪ್ ಮಾಡಲಾದ ಭಾಷೆಗಳಲ್ಲಿ, ಮೌಲ್ಯಗಳು, ಅಸ್ಥಿರಗಳ ಬದಲಿಗೆ, ಪ್ರಕಾರಗಳನ್ನು ಹೊಂದಿರುತ್ತವೆ. ದುರ್ಬಲವಾಗಿ ಬೆರಳಚ್ಚು ಮಾಡಲಾದ ಭಾಷೆಯು ಸಡಿಲವಾದ ಬೆರಳಚ್ಚು ನಿಯಮಗಳನ್ನು ಹೊಂದಿದೆ ಮತ್ತು ಅನಿರೀಕ್ಷಿತ ಅಥವಾ ತಪ್ಪಾದ ಫಲಿತಾಂಶಗಳನ್ನು ನೀಡಬಹುದು ಅಥವಾ ರನ್ಟೈಮ್ನಲ್ಲಿ ಸೂಚ್ಯ ರೀತಿಯ ಪರಿವರ್ತನೆಯನ್ನು ಮಾಡಬಹುದು. ಕ್ರಿಯಾತ್ಮಕವಾಗಿ ಬೆರಳಚ್ಚು ಮಾಡಲಾದ (ಸಾಮಾನ್ಯವಾಗಿ "ದುರ್ಬಲವಾಗಿ ಬೆರಳಚ್ಚು ಮಾಡಲಾದ") ಭಾಷೆಗಳ ವಕೀಲರು ಅಂತಹ ಕಳವಳಗಳನ್ನು ಅತಿಯಾಗಿ ಹರಡಿರುವುದನ್ನು ಕಂಡುಕೊಳ್ಳುತ್ತಾರೆ ಮತ್ತು ಸ್ಥಿರ ಬೆರಳಚ್ಚು ವಾಸ್ತವವಾಗಿ ಘಾತೀಯವಾಗಿ ದೊಡ್ಡ ಸಮಸ್ಯೆಗಳು ಮತ್ತು ಅಸಮರ್ಥತೆಗಳನ್ನು ಪರಿಚಯಿಸುತ್ತದೆ ಎಂದು ನಂಬುತ್ತಾರೆ. ಒಂದು ವಿಭಿನ್ನವಾದ ಆದರೆ ಸಂಬಂಧಿತ ಪರಿಕಲ್ಪನೆಯೆಂದರೆ ಸುಪ್ತ ಮುದ್ರಣ. 1974ರಲ್ಲಿ, ಬಿ. ಲಿಸ್ಕೋವ್ ಮತ್ತು ಎಸ್. ಜಿಲ್ಲೆಸ್ ಅವರು ಬಲವಾಗಿ-ಟೈಪ್ ಮಾಡಲಾದ ಭಾಷೆಯನ್ನು "ಒಂದು ವಸ್ತುವನ್ನು ಕರೆ ಮಾಡುವ ಕಾರ್ಯದಿಂದ ಕರೆಯುವ ಕಾರ್ಯಕ್ಕೆ ವರ್ಗಾಯಿಸಿದಾಗಲೆಲ್ಲಾ, ಅದರ ಪ್ರಕಾರವು ಕರೆಯುವ ಕಾರ್ಯದಲ್ಲಿ ಘೋಷಿಸಲಾದ ಪ್ರಕಾರಕ್ಕೆ ಹೊಂದಿಕೆಯಾಗಬೇಕು" ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಿದ್ದಾರೆ. 1977ರಲ್ಲಿ, ಕೆ. ಜಾಕ್ಸನ್ ಬರೆದರು, "ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡಲಾದ ಭಾಷೆಯಲ್ಲಿ ಪ್ರತಿ ದತ್ತಾಂಶ ಪ್ರದೇಶವು ಒಂದು ವಿಶಿಷ್ಟ ಪ್ರಕಾರವನ್ನು ಹೊಂದಿರುತ್ತದೆ ಮತ್ತು ಪ್ರತಿ ಪ್ರಕ್ರಿಯೆಯು ಈ ಪ್ರಕಾರಗಳ ವಿಷಯದಲ್ಲಿ ಅದರ ಸಂವಹನ ಅವಶ್ಯಕತೆಗಳನ್ನು ತಿಳಿಸುತ್ತದೆ". "ಬಲವಾದ" ಅಥವಾ "ದುರ್ಬಲ" ಎಂಬ ವ್ಯಾಖ್ಯಾನಗಳು ಹಲವಾರು ವಿಭಿನ್ನ ಭಾಷಾ ವಿನ್ಯಾಸ ನಿರ್ಧಾರಗಳನ್ನು "ಬಲವಾದ" ಅಥವಾ "ದುರ್ಬಲ" ಅಕ್ಷರವಿನ್ಯಾಸದ ಪುರಾವೆ ಎಂದು ಉಲ್ಲೇಖಿಸಲಾಗಿದೆ. ಇವುಗಳಲ್ಲಿ ಹೆಚ್ಚಿನವುಗಳನ್ನು ಪ್ರಕಾರದ ಸುರಕ್ಷತೆ, ಮೆಮೊರಿ ಸುರಕ್ಷತೆ, ಸ್ಥಿರ ಪ್ರಕಾರ-ಪರಿಶೀಲನೆ ಅಥವಾ ಕ್ರಿಯಾತ್ಮಕ ಪ್ರಕಾರ-ಪರಿಶೀಲನೆಯ ಉಪಸ್ಥಿತಿ ಅಥವಾ ಅನುಪಸ್ಥಿತಿ ಎಂದು ಹೆಚ್ಚು ನಿಖರವಾಗಿ ಅರ್ಥೈಸಲಾಗುತ್ತದೆ. "ಸ್ಟ್ರಾಂಗ್ ಟೈಪಿಂಗ್" ಸಾಮಾನ್ಯವಾಗಿ ಕೋಡ್ನ ಅಸ್ಥಿರತೆಗಳನ್ನು ಸೆರೆಹಿಡಿಯಲು ಮತ್ತು ಅದರ ನಿಖರತೆಯನ್ನು ಖಚಿತಪಡಿಸಿಕೊಳ್ಳಲು ಮತ್ತು ಕೆಲವು ವರ್ಗದ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ದೋಷಗಳನ್ನು ಖಂಡಿತವಾಗಿ ಹೊರಗಿಡಲು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಯ ಪ್ರಕಾರಗಳ ಬಳಕೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಹೀಗಾಗಿ ಈ ಗುರಿಗಳನ್ನು ಸಾಧಿಸಲು ಅನೇಕ "ಬಲವಾದ ಬೆರಳಚ್ಚು" ವಿಭಾಗಗಳನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ಕೆಲವು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳು ಒಂದು ಪ್ರಕಾರದ ಮೌಲ್ಯವನ್ನು ಇನ್ನೊಂದು ಪ್ರಕಾರದ ಮೌಲ್ಯದಂತೆ ಬಳಸುವುದನ್ನು ಸುಲಭಗೊಳಿಸುತ್ತವೆ. ಇದನ್ನು ಕೆಲವೊಮ್ಮೆ "ದುರ್ಬಲ ಮುದ್ರಣ" ಎಂದು ವಿವರಿಸಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, "ನೀವು ಸ್ಥಿರವಾಗಿ ಟೈಪ್ ಮಾಡಿದ ಭಾಷೆಯನ್ನು ಹೊಂದಿರುವಾಗ ಮತ್ತು ಒಂದು ಪ್ರಕಾರದ ಬಳಕೆಯನ್ನು ಬೇರೆ ಪ್ರಕಾರದಂತೆ ಒತ್ತಾಯಿಸಲು ನೀವು ಭಾಷೆಯ ವಾಕ್ಯರಚನೆಯ ವೈಶಿಷ್ಟ್ಯಗಳನ್ನು ಬಳಸಿದಾಗ ದಬ್ಬಾಳಿಕೆ ಸಂಭವಿಸುತ್ತದೆ (ಸಿ ಯಲ್ಲಿ ಶೂನ್ಯ * ನ ಸಾಮಾನ್ಯ ಬಳಕೆಯನ್ನು ಪರಿಗಣಿಸಿ)" ಎಂದು ಆಹ್ಜ್ ಮಾರುಚ್ ಗಮನಿಸಿದ್ದಾರೆ. ಒತ್ತಡವಿರುವುದು ಸಾಮಾನ್ಯವಾಗಿ ದುರ್ಬಲ ಮುದ್ರಣದ ಲಕ್ಷಣವಾಗಿದೆ. ಮತ್ತೊಂದೆಡೆ, ಪರಿವರ್ತನೆಯು ಸೂಕ್ತ ರೀತಿಯ ಹೊಚ್ಚ ಹೊಸ ವಸ್ತುವನ್ನು ಸೃಷ್ಟಿಸುತ್ತದೆ. ಮತ್ತೊಂದು ಉದಾಹರಣೆಯಾಗಿ, ಜಿಸಿಸಿ ಇದನ್ನು ಟೈಪ್-ಪನ್ನಿಂಗ್ ಎಂದು ವಿವರಿಸುತ್ತದೆ ಮತ್ತು ಇದು ಕಟ್ಟುನಿಟ್ಟಾದ ಅಲಿಯಾಸಿಂಗ್ ಅನ್ನು ಮುರಿಯುತ್ತದೆ ಎಂದು ಎಚ್ಚರಿಸುತ್ತದೆ. ಟೈಪ್ಪನ್ನಿಂಗ್ ಕಂಪೈಲರ್ ಸೂಕ್ತವಲ್ಲದ ಆಪ್ಟಿಮೈಸೇಶನ್ಗಳನ್ನು ಮಾಡಲು ಕಾರಣವಾದಾಗ ಉದ್ಭವಿಸಬಹುದಾದ ಹಲವಾರು ಸಮಸ್ಯೆಗಳನ್ನು ಥಿಯಾಗೊ ಮಾಸಿಯೆರಾ ಚರ್ಚಿಸುತ್ತಾರೆ. ಸೂಚ್ಯ ರೀತಿಯ ಪರಿವರ್ತನೆಗಳನ್ನು ಅನುಮತಿಸುವ ಭಾಷೆಗಳ ಅನೇಕ ಉದಾಹರಣೆಗಳಿವೆ, ಆದರೆ ಸುರಕ್ಷಿತ ರೀತಿಯಲ್ಲಿ. ಉದಾಹರಣೆಗೆ, ಸಿ + + ಮತ್ತು ಸಿ #ಎರಡೂ ಪ್ರೋಗ್ರಾಂಗಳು ಉತ್ತಮವಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾದ ಶಬ್ದಾರ್ಥಗಳೊಂದಿಗೆ ಒಂದು ಪ್ರಕಾರದಿಂದ ಇನ್ನೊಂದಕ್ಕೆ ಮೌಲ್ಯವನ್ನು ಪರಿವರ್ತಿಸಲು ಆಪರೇಟರ್ಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತವೆ. ಸಿ + + ಕಂಪೈಲರ್ ಅಂತಹ ಪರಿವರ್ತನೆಯನ್ನು ಎದುರಿಸಿದಾಗ, ಅದು ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಫಂಕ್ಷನ್ ಕರೆಯಂತೆ ಪರಿಗಣಿಸುತ್ತದೆ. ಇದಕ್ಕೆ ವಿರುದ್ಧವಾಗಿ, ಒಂದು ಮೌಲ್ಯವನ್ನು ಸಿ ಪ್ರಕಾರಕ್ಕೆ ಪರಿವರ್ತಿಸುವುದು ಕಂಪೈಲರ್ಗೆ ಅಗೋಚರವಾದ ಅಸುರಕ್ಷಿತ ಕಾರ್ಯಾಚರಣೆಯಾಗಿದೆ. ಪಾಯಿಂಟರ್ಗಳು ಕೆಲವು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳು ಪಾಯಿಂಟರ್ಗಳನ್ನು ಸಂಖ್ಯಾತ್ಮಕ ಮೌಲ್ಯಗಳಂತೆ ಬಹಿರಂಗಪಡಿಸುತ್ತವೆ ಮತ್ತು ಬಳಕೆದಾರರಿಗೆ ಅವುಗಳ ಮೇಲೆ ಅಂಕಗಣಿತವನ್ನು ನಿರ್ವಹಿಸಲು ಅವಕಾಶ ಮಾಡಿಕೊಡುತ್ತವೆ. ಈ ಭಾಷೆಗಳನ್ನು ಕೆಲವೊಮ್ಮೆ "ದುರ್ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡಲಾಗಿದೆ" ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ, ಏಕೆಂದರೆ ಪಾಯಿಂಟರ್ ಅಂಕಗಣಿತವನ್ನು ಭಾಷೆಯ ಪ್ರಕಾರ ವ್ಯವಸ್ಥೆಯನ್ನು ಬೈಪಾಸ್ ಮಾಡಲು ಬಳಸಬಹುದು. ಟ್ಯಾಗ್ ಮಾಡದ ಒಕ್ಕೂಟಗಳು ಕೆಲವು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳು ಟ್ಯಾಗ್ ಮಾಡದ ಒಕ್ಕೂಟಗಳನ್ನು ಬೆಂಬಲಿಸುತ್ತವೆ, ಇದು ಒಂದು ಪ್ರಕಾರದ ಮೌಲ್ಯವನ್ನು ಮತ್ತೊಂದು ಪ್ರಕಾರದ ಮೌಲ್ಯದಂತೆ ನೋಡಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಸ್ಟ್ಯಾಟಿಕ್ ಟೈಪ್-ಚೆಕಿಂಗ್ ಲುಕಾ ಕಾರ್ಡೆಲ್ಲಿಯವರ ಲೇಖನ ಟೈಪ್ಫುಲ್ ಪ್ರೊಗ್ರಾಮಿಂಗ್ನಲ್ಲಿ, "ಸ್ಟ್ರಾಂಗ್ ಟೈಪ್ ಸಿಸ್ಟಮ್" ಅನ್ನು ಅನಿಯಂತ್ರಿತ ರನ್ಟೈಮ್ ಟೈಪ್ ದೋಷದ ಸಾಧ್ಯತೆಯಿಲ್ಲ ಎಂದು ವಿವರಿಸಲಾಗಿದೆ. ಇತರ ಬರವಣಿಗೆಯಲ್ಲಿ, ಪರಿಶೀಲಿಸದ ರನ್-ಟೈಮ್ ದೋಷಗಳ ಅನುಪಸ್ಥಿತಿಯನ್ನು ಸುರಕ್ಷತೆ ಅಥವಾ ಪ್ರಕಾರ ಸುರಕ್ಷತೆ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ; ಟೋನಿ ಹೋರ್ನ ಆರಂಭಿಕ ಪತ್ರಿಕೆಗಳು ಇದನ್ನು ಆಸ್ತಿ ಭದ್ರತೆ ಎಂದು ಕರೆಯುತ್ತವೆ. ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳಲ್ಲಿ ವ್ಯತ್ಯಾಸಗಳು ಈ ವ್ಯಾಖ್ಯಾನಗಳಲ್ಲಿ ಕೆಲವು ವಿರೋಧಾತ್ಮಕವಾಗಿವೆ, ಇತರವು ಕೇವಲ ಕಲ್ಪನಾತ್ಮಕವಾಗಿ ಸ್ವತಂತ್ರವಾಗಿವೆ, ಮತ್ತು ಇನ್ನೂ ಕೆಲವು ಇತರ, ಹೆಚ್ಚು "ಉದಾರ" (ಕಡಿಮೆ ಬಲವಾದ) ವ್ಯಾಖ್ಯಾನಗಳ ವಿಶೇಷ ಪ್ರಕರಣಗಳಾಗಿವೆ (ಹೆಚ್ಚುವರಿ ನಿರ್ಬಂಧಗಳೊಂದಿಗೆ). ಈ ವ್ಯಾಖ್ಯಾನಗಳ ನಡುವೆ ವ್ಯಾಪಕವಾದ ವ್ಯತ್ಯಾಸವಿರುವುದರಿಂದ, ಹೆಚ್ಚಿನ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ಬಗ್ಗೆ ಅವು ಬಲವಾಗಿ ಅಥವಾ ದುರ್ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡಲ್ಪಟ್ಟಿವೆ ಎಂಬ ಸಮರ್ಥನೆಗಳನ್ನು ಸಮರ್ಥಿಸಲು ಸಾಧ್ಯವಿದೆ. ಉದಾಹರಣೆಗೆಃ ಜಾವಾ, ಪ್ಯಾಸ್ಕಲ್, ಅಡಾ ಮತ್ತು ಸಿಗಳಿಗೆ ಘೋಷಿತ ಪ್ರಕಾರವನ್ನು ಹೊಂದಲು ಅಸ್ಥಿರಗಳ ಅಗತ್ಯವಿರುತ್ತದೆ ಮತ್ತು ಇತರ ಅಂಕಗಣಿತದ ಪ್ರಕಾರಗಳಿಗೆ ಅಂಕಗಣಿತದ ಮೌಲ್ಯಗಳ ಸ್ಪಷ್ಟ ಎರಕಹೊಯ್ದಗಳ ಬಳಕೆಯನ್ನು ಬೆಂಬಲಿಸುತ್ತದೆ. ಜಾವಾ, ಸಿ #, ಅದಾ ಮತ್ತು ಪ್ಯಾಸ್ಕಲ್ ಅನ್ನು ಕೆಲವೊಮ್ಮೆ ಸಿ ಗಿಂತ ಹೆಚ್ಚು ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡಲಾಗಿದೆ ಎಂದು ಹೇಳಲಾಗುತ್ತದೆ, ಇದು ಬಹುಶಃ ಸಿ ಹೆಚ್ಚಿನ ರೀತಿಯ ಸೂಚ್ಯ ಪರಿವರ್ತನೆಗಳನ್ನು ಬೆಂಬಲಿಸುತ್ತದೆ ಮತ್ತು ಜಾವಾ ಮತ್ತು ಪ್ಯಾಸ್ಕಲ್ ಮಾಡದಿದ್ದಾಗ ಪಾಯಿಂಟರ್ ಮೌಲ್ಯಗಳನ್ನು ಸ್ಪಷ್ಟವಾಗಿ ಎರಕಹೊಯ್ದ ಮಾಡಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಜಾವಾದಲ್ಲಿ ಸ್ಥಿರ ಪ್ರಕಾರದ ವ್ಯವಸ್ಥೆಯನ್ನು ತಪ್ಪಿಸುವ ವಿಧಾನಗಳನ್ನು ಜಾವಾ ವರ್ಚುವಲ್ ಯಂತ್ರದ ಪ್ರಕಾರದ ವ್ಯವಸ್ಥೆಯಿಂದ ನಿಯಂತ್ರಿಸಲಾಗುತ್ತದೆಯಾದ್ದರಿಂದ ಜಾವಾವನ್ನು ಪ್ಯಾಸ್ಕಲ್ಗಿಂತ ಹೆಚ್ಚು ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡಲಾಗಿದೆ ಎಂದು ಪರಿಗಣಿಸಬಹುದು. ಸಿ #ಮತ್ತು VB.NET ಆ ವಿಷಯದಲ್ಲಿ ಜಾವಾವನ್ನು ಹೋಲುತ್ತವೆ, ಆದಾಗ್ಯೂ ಅವು ಕೋಡ್ ವಿಭಾಗಗಳನ್ನು "ಅಸುರಕ್ಷಿತ ಸನ್ನಿವೇಶ" ದಲ್ಲಿ ಸ್ಪಷ್ಟವಾಗಿ ಹಾಕುವ ಮೂಲಕ ಡೈನಾಮಿಕ್ ಟೈಪ್ ಚೆಕಿಂಗ್ ಅನ್ನು ನಿಷ್ಕ್ರಿಯಗೊಳಿಸಲು ಅವಕಾಶ ಮಾಡಿಕೊಡುತ್ತವೆ. ಪ್ಯಾಸ್ಕಲ್ನ ಪ್ರಕಾರದ ವ್ಯವಸ್ಥೆಯನ್ನು "ತುಂಬಾ ಬಲವಾದ" ಎಂದು ವಿವರಿಸಲಾಗಿದೆ, ಏಕೆಂದರೆ ಒಂದು ವ್ಯೂಹ ಅಥವಾ ತಂತಿಯ ಗಾತ್ರವು ಅದರ ಪ್ರಕಾರದ ಭಾಗವಾಗಿದೆ, ಇದು ಕೆಲವು ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಕಾರ್ಯಗಳನ್ನು ತುಂಬಾ ಕಷ್ಟಕರವಾಗಿಸುತ್ತದೆ. ಆದಾಗ್ಯೂ, ಡೆಲ್ಫಿ ಈ ಸಮಸ್ಯೆಯನ್ನು ಪರಿಹರಿಸುತ್ತಾನೆ. ಸ್ಮಾಲ್ಟಾಕ್, ರೂಬಿ, ಪೈಥಾನ್ ಮತ್ತು ಸೆಲ್ಫ್ ಇವೆಲ್ಲವೂ "ಬಲವಾಗಿ ಟೈಪ್ ಮಾಡಲ್ಪಟ್ಟಿವೆ" ಎಂದರೆ ಟೈಪಿಂಗ್ ದೋಷಗಳನ್ನು ರನ್ಟೈಮ್ನಲ್ಲಿ ತಡೆಯಲಾಗುತ್ತದೆ ಮತ್ತು ಅವು ಕಡಿಮೆ ಸೂಚ್ಯ ಪ್ರಕಾರದ ಪರಿವರ್ತನೆಯನ್ನು ಮಾಡುತ್ತವೆ, ಆದರೆ ಈ ಭಾಷೆಗಳು ಸ್ಥಿರ ಪ್ರಕಾರದ ಪರಿಶೀಲನೆಯನ್ನು ಬಳಸುವುದಿಲ್ಲಃ ಕಂಪೈಲರ್ ಪ್ರಕಾರ ನಿರ್ಬಂಧದ ನಿಯಮಗಳನ್ನು ಪರಿಶೀಲಿಸುವುದಿಲ್ಲ ಅಥವಾ ಜಾರಿಗೊಳಿಸುವುದಿಲ್ಲ. ಡಕ್ ಟೈಪಿಂಗ್ ಎಂಬ ಪದವನ್ನು ಈಗ ಈ ಗುಂಪಿನ ಭಾಷೆಗಳು ಬಳಸುವ ಕ್ರಿಯಾತ್ಮಕ ಟೈಪಿಂಗ್ ಮಾದರಿಯನ್ನು ವಿವರಿಸಲು ಬಳಸಲಾಗುತ್ತದೆ. ಲಿಸ್ಪ್ ಕುಟುಂಬದ ಭಾಷೆಗಳೆಲ್ಲವೂ ರನ್ಟೈಮ್ನಲ್ಲಿ ಬೆರಳಚ್ಚು ದೋಷಗಳನ್ನು ತಡೆಯಲಾಗುತ್ತದೆ ಎಂಬ ಅರ್ಥದಲ್ಲಿ "ಬಲವಾಗಿ ಬೆರಳಚ್ಚು ಮಾಡಲ್ಪಟ್ಟಿವೆ". ಕಾಮನ್ ಲಿಸ್ಪ್ ಅಥವಾ ಕ್ಲೋಜೂರ್ನಂತಹ ಕೆಲವು ಲಿಸ್ಪ್ ಉಪಭಾಷೆಗಳು ವಿವಿಧ ರೀತಿಯ ಘೋಷಣೆಗಳನ್ನು ಬೆಂಬಲಿಸುತ್ತವೆ ಮತ್ತು ಕೆಲವು ಕಂಪೈಲರ್ಗಳು (ಸಿ. ಎಂ. ಯು ಕಾಮನ್ ಲಿಸ್ಪ್ (ಸಿ. ಎಂ. ಯು. ಸಿ. ಎಲ್) ಮತ್ತು ಸಂಬಂಧಿತ) ಈ ಘೋಷಣೆಗಳನ್ನು ವಿವಿಧ ಆಪ್ಟಿಮೈಸೇಶನ್ಗಳು ಮತ್ತು ಸೀಮಿತ ರೀತಿಯ ಕಂಪೈಲ್ ಟೈಮ್ ಟೈಪ್ ಚೆಕ್ಗಳನ್ನು ಸಕ್ರಿಯಗೊಳಿಸಲು ಟೈಪ್ ಇನ್ಫೆರೆನ್ಸ್ನೊಂದಿಗೆ ಬಳಸುತ್ತವೆ. ಸ್ಟ್ಯಾಂಡರ್ಡ್ ಎಂಎಲ್, ಎಫ್ #, ಓ. ಸಿ. ಎ. ಎಂ. ಎಲ್, ಹಾಸ್ಕೆಲ್, ಗೋ ಮತ್ತು ರಸ್ಟ್ ಅನ್ನು ಸ್ಥಿರವಾಗಿ ಟೈಪ್-ಚೆಕ್ ಮಾಡಲಾಗುತ್ತದೆ, ಆದರೆ ಕಂಪೈಲರ್ ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಹೆಚ್ಚಿನ ಮೌಲ್ಯಗಳಿಗೆ ನಿಖರವಾದ ಪ್ರಕಾರವನ್ನು ಅಂದಾಜು ಮಾಡುತ್ತದೆ. ಅಸೆಂಬ್ಲಿ ಭಾಷೆ ಮತ್ತು ಫೋರ್ತ್ ಅನ್ನು ಟೈಪ್ ಮಾಡದ ಭಾಷೆಗಳೆಂದು ನಿರೂಪಿಸಬಹುದು. ಯಾವುದೇ ರೀತಿಯ ಪರಿಶೀಲನೆ ಇಲ್ಲ; ಕಾರ್ಯಗಳಿಗೆ ನೀಡಲಾದ ದತ್ತಾಂಶವು ಸೂಕ್ತ ರೀತಿಯದ್ದಾಗಿದೆ ಎಂದು ಖಚಿತಪಡಿಸಿಕೊಳ್ಳುವುದು ಪ್ರೋಗ್ರಾಮರ್ಗೆ ಬಿಟ್ಟದ್ದು. ಅಗತ್ಯವಿರುವ ಯಾವುದೇ ರೀತಿಯ ಪರಿವರ್ತನೆ ಸ್ಪಷ್ಟವಾಗಿದೆ. ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷೆಗಳ ಹೋಲಿಕೆ ಡೇಟಾ ಪ್ರಕಾರವು ಟೈಪಿಂಗ್ ಸಮಸ್ಯೆಗಳ ಬಗ್ಗೆ ಹೆಚ್ಚು ಸಮಗ್ರವಾದ ಚರ್ಚೆಯನ್ನು ಒಳಗೊಂಡಿದೆ ಒಪ್ಪಂದದ ಮೂಲಕ ವಿನ್ಯಾಸ (ಸೂಚ್ಯ ಒಪ್ಪಂದದ ರೂಪವಾಗಿ ಬಲವಾದ ಟೈಪಿಂಗ್) ಸುಪ್ತ ಟೈಪಿಂಗ್ ಮೆಮೊರಿ ಸುರಕ್ಷತೆ ಪ್ರಕಾರ ಸುರಕ್ಷತಾ ಪ್ರಕಾರದ ಸಿಸ್ಟಮ್ ಬಲವಾಗಿ-ಟೈಪ್ ಮಾಡಲಾದ ಗುರುತಿಸುವಿಕೆ ಉಲ್ಲೇಖಗಳ ಪ್ರಕಾರದ ವ್ಯವಸ್ಥೆಗಳು