[racket] Performance. How to disable contract checks?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Jun 2 15:49:05 EDT 2014

On Jun 2, 2014, at 3:42 PM, Roman Klochkov <kalimehtar at mail.ru> wrote:

> Is there a way to disable all contract checks? 
> 
> Suppose, I debugged my program and sure that it is reliable. I disable debugging, but as I understand, contracts are still checked in every function.
> But I want to maximize the performance of my program. Is there a way to do that or I have to manually hack racket/contract/base to do that?


No. 

;; --- 

Programmers who disable assertion checking as they are deploying software are like people who wear life vests on land when they learn about the theory of sailing and take them off as soon as they board the boat for practical exercises on the water. -- somebody famous 

;; --- 

You will need to define a version of provide and/or contract-out that throws away contracts based on a switch. 

Or you check out option contracts and use those. 

-- Matthias



Posted on the users mailing list.