Logs: liberachat/#haskell
| 2021-08-05 07:22:44 | <dminuoso> | Or, you can trip infinite loops in the optimizer in some cases. |
| 2021-08-05 07:22:48 | <tomsmeding> | dminuoso: to be fair, ghc not catching the out of memory condition isn't really ghc's fault on linux |
| 2021-08-05 07:23:09 | × | azeem quits (~azeem@176.200.220.247) (Read error: Connection reset by peer) |
| 2021-08-05 07:23:15 | <dminuoso> | tomsmeding: Isn't it? Couldn't GHC monitor it's resource usage? |
| 2021-08-05 07:23:17 | <tomsmeding> | linux' memory system with the oom killer was designed around the assumption of infinite memory :p |
| 2021-08-05 07:23:34 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-05 07:23:35 | <tomsmeding> | dminuoso: I believe you can't reasonably guess how much memory you can safely use |
| 2021-08-05 07:23:58 | <tomsmeding> | there might be swap, compressed swap, zram, file caches, etc. doing their thing |
| 2021-08-05 07:24:03 | <dminuoso> | Guess that's necessarily true on commodity multi user systems. |
| 2021-08-05 07:24:51 | <tomsmeding> | so I'd say trying to guess the maximum amount of memory available to you, then panicing if you're going above that, is the wrong thing to do |
| 2021-08-05 07:25:01 | <tomsmeding> | better to wait for the OS to tell you you're over your limits -- and linux doesn't :) |
| 2021-08-05 07:25:04 | <dminuoso> | At a previous job we were writing aeronautical software, and there software was required to be very explicit in terms of time slots and memory uses. |
| 2021-08-05 07:25:21 | <dminuoso> | It was a constraint hard real time system that would simply do a hard reboot if these were violated. |
| 2021-08-05 07:25:29 | <dminuoso> | In comparison, the OOM killer is harmless. :p |
| 2021-08-05 07:25:32 | <tomsmeding> | lol |
| 2021-08-05 07:26:02 | <tomsmeding> | yeah I'm not saying you can't take a lower bound on the available memory and use that, which is the right thing to do in those circumstances I guess :) |
| 2021-08-05 07:26:11 | <dminuoso> | In some sense this is a good thing. Consider what happens when the OOM killer has rampaged through your system |
| 2021-08-05 07:26:13 | <tomsmeding> | wouldn't be right for ghc |
| 2021-08-05 07:26:16 | <dminuoso> | In general you cant know the state of your system anymore |
| 2021-08-05 07:26:19 | <tomsmeding> | true |
| 2021-08-05 07:26:30 | <tomsmeding> | the design has significant downsides :p |
| 2021-08-05 07:26:57 | <tomsmeding> | programmers have to handle less error conditions, and the devops get more |
| 2021-08-05 07:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-05 07:30:15 | × | dextaa quits (~DV@aftr-37-201-214-197.unity-media.net) (Read error: Connection reset by peer) |
| 2021-08-05 07:30:54 | → | dextaa joins (~DV@aftr-37-201-214-197.unity-media.net) |
| 2021-08-05 07:31:59 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-05 07:32:13 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-05 07:35:58 | → | MoC joins (~moc@user/moc) |
| 2021-08-05 07:42:01 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-05 07:42:24 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-05 07:43:40 | → | kuribas joins (~user@ptr-25vy0i8nm8p7ix7m4oi.18120a2.ip6.access.telenet.be) |
| 2021-08-05 07:44:48 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 2021-08-05 07:45:36 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 272 seconds) |
| 2021-08-05 07:48:56 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-05 07:49:04 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-05 07:50:37 | → | aman joins (~aman@user/aman) |
| 2021-08-05 07:50:51 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9506b4fcf3b689739a9c.dip0.t-ipconnect.de) |
| 2021-08-05 07:51:08 | × | ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection) |
| 2021-08-05 07:55:49 | → | ozzymcduff joins (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-05 07:57:20 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9506b4fcf3b689739a9c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-08-05 08:00:26 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 258 seconds) |
| 2021-08-05 08:01:31 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-05 08:05:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-05 08:06:11 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 258 seconds) |
| 2021-08-05 08:06:23 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-05 08:06:24 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 08:08:17 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-05 08:09:28 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-05 08:09:30 | × | phma quits (phma@2001:5b0:210b:e008:a947:cb40:b68c:f4a9) (Read error: Connection reset by peer) |
| 2021-08-05 08:10:19 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-05 08:10:29 | → | phma joins (phma@2001:5b0:210d:cf58:911f:3237:b853:e162) |
| 2021-08-05 08:10:34 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-05 08:12:58 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-05 08:14:11 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-08-05 08:17:18 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-05 08:17:21 | → | fendor joins (~fendor@91.141.48.200.wireless.dyn.drei.com) |
| 2021-08-05 08:20:22 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds) |
| 2021-08-05 08:29:09 | dragestil | is now known as dragestil-bot |
| 2021-08-05 08:29:57 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-08-05 08:30:13 | dragestil-bot | is now known as dragestil |
| 2021-08-05 08:32:18 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:4433:c8ce:66b8:8b6e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-05 08:32:20 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-05 08:34:19 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-05 08:35:28 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-05 08:37:50 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 252 seconds) |
| 2021-08-05 08:43:12 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 256 seconds) |
| 2021-08-05 08:48:50 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-05 08:55:46 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-05 08:55:59 | × | hiruji quits (~hiruji@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-05 08:56:25 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-05 09:02:18 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 240 seconds) |
| 2021-08-05 09:03:06 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-05 09:05:01 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-05 09:05:15 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-05 09:08:36 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-08-05 09:11:52 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-05 09:12:02 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-05 09:16:57 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-05 09:18:42 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-08-05 09:19:01 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 258 seconds) |
| 2021-08-05 09:20:46 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-05 09:23:46 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-08-05 09:28:45 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-05 09:28:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-08-05 09:28:59 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-05 09:30:31 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:fb27:cb05:95c7:8c03) (Ping timeout: 258 seconds) |
| 2021-08-05 09:30:37 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-05 09:33:25 | × | slavaqq quits (~slavaqq@sdmail.sdserver.cz) (Quit: Client closed) |
| 2021-08-05 09:36:28 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-05 09:39:20 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 258 seconds) |
| 2021-08-05 09:40:28 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 250 seconds) |
| 2021-08-05 09:42:11 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-05 09:43:19 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-05 09:44:07 | × | reumeth quits (~reumeth@user/reumeth) (Quit: reumeth) |
| 2021-08-05 09:44:31 | <mastarija> | Can someone help me understand why Haskell thinks this piece of code is ambiguous, unless I add type application e.g. (nonempty @m)? |
| 2021-08-05 09:44:33 | <mastarija> | https://github.com/mastarija/valor/blob/new/lib/Data/Valor.hs#L139 |
| 2021-08-05 09:45:09 | <mastarija> | Here's the error I get: |
| 2021-08-05 09:45:11 | <mastarija> | https://paste.tomsmeding.com/mgscfQUy |
| 2021-08-05 09:46:35 | <mastarija> | I mean, I'd expect Haskell to understand that those two are the same "m", as there are no other instances of Check type class |
| 2021-08-05 09:46:37 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
All times are in UTC.