Door Briolet: In het algemeen generen "memory safe" programmeertalen een veel tragere code vanwege de extra checks. Het artikel wijst er ook op dat dit soort talen een 'niet-triviale' extra belasting voor de CPU en het geheugengebruik kan betekenen. Nim is een interessante taal in dit opzicht, omdat die toch snelle code weet te produceren. Een van de uitgangspunten bij Nim is dat als de compiler dit soort dingen niet kan beredeneren je niet moet verwachten dat de programmeur het beter kan — en dus moet de compiler dat wel kunnen. Het heeft daartoe een "effects system" waarmee allerlei aspecten van wat code doet door de compiler kunnen worden beredeneerd. Als een procedure gemarkeerd is om geen neveneffecten te hebben dan krijg je compilatiefouten als ergens diep in indirect gebruikte code opeens iets wel een neveneffect heeft. Als je een procedure markeert om thread-safe te zijn dan krijg je foutmeldingen op alles wat niet thread-safe is, in je eigen code en in alle Nim-code die erdoor gebruikt wordt. ...