Logs: liberachat/#haskell
| 2021-06-27 19:56:21 | <monochrom> | I can do this in Haskell if you allow me to s/Int/int/ >:) |
| 2021-06-27 19:56:37 | <mjrosenb> | lol. |
| 2021-06-27 19:57:15 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 272 seconds) |
| 2021-06-27 19:57:22 | ← | safinaskar parts (~safinaska@109.252.90.89) () |
| 2021-06-27 19:57:33 | × | a6a45081-2b83 quits (~aditya@122.163.205.132) (Remote host closed the connection) |
| 2021-06-27 19:58:49 | × | MorrowM quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-06-27 19:58:52 | <dminuoso> | boxscape: The context is that Rich proposes using maps for many things. This comes from reasoning that "often you need some subset of values of some type", another time you need another subset of values.. |
| 2021-06-27 19:59:06 | <dminuoso> | Then you might want to compose some subset of this type and then some subset of that type |
| 2021-06-27 19:59:13 | → | MorrowM joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-27 20:00:24 | × | xsperry quits (~as@user/xsperry) (Ping timeout: 272 seconds) |
| 2021-06-27 20:00:42 | <dminuoso> | boxscape: and sorry, I made an incorrect statement here in: "dynamic type systems are inherently nominal" |
| 2021-06-27 20:00:43 | <boxscape> | I see |
| 2021-06-27 20:00:51 | <dminuoso> | My kid was crying in the background, and I got distracted. |
| 2021-06-27 20:00:53 | <boxscape> | okay |
| 2021-06-27 20:00:58 | <boxscape> | haha no worries |
| 2021-06-27 20:01:31 | <boxscape> | (I hope they're okay) |
| 2021-06-27 20:02:06 | <dminuoso> | Sure, its just teething |
| 2021-06-27 20:02:46 | <boxscape> | okay, good |
| 2021-06-27 20:03:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-27 20:04:34 | → | superbil joins (~superbil@1-34-176-171.HINET-IP.hinet.net) |
| 2021-06-27 20:04:37 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 258 seconds) |
| 2021-06-27 20:09:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-27 20:10:17 | <boxscape> | @tell safinaskar: Re: polymorphic bindings in do notation, you don't actually need the Id newtype we had, this works: https://paste.tomsmeding.com/4m8w6cuk |
| 2021-06-27 20:10:17 | <lambdabot> | Consider it noted. |
| 2021-06-27 20:10:59 | <boxscape> | wait, did I tell lambdabot to tell this to "safinaskar:" with a colon? |
| 2021-06-27 20:11:11 | <dminuoso> | boxscape: mmm, I wonder, couldnt you just mix do-notation with lambda style? |
| 2021-06-27 20:11:21 | <dminuoso> | might look odd, but it shouldnt be a problem |
| 2021-06-27 20:11:57 | <boxscape> | I suppose so, yeah |
| 2021-06-27 20:11:58 | <boxscape> | you mean to get around the bug? |
| 2021-06-27 20:13:11 | <dminuoso> | https://gist.github.com/dminuoso/ab50177469e73aee70b7dbf1e52603d9 |
| 2021-06-27 20:13:11 | <boxscape> | @tell safinaskar Re: polymorphic bindings in do notation, you don't actually need the Id newtype we had, this works: https://paste.tomsmeding.com/4m8w6cuk |
| 2021-06-27 20:13:11 | <lambdabot> | Consider it noted. |
| 2021-06-27 20:13:12 | <dminuoso> | Yeah |
| 2021-06-27 20:13:16 | <dminuoso> | boxscape: ^- this works |
| 2021-06-27 20:13:40 | <dminuoso> | Oh my, this I have to keep in my bag of tricks. |
| 2021-06-27 20:13:42 | <boxscape> | yeah, that's not too bad |
| 2021-06-27 20:13:48 | × | fendor quits (~fendor@178.165.168.249.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-06-27 20:13:48 | <boxscape> | actually surprised that's not an indentation error |
| 2021-06-27 20:13:56 | <dminuoso> | why should it? |
| 2021-06-27 20:14:01 | <dminuoso> | do-expressions are just expressions. |
| 2021-06-27 20:14:23 | <dminuoso> | and regarding indention, I have no clue how indention rules even work in haskell |
| 2021-06-27 20:14:38 | <boxscape> | I would have expected ghc to read s <- getLine as part of the previous do-notation but I guess not |
| 2021-06-27 20:14:43 | <boxscape> | (well, it is part of it) |
| 2021-06-27 20:14:44 | <dminuoso> | I only write haskell for a living, dont ask me what GHC even considers as valid input |
| 2021-06-27 20:14:50 | <boxscape> | hehe |
| 2021-06-27 20:15:06 | <geekosaur> | looks like NondecreasingIndentation at work to me |
| 2021-06-27 20:15:12 | <boxscape> | ah |
| 2021-06-27 20:16:33 | <dminuoso> | if null args then return [] else do |
| 2021-06-27 20:16:51 | <dminuoso> | Interesting! Early-return, I had not seen this trick before. |
| 2021-06-27 20:17:05 | <dminuoso> | I've had two or three cases where I wanted this |
| 2021-06-27 20:17:30 | <dminuoso> | geekosaur: Thanks! |
| 2021-06-27 20:24:06 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-06-27 20:28:44 | → | acidjnk joins (~acidjnk@p200300d0c72b954690af9c130fd8a450.dip0.t-ipconnect.de) |
| 2021-06-27 20:29:03 | → | fendor joins (~fendor@178.165.168.249.wireless.dyn.drei.com) |
| 2021-06-27 20:29:21 | × | dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 268 seconds) |
| 2021-06-27 20:34:21 | → | glider joins (~glider@user/glider) |
| 2021-06-27 20:40:10 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-27 20:40:29 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-27 20:42:05 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-27 20:43:18 | × | Guest33 quits (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-27 20:44:40 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-06-27 20:45:55 | → | bilegeek joins (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) |
| 2021-06-27 20:46:28 | × | fendor_ quits (~fendor@178.165.168.249.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-27 20:47:35 | → | fendor_ joins (~fendor@178.165.168.249.wireless.dyn.drei.com) |
| 2021-06-27 20:50:21 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 265 seconds) |
| 2021-06-27 20:51:30 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-6-22.prtc.net) |
| 2021-06-27 20:56:31 | × | sleym quits (~sleym@23.81.181.4) (Quit: sleym) |
| 2021-06-27 20:58:50 | × | nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2021-06-27 21:02:53 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 258 seconds) |
| 2021-06-27 21:03:24 | × | fendor quits (~fendor@178.165.168.249.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-06-27 21:04:18 | → | nckx joins (~nckx@tobias.gr) |
| 2021-06-27 21:12:45 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-06-27 21:14:59 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-06-27 21:15:09 | → | Deide1 joins (~Deide@wire.desu.ga) |
| 2021-06-27 21:16:24 | × | Deide quits (~Deide@user/deide) (Ping timeout: 272 seconds) |
| 2021-06-27 21:18:30 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-27 21:18:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-27 21:19:09 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-06-27 21:20:35 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-27 21:22:22 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-06-27 21:24:38 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-06-27 21:29:32 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-27 21:30:37 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-27 21:30:42 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-6-22.prtc.net) (Quit: Client closed) |
| 2021-06-27 21:35:57 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-06-27 21:36:45 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-27 21:38:55 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 258 seconds) |
| 2021-06-27 21:39:11 | → | jneira_ joins (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) |
| 2021-06-27 21:41:30 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 268 seconds) |
| 2021-06-27 21:46:49 | × | fendor_ quits (~fendor@178.165.168.249.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-27 21:47:35 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-27 21:50:15 | <elvishjerricco> | When a haskell process is killed by SIGTERM, what is its exit status? (Assuming the haskell code makes no effort to handle exceptions/signals/etc.) |
| 2021-06-27 21:51:20 | <geekosaur> | signals are reported separately from exit statuses |
| 2021-06-27 21:51:29 | <geekosaur> | so it'll show signal 15 |
| 2021-06-27 21:53:46 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-06-27 21:53:48 | <elvishjerricco> | geekosaur: Right, but I'm interested in the exit status. I was playing with some systemd stuff and decided to use a dummy haskell program (loop on threadDelay) to test some stuff. When I asked systemd to stop the service, it got reported as failed due to exit status |
| 2021-06-27 21:54:00 | <elvishjerricco> | I was just wondering if that's because SIGTERM caused the program to exit non-zero |
| 2021-06-27 21:54:14 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-27 21:54:15 | <elvishjerricco> | or if some other part of my system jankery is messed up |
| 2021-06-27 21:54:20 | <elvishjerricco> | systemd* |
All times are in UTC.