Add vim modeline to TODO file
[tt.git] / tt.rkt
CommitLineData
cd541405 1#lang typed/racket/no-check
4764ff89 2
1d753430 3(require openssl/sha1)
4764ff89 4(require racket/date)
9c464d95
SK
5(require
6 net/http-client
edadb804 7 net/uri-codec
9c464d95
SK
8 net/url-string
9 net/url-structs)
4764ff89 10
3c9c8266
SK
11(require (prefix-in info: "info.rkt"))
12
78398948 13(module+ test
de3ff448 14 (require rackunit))
78398948 15
98529d3d
SK
16(define-type Url
17 net/url-structs:url)
18
19(define-type Out-Format
20 (U 'single-line
21 'multi-line))
22
23(define-type Timeline-Order
24 (U 'old->new
25 'new->old))
26
9c464d95 27(struct msg
78142acb 28 ([ts-epoch : Integer]
3877a0c4 29 [ts-orig : String]
cd541405 30 [nick : String]
98529d3d
SK
31 [uri : Url]
32 [text : String])
33 #:type-name Msg)
9c464d95
SK
34
35(struct feed
cd541405 36 ([nick : String]
98529d3d
SK
37 [uri : Url])
38 #:type-name Feed)
4764ff89 39
edadb804
SK
40(: tt-home-dir Path-String)
41(define tt-home-dir (build-path (expand-user-path "~") ".tt"))
42
a9511f7c 43(: concurrent-filter-map (∀ (α β) (-> Natural (-> α β) (Listof α))))
78142acb 44(define (concurrent-filter-map num-workers f xs)
dad4504d 45 ; TODO preserve order of elements OR communicate that reorder is expected
a239a233 46 ; TODO switch from mailboxes to channels
895a32cf
SK
47 (define (make-worker id f)
48 (define parent (current-thread))
49 (λ ()
a9511f7c
SK
50 (define self : Thread (current-thread))
51 (: work (∀ (α) (-> α)))
895a32cf
SK
52 (define (work)
53 (thread-send parent (cons 'next self))
54 (match (thread-receive)
c562bea3
SK
55 ['done (thread-send parent (cons 'exit id))]
56 [(cons 'unit x) (begin
57 (define y (f x))
58 (when y (thread-send parent (cons 'result y)))
59 (work))]))
895a32cf 60 (work)))
a9511f7c 61 (: dispatch (∀ (α β) (-> (Listof Nonnegative-Integer) (Listof α) (Listof β))))
895a32cf
SK
62 (define (dispatch ws xs ys)
63 (if (empty? ws)
f1493e49
SK
64 ys
65 (match (thread-receive)
c562bea3
SK
66 [(cons 'exit w) (dispatch (remove w ws =) xs ys)]
67 [(cons 'result y) (dispatch ws xs (cons y ys))]
68 [(cons 'next thd) (match xs
69 ['() (begin
70 (thread-send thd 'done)
71 (dispatch ws xs ys))]
72 [(cons x xs) (begin
73 (thread-send thd (cons 'unit x))
74 (dispatch ws xs ys))])])))
78142acb 75 (define workers (range num-workers))
9926c9a9
SK
76 (define threads (map (λ (id) (thread (make-worker id f))) workers))
77 (define results (dispatch workers xs '()))
895a32cf
SK
78 (for-each thread-wait threads)
79 results)
80
dad4504d 81(module+ test
de3ff448
SK
82 (let* ([f (λ (x) (if (even? x) x #f))]
83 [xs (range 11)]
84 [actual (sort (concurrent-filter-map 10 f xs) <)]
85 [expected (sort ( filter-map f xs) <)])
c562bea3 86 (check-equal? actual expected "concurrent-filter-map")))
dad4504d 87
98529d3d 88(: msg-print (-> Out-Format Integer Msg Void))
3d042e75
SK
89(define msg-print
90 (let* ([colors (vector 36 33)]
91 [n (vector-length colors)])
92 (λ (out-format color-i msg)
01e4c499
SK
93 (let ([color (vector-ref colors (modulo color-i n))]
94 [nick (msg-nick msg)]
9c464d95 95 [uri (url->string (msg-uri msg))]
01e4c499 96 [text (msg-text msg)])
3d042e75 97 (match out-format
01e4c499
SK
98 ['single-line
99 (printf "~a \033[1;37m<~a>\033[0m \033[0;~am~a\033[0m~n"
100 (parameterize ([date-display-format 'iso-8601])
78142acb 101 (date->string (seconds->date [msg-ts-epoch msg]) #t))
01e4c499
SK
102 nick color text)]
103 ['multi-line
3877a0c4 104 (printf "~a (~a)~n\033[1;37m<~a ~a>\033[0m~n\033[0;~am~a\033[0m~n~n"
01e4c499 105 (parameterize ([date-display-format 'rfc2822])
78142acb 106 (date->string (seconds->date [msg-ts-epoch msg]) #t))
3877a0c4 107 (msg-ts-orig msg)
01e4c499 108 nick uri color text)])))))
e96264cc 109
3877a0c4
SK
110(: rfc3339->epoch (-> String (Option Nonnegative-Integer)))
111(define rfc3339->epoch
112 (let ([re (pregexp "^([0-9]{4})-([0-9]{2})-([0-9]{2})T([0-9]{2}):([0-9]{2})(:([0-9]{2}))?(\\.[0-9]+)?(Z|([+-])([0-9]{1,2}):?([0-9]{2}))?$")])
113 (λ (ts)
114 (match (regexp-match re ts)
115 [(list _wholething yyyy mm dd HH MM _:SS SS _fractional tz-whole tz-sign tz-HH tz-MM)
116 (let*
117 ([tz-offset
118 (match* (tz-whole tz-sign tz-HH tz-MM)
119 [("Z" #f #f #f)
120 0]
121 [(_ (or "-" "+") (? identity h) (? identity m))
122 (let ([h (string->number h)]
123 [m (string->number m)]
124 ; Reverse to get back to UTC:
125 [op (match tz-sign ["+" -] ["-" +])])
126 (op 0 (+ (* 60 m) (* 60 (* 60 h)))))]
127 [(a b c d)
128 (log-warning "Impossible TZ string: ~v, components: ~v ~v ~v ~v" tz-whole a b c d)
129 0])]
130 [ts-orig ts]
131 [local-time? #f]
132 [ts-epoch (find-seconds (if SS (string->number SS) 0)
133 (string->number MM)
134 (string->number HH)
135 (string->number dd)
136 (string->number mm)
137 (string->number yyyy)
138 local-time?)])
139 (+ ts-epoch tz-offset))]
140 [_
141 (log-error "Invalid timestamp: ~v" ts)
142 #f]))))
143
98529d3d 144(: str->msg (-> String Url String (Option Msg)))
b4689464 145(define str->msg
3877a0c4 146 (let ([re (pregexp "^([^\\s\t]+)[\\s\t]+(.*)$")])
b4689464
SK
147 (λ (nick uri str)
148 (with-handlers*
149 ([exn:fail?
150 (λ (e)
9c464d95
SK
151 (log-error
152 "Failed to parse msg: ~v, from: ~v, at: ~v, because: ~v"
153 str nick (url->string uri) e)
b4689464
SK
154 #f)])
155 (match (regexp-match re str)
3877a0c4
SK
156 [(list _wholething ts-orig text)
157 (let ([ts-epoch (rfc3339->epoch ts-orig)])
158 (if ts-epoch
159 (msg ts-epoch ts-orig nick uri text)
160 (begin
161 (log-error
162 "Msg rejected due to invalid timestamp: ~v, nick:~v, uri:~v"
163 str nick (url->string uri))
164 #f)))]
b4689464
SK
165 [_
166 (log-debug "Non-msg line from nick:~a, line:~a" nick str)
167 #f])))))
88d50b3e 168
63afa259 169(module+ test
b4689464
SK
170 (let* ([tzs (for*/list ([d '("-" "+")]
171 [h '("5" "05")]
172 [m '("00" ":00" "57" ":57")])
173 (string-append d h m))]
174 [tzs (list* "" "Z" tzs)])
175 (for* ([n '("fake-nick")]
176 [u '("fake-uri")]
177 [s '("" ":10")]
178 [f '("" ".1337")]
179 [z tzs]
180 [sep (list "\t" " ")]
181 [txt '("foo bar baz" "'jaz poop bear giraffe / tea" "@*\"``")])
182 (let* ([ts (string-append "2020-11-18T22:22"
183 (if (non-empty-string? s) s ":00")
184 z)]
185 [m (str->msg n u (string-append ts sep txt))])
186 (check-not-false m)
187 (check-equal? (msg-nick m) n)
188 (check-equal? (msg-uri m) u)
189 (check-equal? (msg-text m) txt)
3877a0c4 190 (check-equal? (msg-ts-orig m) ts (format "Given: ~v" ts))
b4689464
SK
191 )))
192
de3ff448
SK
193 (let* ([ts "2020-11-18T22:22:09-0500"]
194 [tab " "]
195 [text "Lorem ipsum"]
196 [nick "foo"]
197 [uri "bar"]
198 [actual (str->msg nick uri (string-append ts tab text))]
199 [expected (msg 1605756129 ts nick uri text)])
c562bea3 200 (check-equal?
78142acb
SK
201 (msg-ts-epoch actual)
202 (msg-ts-epoch expected)
203 "str->msg ts-epoch")
3877a0c4
SK
204 (check-equal?
205 (msg-ts-orig actual)
206 (msg-ts-orig expected)
207 "str->msg ts-orig")
c562bea3
SK
208 (check-equal?
209 (msg-nick actual)
210 (msg-nick expected)
211 "str->msg nick")
212 (check-equal?
213 (msg-uri actual)
214 (msg-uri expected)
215 "str->msg uri")
216 (check-equal?
217 (msg-text actual)
218 (msg-text expected)
219 "str->msg text")))
63afa259 220
98529d3d 221(: str->lines (-> String (Listof String)))
e96264cc
SK
222(define (str->lines str)
223 (string-split str (regexp "[\r\n]+")))
224
63afa259 225(module+ test
de3ff448 226 (check-equal? (str->lines "abc\ndef\n\nghi") '("abc" "def" "ghi")))
63afa259 227
98529d3d 228(: str->msgs (-> String Url String (Listof Msg)))
b201e854 229(define (str->msgs nick uri str)
3877a0c4 230 (filter-map (λ (line) (str->msg nick uri line)) (filter-comments (str->lines str))))
4764ff89 231
edadb804
SK
232(: cache-dir Path-String)
233(define cache-dir (build-path tt-home-dir "cache"))
234
235(: url->cache-file-path-v1 (-> Url Path-String))
236(define (url->cache-file-path-v1 uri)
237 (define (hash-sha1 str) : (-> String String)
238 (define in (open-input-string str))
239 (define digest (sha1 in))
240 (close-input-port in)
241 digest)
242 (build-path cache-dir (hash-sha1 (url->string uri))))
243
244(: url->cache-file-path-v2 (-> Url Path-String))
245(define (url->cache-file-path-v2 uri)
246 (build-path cache-dir (uri-encode (url->string uri))))
1d753430 247
edadb804 248(define url->cache-file-path url->cache-file-path-v2)
9c464d95 249
98529d3d
SK
250; TODO Return Option
251(: uri-read-cached (-> Url String))
4214c0f3 252(define (uri-read-cached uri)
edadb804
SK
253 (define path-v1 (url->cache-file-path-v1 uri))
254 (define path-v2 (url->cache-file-path-v2 uri))
255 (when (file-exists? path-v1)
256 (rename-file-or-directory path-v1 path-v2 #t))
257 (if (file-exists? path-v2)
258 (file->string path-v2)
0e16a46c 259 (begin
9c464d95 260 (log-warning "Cache file not found for URI: ~a" (url->string uri))
4214c0f3
SK
261 "")))
262
98529d3d 263(: str->feed (String (Option Feed)))
9c464d95
SK
264(define (str->feed str)
265 (log-debug "Parsing feed string: ~v" str)
266 (match (string-split str)
267 [(list nick u)
268 (with-handlers*
269 ([exn:fail?
270 (λ (e)
271 (log-error "Invalid URI: ~v, exn: ~v" u e)
272 #f)])
273 (feed nick (string->url u)))]
274 [_
275 (log-error "Invalid feed string: ~v" str)
276 #f]))
277
98529d3d 278(: filter-comments (-> (Listof String) (Listof String)))
9c464d95
SK
279(define (filter-comments lines)
280 (filter-not (λ (line) (string-prefix? line "#")) lines))
281
98529d3d 282(: str->feeds (-> String (Listof Feed)))
9c464d95
SK
283(define (str->feeds str)
284 (filter-map str->feed (filter-comments (str->lines str))))
285
98529d3d 286(: file->feeds (-> Path-String (Listof Feed)))
9c464d95
SK
287(define (file->feeds filename)
288 (str->feeds (file->string filename)))
289
98529d3d 290(: user-agent String)
9c464d95
SK
291(define user-agent
292 (let*
293 ([prog-name "tt"]
3c9c8266 294 [prog-version (info:#%info-lookup 'version)]
9c464d95 295 [prog-uri "https://github.com/xandkar/tt"]
26d57c07 296 [user-feed-file (build-path tt-home-dir "me")]
9c464d95
SK
297 [user
298 (if (file-exists? user-feed-file)
299 (let ([user (first (file->feeds user-feed-file))])
300 (format "+~a; @~a" (url->string (feed-uri user)) (feed-nick user)))
301 (format "+~a" prog-uri))])
302 (format "~a/~a (~a)" prog-name prog-version user)))
303
98529d3d 304(: uri-download (-> Url Void))
9c464d95
SK
305(define (uri-download u)
306 (define cache-file-path (url->cache-file-path u))
307 (log-debug "uri-download ~v into ~v" u cache-file-path)
308 (match* ((url-scheme u) (url-host u) (url-port u))
309 [(s h p)
310 #:when (and s h)
311 (define ssl? (string=? s "https"))
312 (define-values (status-line headers body-input)
313 ; TODO Timeout. Currently hangs on slow connections.
314 (http-sendrecv
315 h
316 (url->string (struct-copy url u [scheme #f] [host #f]))
317 #:ssl? ssl?
318 #:port (cond [p p] [ssl? 443] [else 80])
319 #:headers (list (format "User-Agent: ~a" user-agent))
320 ))
321 (log-debug "headers: ~v" headers)
322 (log-debug "status-line: ~v" status-line)
323 (define status
324 (string->number (second (string-split (bytes->string/utf-8 status-line)))))
325 (log-debug "status: ~v" status)
326 ; TODO Handle redirects
327 (if (= 200 status)
edadb804
SK
328 (begin
329 (make-parent-directory* cache-file-path)
330 (call-with-output-file cache-file-path
331 (curry copy-port body-input)
332 #:exists 'replace))
9c464d95
SK
333 (raise status))]
334 [(_ _ _)
335 (log-error "Invalid URI: ~v" u)]))
4764ff89 336
98529d3d 337(: timeline-print (-> Out-Format (Listof Msg) Void))
b201e854 338(define (timeline-print out-format timeline)
3d042e75
SK
339 (void (foldl (match-lambda**
340 [((and m (msg _ _ nick _ _)) (cons prev-nick i))
341 (let ([i (if (string=? prev-nick nick) i (+ 1 i))])
342 (msg-print out-format i m)
343 (cons nick i))])
344 (cons "" 0)
345 timeline)))
4764ff89 346
98529d3d 347(: feed->msgs (-> Feed (Listof Msg)))
9c464d95
SK
348(define (feed->msgs f)
349 (match-define (feed nick uri) f)
3877a0c4 350 (log-info "Reading feed nick:~a uri:~v" nick (url->string uri))
9c464d95 351 (str->msgs nick uri (uri-read-cached uri)))
4214c0f3 352
98529d3d 353(: feed-download (-> Feed Void))
9c464d95
SK
354(define (feed-download f)
355 (match-define (feed nick uri) f)
2db1b40f 356 (define u (url->string uri))
32dcc0b0 357 (log-info "Downloading feed uri:~a" u)
9a6a9f9a 358 (with-handlers
9c464d95 359 ([exn:fail?
9a6a9f9a 360 (λ (e)
2db1b40f 361 (log-error "Network error nick:~a uri:~v exn:~v" nick u e)
9a6a9f9a
SK
362 #f)]
363 [integer?
364 (λ (status)
2db1b40f 365 (log-error "HTTP error nick:~a uri:~a status:~a" nick u status)
9a6a9f9a 366 #f)])
2db1b40f
SK
367 (define-values (_result _tm-cpu-ms tm-real-ms _tm-gc-ms)
368 (time-apply uri-download (list uri)))
32dcc0b0 369 (log-info "Feed downloaded in ~a seconds, uri: ~a" (/ tm-real-ms 1000.0) u)))
4214c0f3 370
98529d3d 371(: timeline-download (-> Integer (Listof Feed) Void))
78142acb 372(define (timeline-download num-workers feeds)
4214c0f3 373 ; TODO No need for map - can just iter
78142acb 374 (void (concurrent-filter-map num-workers feed-download feeds)))
9a6a9f9a
SK
375
376; TODO timeline contract : time-sorted list of messages
98529d3d 377(: timeline-read (-> Timeline-Order (Listof Feed) (Listof Msg)))
a4899240
SK
378(define (timeline-read order feeds)
379 (define cmp (match order
380 ['old->new <]
381 ['new->old >]))
4214c0f3 382 (sort (append* (filter-map feed->msgs feeds))
78142acb 383 (λ (a b) (cmp (msg-ts-epoch a) (msg-ts-epoch b)))))
4764ff89 384
56de6228
SK
385(: log-writer-stop (-> Thread Void))
386(define (log-writer-stop log-writer)
387 (log-message (current-logger) 'fatal 'stop "Exiting." #f)
388 (thread-wait log-writer))
389
390(: logger-start (-> Log-Level Thread))
391(define (logger-start level)
392 (let* ([logger
393 (make-logger #f #f level #f)]
394 [log-receiver
395 (make-log-receiver logger level)]
396 [log-writer
397 (thread
398 (λ ()
399 (parameterize
400 ([date-display-format 'iso-8601])
401 (let loop ()
402 (match-define (vector level msg _ topic) (sync log-receiver))
403 (unless (equal? topic 'stop)
404 (eprintf "~a [~a] ~a~n" (date->string (current-date) #t) level msg)
405 (loop))))))])
406 (current-logger logger)
407 log-writer))
01e4c499 408
24c6a76b 409(module+ main
24f1f64b 410 (let ([log-level 'info])
c562bea3 411 (command-line
24f1f64b
SK
412 #:program
413 "tt"
c562bea3 414 #:once-each
01e4c499
SK
415 [("-d" "--debug")
416 "Enable debug log level."
417 (set! log-level 'debug)]
24f1f64b
SK
418 #:help-labels
419 ""
420 "and <command> is one of"
4214c0f3
SK
421 "r, read i : Read the timeline."
422 "d, download : Download the timeline."
edadb804 423 ; TODO Add path dynamically
3a4b2233 424 "u, upload : Upload your twtxt file (alias to execute ~/.tt/upload)."
24f1f64b
SK
425 ""
426 #:args (command . args)
56de6228 427 (define log-writer (logger-start log-level))
4214c0f3 428 (current-command-line-arguments (list->vector args))
24f1f64b 429 (match command
4214c0f3 430 [(or "d" "download")
2db1b40f 431 ; Initially, 15 was fastest out of the tried: 1, 5, 10, 20. Then I
edadb804 432 ; started noticing significant slowdowns. Reducing to 5 seems to help.
2db1b40f 433 (let ([num-workers 5])
24f1f64b
SK
434 (command-line
435 #:program
4214c0f3 436 "tt download"
24f1f64b
SK
437 #:once-each
438 [("-j" "--jobs")
439 njobs "Number of concurrent jobs."
78142acb 440 (set! num-workers (string->number njobs))]
4214c0f3 441 #:args (filename)
32dcc0b0
SK
442 (define-values (_res _cpu real-ms _gc)
443 (time-apply timeline-download (list num-workers (file->feeds filename))))
56de6228
SK
444 (log-info "Timeline downloaded in ~a seconds." (/ real-ms 1000.0))
445 (log-writer-stop log-writer)))]
3a4b2233
SK
446 [(or "u" "upload")
447 (command-line
3877a0c4
SK
448 #:program
449 "tt upload"
450 #:args ()
edadb804 451 (if (system (path->string (build-path tt-home-dir "upload")))
3a4b2233
SK
452 (exit 0)
453 (exit 1)))]
4214c0f3 454 [(or "r" "read")
a4899240
SK
455 (let ([out-format 'multi-line]
456 [order 'old->new])
4214c0f3
SK
457 (command-line
458 #:program
459 "tt read"
a4899240
SK
460 #:once-each
461 [("-r" "--rev")
462 "Reverse displayed timeline order."
463 (set! order 'new->old)]
24f1f64b
SK
464 #:once-any
465 [("-s" "--short")
466 "Short output format"
467 (set! out-format 'single-line)]
468 [("-l" "--long")
469 "Long output format"
470 (set! out-format 'multi-line)]
471 #:args (filename)
a4899240 472 (timeline-print out-format (timeline-read order (file->feeds filename)))))]
24f1f64b 473 ))))
This page took 0.102804 seconds and 4 git commands to generate.