On Sunday, December 16, 2018 at 12:48:09 AM UTC+8, Peter Schmiedeskamp
wrote:
>
> I’m probably guilty of already being part of this task-force. To add, I
> wonder if there’d be value in some longer, blog-form replies to interesting
> HackerNews queries.
>
> For example, someone was extolling
Oh but that place just seems so awful.
On Thursday, December 13, 2018 at 6:53:41 PM UTC-5, Neil Van Dyke wrote:
>
> This might be a bad idea, and normally I disapprove of this sort of
> thing, but... does anyone want to take on the job of RACKET EVANGELISM
> STRIKE FORCE, among a concentration
Ah, thanks!
On Sunday, December 16, 2018 at 3:53:06 PM UTC-5, Jon Zeppieri wrote:
>
>
> On Sun, Dec 16, 2018 at 2:59 PM Jonathan Simpson > wrote:
>
>> What is the difference between this code, which reads and returns "#lang"
>> from the file:
>> (define in-file (open-input-file
On Sun, Dec 16, 2018 at 2:59 PM Jonathan Simpson wrote:
> What is the difference between this code, which reads and returns "#lang"
> from the file:
> (define in-file (open-input-file "adventure.rkt"))
> (parameterize ([current-input-port in-file]) (read-string 5))
>
> and this code which
I have the same understanding of when contracts and type annotations are
checked. It seems like they would compliment each other quite nicely
because you could catch all type errors at compile time and leave contracts
for runtime. However, it seems that forms such as define/contract cannot be
What is the difference between this code, which reads and returns "#lang"
from the file:
(define in-file (open-input-file "adventure.rkt"))
(parameterize ([current-input-port in-file]) (read-string 5))
and this code which appears to still read from stdin:
(with-input-from-file "adventure.rkt"
As far as I know contracts in Racket are evaluated at run time, for
example when calling a procedure from another module and the module has
a contract for the procedure, while types of typed Racket are evaluated
at read time. They seem to be independent concepts. I am not sure how to
use both of
7 matches
Mail list logo
