tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!
jeosol has quit [Quit: Client closed]
lucasta has quit [Remote host closed the connection]
skapata has joined #racket
johnjaye has joined #racket
morte has quit [Remote host closed the connection]
morte_ has joined #racket
morte_ is now known as morte
ec has quit [Remote host closed the connection]
ec has joined #racket
jeosol has joined #racket
shawnw has quit [Ping timeout: 248 seconds]
ec has quit [Remote host closed the connection]
ec has joined #racket
morte has quit [Ping timeout: 276 seconds]
morte has joined #racket
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #racket
szkl has joined #racket
lowhope_ is now known as lowhope
ns121 has joined #racket
ns12 has quit [Read error: Connection reset by peer]
ns121 is now known as ns12
morte has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)]
szkl has quit [Quit: Connection closed for inactivity]
skapata has quit [Read error: Connection reset by peer]
jeosol has quit [Quit: Client closed]
Raito_Bezarius has quit [Ping timeout: 252 seconds]
notzmv has joined #racket
jlu has joined #racket
mwnaylor has quit [Ping timeout: 260 seconds]
m1dnight has quit [Ping timeout: 252 seconds]
m1dnight has joined #racket
m1dnight has quit [Ping timeout: 268 seconds]
m1dnight has joined #racket
<Putonlalla> I did it this way, but this changes the buffering mode or something, which breaks flushing and sending eof in DrRacket.
<Putonlalla> `(define (log-input-port in out) (define (read-wrap bstr obj) (unless (eof-object? obj) (write-bytes bstr out 0 obj)) obj) (define (peek-wrap bstr amt evt obj) obj) (filter-read-input-port in read-wrap peek-wrap))`
ASau has quit [Remote host closed the connection]
m1dnight has quit [Ping timeout: 246 seconds]
m1dnight has joined #racket
<Putonlalla> Calling `file-stream-buffer-mode` on any of the ports fails.
<Putonlalla> The main problem is that the documentation doesn't tell how to make `filter-read-input-port` act like `identity`.
<Putonlalla> Any clues?
<Putonlalla> I expected `(lambda (in) (filter-read-input-port in (lambda (read-wrap bstr obj) obj) (lambda (bstr amt evt obj) obj)))` and `(lambda (in) in)` to be extensionally (observably) equal, but they are not.
dhil has joined #racket
<Putonlalla> I really miss (the documentation or formalization of) laws from other functional languages, such as Haskell or Coq.
Raito_Bezarius has joined #racket
jlu has quit [Quit: Leaving]
xgqt has quit [Ping timeout: 240 seconds]
xgqt has joined #racket
skapata has joined #racket
morte has joined #racket
teddydd has left #racket [#racket]
rekahsoft has joined #racket
Aarkon has joined #racket
jlu has joined #racket
jeosol has joined #racket
morte has quit [Ping timeout: 240 seconds]
sarna has joined #racket
Aarkon has quit [Quit: Aarkon]
skapata has quit [Remote host closed the connection]
morte_ has joined #racket
winny has quit [*.net *.split]
Lulu has quit [*.net *.split]
Cathrinus has joined #racket
pounce has quit [Ping timeout: 240 seconds]
pounce has joined #racket
morte_ has quit [Remote host closed the connection]
lucasta has joined #racket
scubagear has quit [Read error: Connection reset by peer]
ormaaaj has quit [Read error: Connection reset by peer]
ormaaaj has joined #racket
simendsjo has joined #racket
jlu has quit [Quit: Leaving]
morte_ has joined #racket
morte_ is now known as morte
dhil has quit [Ping timeout: 276 seconds]
lucasta has quit [Ping timeout: 248 seconds]
mwnaylor has joined #racket
mwnaylor has quit [Read error: Connection reset by peer]
mwnaylor has joined #racket
simendsjo has quit [Ping timeout: 240 seconds]
morte has quit [Remote host closed the connection]
Tuplanolla has joined #racket
lucasta has joined #racket
johnjaye has quit [Ping timeout: 276 seconds]
wingo has quit [Read error: Connection reset by peer]