Logs: freenode/#haskell
| 2021-03-09 11:28:46 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-09 11:29:11 | → | polyrain joins (~polyrain@2001:8003:e4d8:4101:2477:894a:f4e0:b792) |
| 2021-03-09 11:31:30 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-03-09 11:31:59 | × | Yumasi quits (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 2021-03-09 11:34:36 | × | polyrain quits (~polyrain@2001:8003:e4d8:4101:2477:894a:f4e0:b792) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-09 11:34:59 | × | xlei quits (znc@unaffiliated/xlei) (Read error: Connection reset by peer) |
| 2021-03-09 11:35:53 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-03-09 11:36:16 | Alleria | is now known as Guest95920 |
| 2021-03-09 11:42:52 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-09 11:45:53 | → | Tops2 joins (~Tobias@dyndsl-095-033-025-152.ewe-ip-backbone.de) |
| 2021-03-09 11:49:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-09 11:49:44 | × | kam1 quits (~kam1@83.123.163.222) (Ping timeout: 265 seconds) |
| 2021-03-09 11:50:09 | → | knupfer joins (~Thunderbi@dynamic-046-114-146-178.46.114.pool.telefonica.de) |
| 2021-03-09 11:50:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 11:50:40 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-09 11:51:56 | → | ania123 joins (5e89ad7c@94.137.173.124) |
| 2021-03-09 11:53:27 | → | alx741 joins (~alx741@186.178.108.96) |
| 2021-03-09 11:54:06 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-09 11:55:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-09 11:56:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 11:58:02 | → | Psybur joins (~user@unaffiliated/psybur) |
| 2021-03-09 11:58:35 | → | astroanax joins (astroanax@gateway/shell/ircnow/x-kqndlcxucbbkreko) |
| 2021-03-09 11:59:19 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-09 12:00:21 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-09 12:01:08 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-03-09 12:01:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-09 12:02:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 12:02:26 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) (Ping timeout: 264 seconds) |
| 2021-03-09 12:04:25 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-03-09 12:04:50 | → | haskman joins (dfbe7e24@223.190.126.36) |
| 2021-03-09 12:07:54 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 2021-03-09 12:12:03 | → | Haskman[m] joins (haskmanmat@gateway/shell/matrix.org/x-rskmegwndatuqvsm) |
| 2021-03-09 12:12:07 | × | plutoniix quits (~q@184.82.204.248) (Quit: Leaving) |
| 2021-03-09 12:14:10 | → | rust-rocks[m] joins (rust-rocks@gateway/shell/matrix.org/x-gcvobzthaxbvupil) |
| 2021-03-09 12:26:05 | astroanax | is now known as Guest54023 |
| 2021-03-09 12:26:05 | × | Guest54023 quits (astroanax@gateway/shell/ircnow/x-kqndlcxucbbkreko) (Killed (cherryh.freenode.net (Nickname regained by services))) |
| 2021-03-09 12:28:53 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 265 seconds) |
| 2021-03-09 12:31:17 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-09 12:31:30 | × | Guest95920 quits (~textual@zrcout.mskcc.org) (Ping timeout: 260 seconds) |
| 2021-03-09 12:32:26 | → | astroanax_ joins (astroanax@gateway/shell/ircnow/x-mwsymdmfxopxcrbb) |
| 2021-03-09 12:32:46 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-09 12:32:46 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0.1) |
| 2021-03-09 12:33:09 | Alleria | is now known as Guest29757 |
| 2021-03-09 12:33:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-09 12:38:48 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-09 12:41:59 | astroanax_ | is now known as astroanax |
| 2021-03-09 12:43:14 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds) |
| 2021-03-09 12:43:21 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-03-09 12:49:53 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-09 12:52:06 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-09 12:53:15 | × | sayola quits (~vekto@dslb-088-078-152-179.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-03-09 12:56:27 | × | gawen_ quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-03-09 12:56:48 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-03-09 12:59:21 | → | Yumasi joins (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) |
| 2021-03-09 12:59:42 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-09 13:01:41 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-03-09 13:02:51 | → | minoru_shiraeesh joins (~shiraeesh@46.34.207.152) |
| 2021-03-09 13:02:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 13:02:59 | × | terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-03-09 13:07:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Ping timeout: 264 seconds) |
| 2021-03-09 13:07:50 | → | terrorjack joins (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-09 13:08:34 | → | Quantik joins (~Quantik@2001:818:de6d:fc00:a104:5ee1:8ee8:df35) |
| 2021-03-09 13:08:44 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-09 13:10:45 | × | hiroaki__ quits (~hiroaki@2a02:8108:8c40:2bb8:2d37:dad:8363:b013) (Ping timeout: 246 seconds) |
| 2021-03-09 13:13:45 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-09 13:13:45 | × | knupfer quits (~Thunderbi@dynamic-046-114-146-178.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-03-09 13:14:12 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-09 13:15:08 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2021-03-09 13:15:23 | × | haskman quits (dfbe7e24@223.190.126.36) (Ping timeout: 240 seconds) |
| 2021-03-09 13:15:33 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 2021-03-09 13:18:52 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-09 13:20:31 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-09 13:20:44 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:59e2:d541:9d2d:e1e4) |
| 2021-03-09 13:20:51 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-03-09 13:21:33 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-09 13:22:09 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2021-03-09 13:23:12 | → | hiroaki__ joins (~hiroaki@2a02:8108:8c40:2bb8:4318:6e8b:64bc:9113) |
| 2021-03-09 13:25:24 | LittleFox94 | is now known as LittleFox |
| 2021-03-09 13:27:00 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-09 13:28:04 | → | xlei joins (znc@unaffiliated/xlei) |
| 2021-03-09 13:28:11 | × | Aphex quits (uid70120@gateway/web/irccloud.com/x-mpzuytfykqmswndg) (Quit: Connection closed for inactivity) |
| 2021-03-09 13:28:50 | → | arrowsvc_ joins (~arr@2.93.163.35) |
| 2021-03-09 13:30:27 | × | JLP1 quits (~JLP@217.146.82.202) (Remote host closed the connection) |
| 2021-03-09 13:30:51 | × | Quantik quits (~Quantik@2001:818:de6d:fc00:a104:5ee1:8ee8:df35) (Quit: Leaving) |
| 2021-03-09 13:33:49 | <mananamenos> | Hi, Im quite lost thinking about IO and exceptions. So I can have an IO function about which I can be completely sure that it will not throw and therefore will not crash the later execution, right? For example, `f = return 1 :: IO Int`. However, another function with the same `IO Int` type could be like this `g = throwIO (toException "whatever")`. So when I call the first function from some parent IO function, I know it |
| 2021-03-09 13:33:49 | <mananamenos> | will not crash, however, when I call the second one, it could throw, and I can only know that if I look at the implementation of it. It seems I don't get some fundamental concept here.. |
| 2021-03-09 13:34:58 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-09 13:35:01 | <arrowsvc_> | Isn't it the same the exception mechanism for all other languages? |
| 2021-03-09 13:35:27 | Lycurgus | guesses no |
| 2021-03-09 13:40:41 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:59e2:d541:9d2d:e1e4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-09 13:41:06 | <nshepperd> | most languages rely on you to read documentation or implementation to figure out what exceptions a procedure might throw |
| 2021-03-09 13:41:36 | <geekosaur> | exceptions don't show in types. this can be regarded as a wart, but even (return 1) can potentially throw a heap exception |
| 2021-03-09 13:42:41 | <geekosaur> | synchronous exceptions being exceptions instead of ExceptT is a wart, but a hard one to fix. that said, the throwIO example doesn't really fit that unless you split throwIO into sync and async variants |
| 2021-03-09 13:42:50 | <Lycurgus> | yeah, if you look at the computer as an object from the outside, but you said the langs |
| 2021-03-09 13:43:00 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-03-09 13:43:18 | <mananamenos> | geekosaur, I was thinking about something like you say * but even (return 1) can potentially throw a heap exception *. You have confirmed me that, so it makes sense now. Thank you! |
| 2021-03-09 13:44:32 | <mananamenos> | what is a wart btw? :) |
| 2021-03-09 13:44:58 | <merijn> | mananamenos: You cannot have an IO exception where you can be sure it doesn't throw (unless you inspect all code involved), no |
| 2021-03-09 13:45:01 | <merijn> | Sadly |
| 2021-03-09 13:45:47 | <geekosaur> | less severe than a bug |
All times are in UTC.