pocmatos
2018-12-8 15:22:21

Is there any library out there to count words in a scribble doc? If possible with a per-section breakdown? If not, I will have a go at having a library out to do just that.


pocmatos
2018-12-8 16:09:28

OK, it turns out it’s trivial to implement one so just did that. However, please still let me know if there’s something mature out there.


pocmatos
2018-12-8 16:14:04

@alama the racketfest link i find in ddg is broken: https://www.eventbrite.com/e/racketfest-registration-52898981277 What happened?


pocmatos
2018-12-8 16:16:29

Oh, ok wow, no more eventbrite, we have a homepage now: https://racketfest.com/


pocmatos
2018-12-8 17:21:34

@alama is on fire!


pocmatos
2018-12-8 17:30:24

For those not following him on twitter:


pocmatos
2018-12-8 17:30:43

shu--hung
2018-12-8 17:33:09

I vaguely remembered there’s something like https://docs.racket-lang.org/htdp/index.html?q=test-engine#(part._.Testing) but haven’t tried that myself


shu--hung
2018-12-8 17:38:27

tracing from build-engine and get-info, I got to here https://github.com/racket/htdp/blob/master/htdp-lib/test-engine/test-engine.rkt and there https://github.com/racket/htdp/blob/master/htdp-lib/test-engine/test-info.scm that’s probably how test info is collected and what’s reported from get-info. summarize-results could be useful too on the other hand, it’s probably also possible to parse the output and extract the # of passed tests


shu--hung
2018-12-8 17:42:09

what i’ve done was to have my own tests and ran them using the sandbox evaluator (just eval or call-in-sandbox-context)


john.azariah
2018-12-8 19:42:32

@john.azariah has joined the channel


sorawee
2018-12-9 02:07:52

I have a PL question: does the applicative-order Y combinator really work?

As I understand, the distinction of the applicative-order and call-by-value is that the former can reduce redex inside lambdas (http://www.cs.cornell.edu/courses/cs6110/2014sp/Lectures/lec04.pdf).

Consider even the term (applicative-order) Y alone. The term seems to diverge in the applicative-order evaluation strategy:

(λ (f)
  ((λ (x) (f (λ (v) ((x x) v))))
   (λ (x) (f (λ (v) ((x x) v))))))
=>
(λ (f)
  (f (λ (v) (((λ (x) (f (λ (v) ((x x) v))))
              (λ (x) (f (λ (v) ((x x) v))))) v))))
=>
...

Do I misunderstand anything?


trajafri
2018-12-9 04:29:38

@trajafri has joined the channel