Logs: liberachat/#haskell
| 2021-06-07 11:02:22 | <dminuoso> | tdammers: TLS is really straight foward to add, so Im not convinced this is a good argument. But yeah, authentication sure. |
| 2021-06-07 11:02:34 | × | hendursa1 quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-06-07 11:02:38 | <dminuoso> | otoh HTTP is a deeply semantic protocol that is very often mistreated |
| 2021-06-07 11:02:57 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-06-07 11:03:00 | → | larkfisherman joins (~larkfishe@217.75.204.126) |
| 2021-06-07 11:04:45 | <tdammers> | true on both accounts |
| 2021-06-07 11:05:11 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-06-07 11:05:18 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-07 11:05:32 | <tdammers> | (also note that I didn't say it's correct or elegant in any way, just that it's helpful and that I understand why you'd want it) |
| 2021-06-07 11:05:51 | <dminuoso> | Mostly though, I think it's just a force of habit. |
| 2021-06-07 11:06:15 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds) |
| 2021-06-07 11:06:46 | <dminuoso> | And perhaps it integrates better with existing tooling. You want to log whats going on? No need to write a wireshark decoder, put it in HTTP with JSON, and you can decipher it straight from `tcpdump` |
| 2021-06-07 11:07:06 | <dminuoso> | And perhaps your fancy webserver already does this with fancy coloring and indention |
| 2021-06-07 11:09:39 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2021-06-07 11:14:27 | <tdammers> | exactly |
| 2021-06-07 11:14:49 | <tdammers> | you already have all the HTTP machinery in place |
| 2021-06-07 11:18:07 | → | ddellacosta joins (~ddellacos@86.106.143.243) |
| 2021-06-07 11:19:52 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-07 11:20:35 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 11:22:39 | × | hmmmas quits (~chenqisu1@183.217.201.236) (Quit: Leaving.) |
| 2021-06-07 11:22:45 | × | ddellacosta quits (~ddellacos@86.106.143.243) (Ping timeout: 252 seconds) |
| 2021-06-07 11:24:55 | × | Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 264 seconds) |
| 2021-06-07 11:25:31 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 264 seconds) |
| 2021-06-07 11:26:30 | → | xsperry joins (~as@user/xsperry) |
| 2021-06-07 11:26:44 | × | pe200012 quits (~pe200012@58.248.179.178) (Ping timeout: 245 seconds) |
| 2021-06-07 11:28:07 | → | pe200012 joins (~pe200012@58.248.179.178) |
| 2021-06-07 11:28:31 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 264 seconds) |
| 2021-06-07 11:29:13 | ← | Kaivo parts (~Kaivo@user/kaivo) (WeeChat 3.0.1) |
| 2021-06-07 11:29:46 | × | fendor quits (~fendor@178.115.130.234.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-07 11:30:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-07 11:34:37 | → | pe200012_ joins (~pe200012@58.248.179.178) |
| 2021-06-07 11:34:51 | × | pe200012 quits (~pe200012@58.248.179.178) (Ping timeout: 252 seconds) |
| 2021-06-07 11:35:08 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-06-07 11:35:36 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-07 11:39:20 | × | involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-07 11:39:42 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-07 11:40:04 | × | benin03 quits (~benin@183.82.206.136) (Ping timeout: 245 seconds) |
| 2021-06-07 11:40:21 | × | azeem quits (~azeem@176.200.235.0) (Ping timeout: 252 seconds) |
| 2021-06-07 11:41:48 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-07 11:44:06 | × | malvo quits (~malvo@malvo.org) (Ping timeout: 268 seconds) |
| 2021-06-07 11:45:22 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-07 11:49:09 | × | pera quits (~pera@user/pera) (Ping timeout: 252 seconds) |
| 2021-06-07 11:52:04 | → | argento joins (~argent0@168-227-96-51.ptr.westnet.com.ar) |
| 2021-06-07 11:55:17 | → | pera joins (~pera@204.red-79-159-199.dynamicip.rima-tde.net) |
| 2021-06-07 11:55:41 | pera | is now known as Guest9847 |
| 2021-06-07 11:58:19 | → | ddellacosta joins (~ddellacos@86.106.143.217) |
| 2021-06-07 11:58:19 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2021-06-07 11:58:30 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-07 11:58:38 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-07 12:00:28 | × | blizzard quits (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 244 seconds) |
| 2021-06-07 12:01:26 | → | azeem joins (~azeem@176.201.37.236) |
| 2021-06-07 12:01:48 | × | involans quits (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-07 12:02:10 | → | ubert joins (~Thunderbi@p200300ecdf259d3dfcd415488b1ba362.dip0.t-ipconnect.de) |
| 2021-06-07 12:02:59 | × | ddellacosta quits (~ddellacos@86.106.143.217) (Ping timeout: 245 seconds) |
| 2021-06-07 12:04:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-07 12:05:54 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:458d:db56:1c93:24ea) (Ping timeout: 245 seconds) |
| 2021-06-07 12:06:05 | → | nattiestnate joins (~nate@180.242.128.159) |
| 2021-06-07 12:06:09 | × | srk quits (~sorki@user/srk) (Ping timeout: 244 seconds) |
| 2021-06-07 12:06:26 | → | danidiaz joins (~ESDPC@47.61.17.254) |
| 2021-06-07 12:06:56 | → | fendor joins (~fendor@178.115.130.234.wireless.dyn.drei.com) |
| 2021-06-07 12:08:30 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-07 12:09:04 | → | srk joins (~sorki@user/srk) |
| 2021-06-07 12:12:59 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
| 2021-06-07 12:15:27 | × | unyu quits (~pyon@user/pyon) (Ping timeout: 244 seconds) |
| 2021-06-07 12:16:13 | × | fendor quits (~fendor@178.115.130.234.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-07 12:18:00 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-07 12:18:19 | → | fendor joins (~fendor@178.115.130.234.wireless.dyn.drei.com) |
| 2021-06-07 12:19:28 | × | Toast52 quits (~Toast52@151.192.167.120) (Quit: Leaving) |
| 2021-06-07 12:21:48 | <janus> | dminuoso: websockets provide message framing. a big plus imho |
| 2021-06-07 12:22:09 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 245 seconds) |
| 2021-06-07 12:23:09 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-07 12:26:24 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-07 12:27:04 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-07 12:28:59 | <dminuoso> | janus: "message framing" is just a fancy way of saying "adding a length header" |
| 2021-06-07 12:29:14 | <dminuoso> | Writing wire protocols is not hard. |
| 2021-06-07 12:30:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Ping timeout: 245 seconds) |
| 2021-06-07 12:31:29 | <janus> | not so hard if you have coroutines and stuff ;) harder if you have only BSD sockets and threads and you want DDoS protection and such :P |
| 2021-06-07 12:33:33 | × | nkpart quits (uid3844@id-3844.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-07 12:33:43 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 2021-06-07 12:33:55 | × | jorjor quits (~jorgemene@85.251.190.6.dyn.user.ono.com) (Ping timeout: 264 seconds) |
| 2021-06-07 12:34:04 | <guest61> | does if then else have a scope? |
| 2021-06-07 12:35:03 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-07 12:35:26 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-07 12:35:39 | <guest61> | binding declared inside if then else , can't be found outside if then else |
| 2021-06-07 12:36:40 | <guest61> | I'd like to say variable, but haskell variable can't be reassigned |
| 2021-06-07 12:39:02 | <dminuoso> | guest61: Correct! |
| 2021-06-07 12:39:27 | <dminuoso> | guest61: So first thing to realize, is that expression evaluation is not even defined in Haskell. |
| 2021-06-07 12:39:50 | <ski> | having conditional declarations could be useful |
| 2021-06-07 12:40:31 | <dminuoso> | guest61: So what does "outside" even mean? |
| 2021-06-07 12:41:37 | <ski> | (also conditional commands, hmm) |
| 2021-06-07 12:41:48 | <dminuoso> | If inside do-notation, you can either use an IORef (an manipulate it branch expressions), or you can feed values back out |
| 2021-06-07 12:42:20 | <dminuoso> | do { f <- if foo then ([1,2,3] <$ someThing) else getList; ... } |
| 2021-06-07 12:42:21 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-07 12:43:45 | <ski> | guest61 : by "have a scope", for a construct, presumably you mean it interacting non-trivially with scoping, in some way ? |
| 2021-06-07 12:44:35 | → | ddellacosta joins (~ddellacos@86.106.121.24) |
| 2021-06-07 12:44:54 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-07 12:44:57 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Remote host closed the connection) |
| 2021-06-07 12:45:42 | <ski> | in any case .. `if'-`then'-`else' (expressions) doesn't introduce a new scope, nor interact in some other unusual way with scoping .. iow, what is in scope of the whole expression is also what is in scope in the three subexpressions |
| 2021-06-07 12:46:27 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-07 12:46:56 | <ski> | guest61 : however, you said "binding declared inside if then else", but that's (perhaps unfortunately) simply not a thing, in Haskell, since there are no conditional declarations (nor commands), just conditional expressions |
All times are in UTC.