Phasing out C language to prevent heartbleeds Because of the well known yet uncaught mistake made by C programmers, causing heartbleed, should we look to other low-level languages like D, that have more forgiving memory management by design. |
Phasing out C language to prevent heartbleeds Because of the well known yet uncaught mistake made by C programmers, causing heartbleed, should we look to other low-level languages like D, that have more forgiving memory management by design. |
Dependently typed programming languages aren't yet ready to be used for general purpose programming, however, they are practical enough to verify correctness of isolated algorithms. We actually, have used them at JetBrains to verify correctness of collaborative editing algorithms. You won't believe how many "stupid" mistakes seemingly well tested code contains.