2022-03-03 00:00:27 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-03 00:00:41 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-03-03 00:00:41 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 00:03:10 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-03 00:04:05 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
2022-03-03 00:12:44 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 00:13:20 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection) |
2022-03-03 00:13:21 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 00:16:25 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
2022-03-03 00:17:00 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
2022-03-03 00:17:00 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
2022-03-03 00:17:03 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2022-03-03 00:17:03 +0100 | alx741 | (~alx741@157.100.197.240) |
2022-03-03 00:17:18 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) |
2022-03-03 00:19:33 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-03 00:20:29 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 00:20:35 +0100 | yauhsien_ | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
2022-03-03 00:28:14 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 00:28:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 00:28:58 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
2022-03-03 00:29:03 +0100 | <romesrf> | hello :) |
2022-03-03 00:29:09 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat) |
2022-03-03 00:29:26 +0100 | <romesrf> | (\case (Left e, l) -> second (l <>); (Right x, l) -> const (Right x, l)) <$> x' r <*> y r |
2022-03-03 00:29:36 +0100 | <romesrf> | if x' r is Right, will y r be run? |
2022-03-03 00:30:29 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 00:30:43 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 00:30:59 +0100 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
2022-03-03 00:31:23 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-03 00:31:36 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
2022-03-03 00:32:41 +0100 | <Axman6> | yes |
2022-03-03 00:33:24 +0100 | <Axman6> | if you only want to run y r after you know that x' r is Left or Right, you need to use something monadic |
2022-03-03 00:33:32 +0100 | <romesrf> | I see! :) |
2022-03-03 00:33:52 +0100 | <romesrf> | I was wondering why Applicative ExceptT m required Monad m |
2022-03-03 00:34:00 +0100 | <Axman6> | the key difference between applicative and monad is that monads can make executions decisions based on the returned value |
2022-03-03 00:34:22 +0100 | <romesrf> | Axman6: that's some nice insight, thank you |
2022-03-03 00:34:28 +0100 | <Axman6> | :t (<*>> |
2022-03-03 00:34:30 +0100 | <lambdabot> | error: |
2022-03-03 00:34:30 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2022-03-03 00:34:32 +0100 | <Axman6> | :t (<*>) |
2022-03-03 00:34:33 +0100 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
2022-03-03 00:34:35 +0100 | <Axman6> | :t (=<<) |
2022-03-03 00:34:37 +0100 | <lambdabot> | Monad m => (a -> m b) -> m a -> m b |
2022-03-03 00:35:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2022-03-03 00:37:06 +0100 | <jackdk> | romesrf, Axman6: A great demonstration is trying to write `condA :: Applicative f => f Bool -> f a -> f a -> f a` and `condM :: Monad m => m Bool -> m a -> m a -> m a`. Then compare `condA (Just True) (Just 3) Nothing` with `condM (Just True) (Just 3) Nothing` |
2022-03-03 00:38:40 +0100 | alx741 | (~alx741@157.100.197.240) |
2022-03-03 00:38:53 +0100 | <romesrf> | jackdk: :) I'll try it out |
2022-03-03 00:40:30 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 00:41:00 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat) |
2022-03-03 00:41:13 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-03 00:43:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
2022-03-03 00:43:47 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 00:45:57 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-03 00:46:06 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 00:47:23 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-03 00:47:25 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) |
2022-03-03 00:48:06 +0100 | takenbrandi | (~brandi@104.220.20.37) |
2022-03-03 00:53:32 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 00:54:15 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-03 00:56:15 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-03-03 00:56:35 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-03 00:57:00 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
2022-03-03 00:58:36 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2022-03-03 01:00:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
2022-03-03 01:00:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2022-03-03 01:01:11 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
2022-03-03 01:03:02 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-03 01:04:11 +0100 | alx741 | (~alx741@181.199.42.143) |
2022-03-03 01:05:31 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 01:06:05 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Client Quit) |
2022-03-03 01:07:44 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
2022-03-03 01:07:56 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
2022-03-03 01:09:38 +0100 | yauhsien | (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) |
2022-03-03 01:19:22 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:8d0:f5fa:6344:b56a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-03 01:23:19 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-03 01:23:34 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
2022-03-03 01:24:00 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
2022-03-03 01:24:20 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-03 01:24:26 +0100 | alx741 | (~alx741@157.100.197.240) |
2022-03-03 01:27:53 +0100 | [_] | [itchyjunk] |
2022-03-03 01:28:45 +0100 | dextaa9 | (~DV@user/dextaa) |
2022-03-03 01:29:29 +0100 | dextaa | (~DV@user/dextaa) (Ping timeout: 250 seconds) |
2022-03-03 01:29:29 +0100 | dextaa9 | dextaa |
2022-03-03 01:30:14 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
2022-03-03 01:30:31 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
2022-03-03 01:31:48 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 01:36:35 +0100 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2022-03-03 01:37:44 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-03-03 01:38:50 +0100 | Batzy | (~quassel@user/batzy) |
2022-03-03 01:39:23 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-03 01:40:57 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2022-03-03 01:41:54 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
2022-03-03 01:42:02 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) (Ping timeout: 256 seconds) |
2022-03-03 01:42:08 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
2022-03-03 01:42:18 +0100 | takenbrandi | (~brandi@104.220.20.37) (Ping timeout: 250 seconds) |
2022-03-03 01:43:46 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 260 seconds) |
2022-03-03 01:46:37 +0100 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
2022-03-03 01:46:53 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) |
2022-03-03 01:47:20 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 01:48:03 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-03 01:49:07 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-03 01:49:44 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-03 01:49:54 +0100 | alx741 | (~alx741@157.100.197.240) |
2022-03-03 01:50:11 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-03 01:52:47 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2022-03-03 01:53:33 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 01:55:35 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 01:56:45 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-03 01:57:48 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 240 seconds) |
2022-03-03 02:00:06 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
2022-03-03 02:00:09 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) (Ping timeout: 256 seconds) |
2022-03-03 02:02:12 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
2022-03-03 02:02:20 +0100 | komikat | (~komikat@59.89.164.147) |
2022-03-03 02:04:11 +0100 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
2022-03-03 02:06:52 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
2022-03-03 02:06:57 +0100 | komikat | (~komikat@59.89.164.147) (Ping timeout: 256 seconds) |
2022-03-03 02:07:40 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-03 02:09:53 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
2022-03-03 02:10:28 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
2022-03-03 02:11:01 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2022-03-03 02:11:31 +0100 | alx741 | (~alx741@157.100.197.240) |
2022-03-03 02:12:09 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds) |
2022-03-03 02:13:40 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 272 seconds) |
2022-03-03 02:13:41 +0100 | yauhsien | (~yauhsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
2022-03-03 02:14:38 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 02:17:08 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2022-03-03 02:18:44 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
2022-03-03 02:19:04 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
2022-03-03 02:20:17 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-37-5.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-03 02:21:36 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 245 seconds) |
2022-03-03 02:24:03 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-03 02:26:13 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
2022-03-03 02:27:49 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-03 02:28:49 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-03 02:30:57 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
2022-03-03 02:31:32 +0100 | alx741 | (~alx741@157.100.197.240) |
2022-03-03 02:32:35 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) |
2022-03-03 02:32:38 +0100 | slack1256 | (~slack1256@45.4.2.52) (Remote host closed the connection) |
2022-03-03 02:33:33 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-03-03 02:33:43 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-03 02:34:03 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-03 02:35:40 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection) |
2022-03-03 02:36:16 +0100 | vysn | (~vysn@user/vysn) |
2022-03-03 02:36:59 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) (Ping timeout: 256 seconds) |
2022-03-03 02:38:57 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 02:40:06 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-03 02:41:51 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
2022-03-03 02:52:36 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
2022-03-03 02:56:57 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 03:00:47 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 03:01:21 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 03:01:38 +0100 | <lechner> | Hi, what is the easiest way to get the cabal files for https://hackage.haskell.org/package/equivalence-0.1 please? |
2022-03-03 03:01:44 +0100 | <lechner> | file |
2022-03-03 03:02:04 +0100 | <lechner> | https://hackage.haskell.org/package/equivalence-0.1/equivalence.cabalhttps://hackage.haskell.org/p… |
2022-03-03 03:02:09 +0100 | <geekosaur> | It's the "Package description" link |
2022-03-03 03:02:28 +0100 | <lechner> | yeah, i just saw it. thanks! |
2022-03-03 03:03:04 +0100 | <geekosaur> | note that this will miss any revisions; if there are any you'll have to follow that linkand the revision number will be a hotlinkto the revised cabal file |
2022-03-03 03:03:35 +0100 | <lechner> | that's what they meant by "original |
2022-03-03 03:04:02 +0100 | <lechner> | how do the revisions take place, please? metatdata? |
2022-03-03 03:04:27 +0100 | <lechner> | i see it |
2022-03-03 03:04:33 +0100 | <lechner> | https://hackage.haskell.org/package/equivalence-0.3.5/revisions/https://hackage.haskell.org/packag… |
2022-03-03 03:04:41 +0100 | <geekosaur> | yeh |
2022-03-03 03:05:15 +0100 | <lechner> | that caused a hiccup in debian's machine |
2022-03-03 03:05:22 +0100 | <geekosaur> | there's a link for trustees and other authorized people to loosen package restrictions in the case where a package update isn't actually needed |
2022-03-03 03:05:44 +0100 | <lechner> | and that edit was from sep 19 |
2022-03-03 03:05:53 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds) |
2022-03-03 03:06:46 +0100 | <lechner> | but here they tightened for mtl? |
2022-03-03 03:06:49 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2022-03-03 03:07:22 +0100 | <lechner> | actually, the edit was from feb 22 |
2022-03-03 03:08:21 +0100 | vicfred | (~vicfred@user/vicfred) |
2022-03-03 03:11:11 +0100 | <sclv> | https://github.com/pa-ba/equivalence/commit/a939a65f550cce63d0afb690e385149d6baedd00 |
2022-03-03 03:12:50 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
2022-03-03 03:12:50 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
2022-03-03 03:12:50 +0100 | wroathe | (~wroathe@user/wroathe) |
2022-03-03 03:13:06 +0100 | <sclv> | it could be this was a mistaken revision. You could contact andres to ask |
2022-03-03 03:13:11 +0100 | <lechner> | geekosaur: in the equivalence case, the "Package description" link pointed to the latests cabal revision (mtl >= 2.2.1) |
2022-03-03 03:13:23 +0100 | cynomys | (~cynomys@user/cynomys) |
2022-03-03 03:13:39 +0100 | <lechner> | sclv: i am too new |
2022-03-03 03:14:08 +0100 | <sclv> | yes the description link should point to latesr |
2022-03-03 03:15:56 +0100 | <lechner> | thanks! |
2022-03-03 03:18:25 +0100 | alx741 | (~alx741@157.100.197.240) |
2022-03-03 03:21:25 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
2022-03-03 03:23:43 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.1) |
2022-03-03 03:24:06 +0100 | AlexZenon | (~alzenon@178.34.163.8) (Ping timeout: 268 seconds) |
2022-03-03 03:24:06 +0100 | Alex_test | (~al_test@178.34.163.8) (Ping timeout: 268 seconds) |
2022-03-03 03:25:27 +0100 | AlexNoo | (~AlexNoo@178.34.163.8) (Ping timeout: 256 seconds) |
2022-03-03 03:26:54 +0100 | sprout_ | (~quassel@2a02:a467:ccd6:1:84ab:e3a9:1ea3:da7a) (Ping timeout: 260 seconds) |
2022-03-03 03:27:33 +0100 | Alex_test | (~al_test@178.34.161.1) |
2022-03-03 03:27:34 +0100 | AlexZenon | (~alzenon@178.34.161.1) |
2022-03-03 03:28:07 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
2022-03-03 03:29:35 +0100 | sprout | (~quassel@2a02:a467:ccd6:1:84ab:e3a9:1ea3:da7a) |
2022-03-03 03:32:36 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 240 seconds) |
2022-03-03 03:34:28 +0100 | joo-_ | (~joo-_@87-49-44-190-mobile.dk.customer.tdc.net) |
2022-03-03 03:34:28 +0100 | joo-_ | (~joo-_@87-49-44-190-mobile.dk.customer.tdc.net) (Changing host) |
2022-03-03 03:34:28 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
2022-03-03 03:36:04 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
2022-03-03 03:36:04 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-03 03:39:57 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 03:40:12 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Ping timeout: 240 seconds) |
2022-03-03 03:41:46 +0100 | justAstache | (~justache@user/justache) (Read error: Connection reset by peer) |
2022-03-03 03:42:44 +0100 | justAstache | (~justache@user/justache) |
2022-03-03 03:42:49 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 03:43:20 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 03:43:32 +0100 | notzmv | (~zmv@user/notzmv) |
2022-03-03 03:46:40 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
2022-03-03 03:49:41 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 03:50:34 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 03:52:02 +0100 | neurocyte0917090 | (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
2022-03-03 03:53:18 +0100 | khole | (~khole@217.146.83.196) |
2022-03-03 03:55:26 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) |
2022-03-03 03:57:00 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 03:57:34 +0100 | yauhsien_ | (~Yau-Hsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 03:57:53 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 03:58:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 04:00:32 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2022-03-03 04:01:37 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-03 04:03:08 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 250 seconds) |
2022-03-03 04:06:00 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-03-03 04:06:37 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Remote host closed the connection) |
2022-03-03 04:08:16 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
2022-03-03 04:08:37 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 04:09:54 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2022-03-03 04:09:54 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2022-03-03 04:09:54 +0100 | finn_elija | FinnElija |
2022-03-03 04:11:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 04:12:16 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-03-03 04:12:48 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 04:13:04 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-03 04:14:12 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
2022-03-03 04:14:40 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
2022-03-03 04:14:45 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-03 04:15:30 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-03 04:17:49 +0100 | td_ | (~td@94.134.91.171) (Ping timeout: 240 seconds) |
2022-03-03 04:19:42 +0100 | td_ | (~td@94.134.91.95) |
2022-03-03 04:20:20 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 272 seconds) |
2022-03-03 04:25:44 +0100 | khole | (~khole@217.146.83.196) (Quit: Leaving) |
2022-03-03 04:27:41 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 04:29:35 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-03-03 04:29:47 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 04:30:52 +0100 | agumonke` | (~user@88.163.231.79) (Read error: Connection reset by peer) |
2022-03-03 04:32:33 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 04:33:11 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 04:33:16 +0100 | mbuf | (~Shakthi@223.178.126.53) |
2022-03-03 04:33:35 +0100 | agumonke` | (~user@88.163.231.79) |
2022-03-03 04:34:05 +0100 | img | (~img@user/img) |
2022-03-03 04:36:16 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 04:38:46 +0100 | takenbrandi | (~brandi@104.220.20.37) |
2022-03-03 04:43:16 +0100 | terrorjack | (~terrorjac@static.3.200.12.49.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
2022-03-03 04:44:29 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
2022-03-03 04:48:54 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
2022-03-03 04:49:22 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) |
2022-03-03 04:53:26 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 04:54:36 +0100 | burnsidesLlama | (~burnsides@rrcs-76-81-82-250.west.biz.rr.com) (Ping timeout: 240 seconds) |
2022-03-03 04:57:08 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 04:58:22 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
2022-03-03 05:00:04 +0100 | <albet70> | what's the fastest way to check if a list is ordered? a int list |
2022-03-03 05:01:07 +0100 | <albet70> | [1,2,3] is ordered, [1,3,2] isn't |
2022-03-03 05:01:38 +0100 | <dsal> | all + zipWith I think. |
2022-03-03 05:01:44 +0100 | <Axman6> | :t all (uncurry (<=)) . ap zip tail |
2022-03-03 05:01:45 +0100 | <lambdabot> | Ord a => [a] -> Bool |
2022-03-03 05:01:55 +0100 | <Axman6> | > all (uncurry (<=)) . ap zip tail $ [1..10] |
2022-03-03 05:01:57 +0100 | <lambdabot> | True |
2022-03-03 05:02:02 +0100 | <Axman6> | > all (uncurry (<=)) . ap zip tail $ [1..10] ++ [10] |
2022-03-03 05:02:04 +0100 | <lambdabot> | True |
2022-03-03 05:02:06 +0100 | <Axman6> | > all (uncurry (<=)) . ap zip tail $ [1..10] ++ [9] |
2022-03-03 05:02:08 +0100 | <lambdabot> | False |
2022-03-03 05:02:29 +0100 | <Axman6> | @quote zip`ap`tail |
2022-03-03 05:02:29 +0100 | <lambdabot> | quicksilver says: zip`ap`tail the aztec god of consecutive numbers |
2022-03-03 05:02:39 +0100 | <albet70> | zipWit seems good |
2022-03-03 05:02:44 +0100 | <albet70> | zipWith |
2022-03-03 05:03:49 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
2022-03-03 05:04:49 +0100 | <albet70> | tail then zipWith |
2022-03-03 05:04:51 +0100 | <Axman6> | > and . ap (zipWith (<=) tail $ [1..10] ++ [9] |
2022-03-03 05:04:52 +0100 | <lambdabot> | <hint>:1:45: error: |
2022-03-03 05:04:52 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2022-03-03 05:04:59 +0100 | <Axman6> | > and . ap (zipWith (<=)) tail $ [1..10] ++ [9] |
2022-03-03 05:05:00 +0100 | <lambdabot> | False |
2022-03-03 05:05:43 +0100 | <dsal> | haha. I was off doing that with lambdabot. |
2022-03-03 05:05:49 +0100 | <dsal> | > let ordered = and . ap (zipWith (<=)) tail in ordered [1, 2, 3] |
2022-03-03 05:05:51 +0100 | <lambdabot> | True |
2022-03-03 05:12:40 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
2022-03-03 05:13:10 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
2022-03-03 05:14:51 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 05:18:33 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 05:19:34 +0100 | <albet70> | what's <=? |
2022-03-03 05:19:45 +0100 | <albet70> | new symbol? |
2022-03-03 05:19:57 +0100 | <albet70> | less than... |
2022-03-03 05:21:56 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
2022-03-03 05:22:05 +0100 | <jackdk> | less than or equal to |
2022-03-03 05:26:59 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 256 seconds) |
2022-03-03 05:28:24 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 05:28:40 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2022-03-03 05:30:58 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 05:31:43 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 05:34:51 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 05:36:36 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-03 05:38:36 +0100 | takenbrandi | (~brandi@104.220.20.37) (Ping timeout: 240 seconds) |
2022-03-03 05:38:36 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 05:39:14 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 05:40:15 +0100 | coot | (~coot@213.134.190.95) |
2022-03-03 05:42:29 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 05:43:08 +0100 | Inst | (~delicacie@2601:6c4:4080:3f80:98c2:4d87:1b3a:6400) |
2022-03-03 05:48:56 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.14) |
2022-03-03 05:48:56 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 05:49:39 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-03 05:51:31 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
2022-03-03 05:51:47 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 05:54:05 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.14) (Ping timeout: 272 seconds) |
2022-03-03 06:00:49 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 06:00:57 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
2022-03-03 06:01:38 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.14) |
2022-03-03 06:04:31 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 06:04:55 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-03-03 06:05:29 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
2022-03-03 06:11:27 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-03-03 06:13:43 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
2022-03-03 06:17:27 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 06:18:10 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 06:20:18 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 06:21:16 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 06:22:51 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 256 seconds) |
2022-03-03 06:23:10 +0100 | komikat | (~komikat@59.89.164.147) |
2022-03-03 06:24:03 +0100 | komikat | (~komikat@59.89.164.147) (Remote host closed the connection) |
2022-03-03 06:24:40 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:125:fce3:168e:466a) |
2022-03-03 06:24:40 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 06:24:42 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2022-03-03 06:25:07 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-03-03 06:25:13 +0100 | once_upon_a_pota | (~once_upon@69.160.29.23) |
2022-03-03 06:35:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 06:39:42 +0100 | mason0 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (EOF)) |
2022-03-03 06:41:19 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 06:42:38 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
2022-03-03 06:42:40 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 06:45:34 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2022-03-03 06:46:25 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-03 06:46:57 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 06:50:17 +0100 | once_upon_a_pota | (~once_upon@69.160.29.23) (Ping timeout: 256 seconds) |
2022-03-03 06:51:36 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
2022-03-03 06:52:13 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
2022-03-03 06:52:43 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2022-03-03 06:53:34 +0100 | <Axman6> | albet70: there's an alternative function which also meets your specification: isORdered [1,2,3] = True; isOrdered [1,3,2] = False; isOrdered error $ "Unspecified ordering: " <> show xs :) |
2022-03-03 06:54:18 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
2022-03-03 06:54:36 +0100 | Inst | (~delicacie@2601:6c4:4080:3f80:98c2:4d87:1b3a:6400) (Ping timeout: 240 seconds) |
2022-03-03 06:55:18 +0100 | Everything | (~Everythin@37.115.210.35) |
2022-03-03 06:56:09 +0100 | agumonke` | (~user@88.163.231.79) (Ping timeout: 272 seconds) |
2022-03-03 06:57:21 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-03-03 06:59:34 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-03-03 07:01:37 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
2022-03-03 07:02:57 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
2022-03-03 07:03:00 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.14) (Ping timeout: 240 seconds) |
2022-03-03 07:03:05 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
2022-03-03 07:03:13 +0100 | emf | (~emf@2620:10d:c090:400::5:b81) (Quit: emf) |
2022-03-03 07:04:06 +0100 | emf | (~emf@2620:10d:c090:400::5:b81) |
2022-03-03 07:04:11 +0100 | tomku | (~tomku@user/tomku) |
2022-03-03 07:05:06 +0100 | emf | (~emf@2620:10d:c090:400::5:b81) (Client Quit) |
2022-03-03 07:05:11 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 07:05:23 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-03-03 07:06:12 +0100 | emf | (~emf@2620:10d:c090:400::5:b81) |
2022-03-03 07:06:39 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
2022-03-03 07:06:59 +0100 | emf | (~emf@2620:10d:c090:400::5:b81) (Client Quit) |
2022-03-03 07:08:22 +0100 | emf | (~emf@2620:10d:c090:400::5:b81) |
2022-03-03 07:09:01 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 07:09:25 +0100 | agumonke` | (~user@37.175.253.29) |
2022-03-03 07:09:34 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 07:16:39 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
2022-03-03 07:20:03 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
2022-03-03 07:20:45 +0100 | retroid_ | (~retro@2e40edd9.skybroadband.com) (Quit: Connection error?!) |
2022-03-03 07:21:10 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 07:23:15 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 07:23:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Read error: Connection reset by peer) |
2022-03-03 07:23:32 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 07:25:19 +0100 | retroid_ | (~retro@2e40edd9.skybroadband.com) |
2022-03-03 07:27:01 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
2022-03-03 07:27:21 +0100 | <Axman6> | (Also known as the unit test method of TDD) |
2022-03-03 07:28:06 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-03-03 07:29:16 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
2022-03-03 07:29:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2022-03-03 07:30:41 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
2022-03-03 07:33:28 +0100 | tomku | (~tomku@user/tomku) |
2022-03-03 07:34:49 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
2022-03-03 07:38:52 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 07:41:07 +0100 | alp_ | (~alp@user/alp) |
2022-03-03 07:41:42 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2022-03-03 07:46:17 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 07:47:13 +0100 | fef | (~thedawn@user/thedawn) |
2022-03-03 07:50:05 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2022-03-03 07:55:09 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2022-03-03 07:56:20 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-03-03 07:56:44 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-03-03 07:59:51 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Read error: Connection reset by peer) |
2022-03-03 08:00:33 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2022-03-03 08:01:02 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
2022-03-03 08:04:35 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 08:05:20 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
2022-03-03 08:07:15 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2022-03-03 08:10:52 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 08:10:53 +0100 | alp_ | (~alp@user/alp) (Ping timeout: 272 seconds) |
2022-03-03 08:12:32 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2022-03-03 08:15:51 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 08:15:51 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 08:16:57 +0100 | <albet70> | > all (== True) $ fmap (\x -> (fst x) >= (snd x)) $ zip (tail [1..6]) [1..6] |
2022-03-03 08:16:58 +0100 | <lambdabot> | True |
2022-03-03 08:17:08 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-03-03 08:17:30 +0100 | Natch | (~natch@c-4db8e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 250 seconds) |
2022-03-03 08:19:15 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2022-03-03 08:24:22 +0100 | <opqdonut> | albet70: consider uncurry (>=) |
2022-03-03 08:24:39 +0100 | <pavonia> | @src and |
2022-03-03 08:24:39 +0100 | <lambdabot> | and = foldr (&&) True |
2022-03-03 08:26:13 +0100 | <albet70> | what's uncurry? |
2022-03-03 08:26:41 +0100 | <opqdonut> | :t uncurry |
2022-03-03 08:26:42 +0100 | <lambdabot> | (a -> b -> c) -> (a, b) -> c |
2022-03-03 08:26:46 +0100 | <opqdonut> | :t uncurry (>=) |
2022-03-03 08:26:47 +0100 | <lambdabot> | Ord a => (a, a) -> Bool |
2022-03-03 08:31:48 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
2022-03-03 08:32:13 +0100 | michalz | (~michalz@185.246.204.75) |
2022-03-03 08:33:38 +0100 | <hololeap> | it just takes a "two argument function" and turns it into a "function that takes a tuple as an argument" |
2022-03-03 08:34:11 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 08:34:21 +0100 | <hololeap> | > (uncurry (+)) (3,4) |
2022-03-03 08:34:22 +0100 | <lambdabot> | 7 |
2022-03-03 08:34:30 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 08:35:26 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 08:35:55 +0100 | <hololeap> | uncurry f = (\x -> (fst x) `f` (snd x)) |
2022-03-03 08:37:56 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 08:38:34 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 08:39:05 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9e51:3601:4227:d1e0) |
2022-03-03 08:41:50 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
2022-03-03 08:44:36 +0100 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
2022-03-03 08:44:36 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 08:45:02 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 08:46:12 +0100 | raym | (~raym@user/raym) |
2022-03-03 08:54:01 +0100 | marquis_andras | (~marquis_a@61.69.224.60) |
2022-03-03 08:56:57 +0100 | agumonke` | (~user@37.175.253.29) (Ping timeout: 256 seconds) |
2022-03-03 08:59:01 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
2022-03-03 08:59:15 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2022-03-03 09:00:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 09:01:24 +0100 | alp_ | (~alp@user/alp) |
2022-03-03 09:02:34 +0100 | Akiva | (~Akiva@user/Akiva) |
2022-03-03 09:02:51 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 09:04:00 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
2022-03-03 09:06:08 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 09:07:50 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-03 09:10:30 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
2022-03-03 09:11:58 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-03 09:12:10 +0100 | ardell | (~ardell@user/ardell) |
2022-03-03 09:12:24 +0100 | dut | (~dut@user/dut) |
2022-03-03 09:16:09 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-03 09:17:17 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
2022-03-03 09:18:04 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 09:19:21 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-03 09:22:11 +0100 | Guest65 | (~Guest65@156.220.19.33) |
2022-03-03 09:22:21 +0100 | <Guest65> | nop |
2022-03-03 09:22:26 +0100 | <Guest65> | hello |
2022-03-03 09:22:44 +0100 | <Guest65> | what a best book for learn haskell |
2022-03-03 09:22:52 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 09:23:44 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
2022-03-03 09:25:15 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 09:25:16 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2022-03-03 09:25:42 +0100 | Guest65 | (~Guest65@156.220.19.33) (Client Quit) |
2022-03-03 09:27:54 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
2022-03-03 09:30:33 +0100 | chele | (~chele@user/chele) |
2022-03-03 09:34:37 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
2022-03-03 09:38:35 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 09:40:08 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 09:41:09 +0100 | drdo6 | (~drdo@roach0.drdo.eu) (Quit: The Lounge - https://thelounge.chat) |
2022-03-03 09:41:25 +0100 | drdo | (~drdo@roach0.drdo.eu) |
2022-03-03 09:42:10 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 09:42:57 +0100 | Guest23 | (~Guest23@2a03:e581:a::207:64) |
2022-03-03 09:43:35 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 09:44:12 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-03 09:44:12 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
2022-03-03 09:44:22 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 09:45:10 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 09:45:27 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 09:45:48 +0100 | ishutin | (~ishutin@fibhost-66-208-172.fibernet.hu) (Ping timeout: 240 seconds) |
2022-03-03 09:45:51 +0100 | Guest23 | (~Guest23@2a03:e581:a::207:64) (Client Quit) |
2022-03-03 09:48:11 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2022-03-03 09:49:44 +0100 | Natch | (~natch@c83-254-0-119.bredband.tele2.se) |
2022-03-03 09:49:45 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 09:49:48 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-03 09:51:11 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2022-03-03 09:52:07 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:b4ac:6a8f:4bfc:720a) (Remote host closed the connection) |
2022-03-03 09:52:26 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:e1b2:838c:ba67:c714) |
2022-03-03 09:52:46 +0100 | cfricke | (~cfricke@user/cfricke) |
2022-03-03 09:53:10 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:403:7e11:65d2:d468) |
2022-03-03 09:55:01 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 09:59:28 +0100 | emf | (~emf@2620:10d:c090:400::5:b81) (Quit: emf) |
2022-03-03 10:00:41 +0100 | thomasjm[m] | (~thomasjmm@2001:470:69fc:105::c6d9) (Quit: You have been kicked for being idle) |
2022-03-03 10:00:43 +0100 | james[m]123 | (~jamesnina@2001:470:69fc:105::1:4203) (Quit: You have been kicked for being idle) |
2022-03-03 10:00:43 +0100 | Michal[m] | (~oomiguelm@2001:470:69fc:105::1:5ab0) (Quit: You have been kicked for being idle) |
2022-03-03 10:01:07 +0100 | thevishy | (~Nishant@2405:201:f005:c007:b514:75a9:41b7:5c1b) |
2022-03-03 10:03:16 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
2022-03-03 10:03:48 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
2022-03-03 10:06:33 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 10:09:18 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 10:09:29 +0100 | ishutin | (~ishutin@92-249-179-24.pool.digikabel.hu) |
2022-03-03 10:09:57 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 10:11:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 10:13:12 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 10:14:12 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
2022-03-03 10:16:20 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2022-03-03 10:16:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
2022-03-03 10:20:37 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-03 10:20:57 +0100 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) (Ping timeout: 240 seconds) |
2022-03-03 10:21:41 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2022-03-03 10:22:10 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 10:22:47 +0100 | komikat | (~komikat@59.89.164.147) |
2022-03-03 10:23:47 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2022-03-03 10:24:28 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 250 seconds) |
2022-03-03 10:24:53 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 10:25:25 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-03 10:25:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-03 10:25:47 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2022-03-03 10:26:05 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-03 10:26:11 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2022-03-03 10:26:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Read error: Connection reset by peer) |
2022-03-03 10:26:38 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
2022-03-03 10:28:02 +0100 | komikat | (~komikat@59.89.164.147) (Ping timeout: 240 seconds) |
2022-03-03 10:29:32 +0100 | InternetCitizen | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 240 seconds) |
2022-03-03 10:33:02 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 240 seconds) |
2022-03-03 10:34:28 +0100 | thevishy | (~Nishant@2405:201:f005:c007:b514:75a9:41b7:5c1b) (Quit: Leaving) |
2022-03-03 10:34:29 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 10:34:54 +0100 | tv | (~tv@user/tv) |
2022-03-03 10:34:58 +0100 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
2022-03-03 10:36:24 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
2022-03-03 10:36:39 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:61eb:8bdd:4387:81b) |
2022-03-03 10:39:07 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 10:40:06 +0100 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) |
2022-03-03 10:41:26 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 10:41:42 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 10:41:47 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
2022-03-03 10:41:58 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 10:44:27 +0100 | <cc123652345762> | Hello I face a problem using ghci 7.10.3 |
2022-03-03 10:44:37 +0100 | <cc123652345762> | like this |
2022-03-03 10:44:45 +0100 | fendor | (~fendor@178.165.199.29.wireless.dyn.drei.com) |
2022-03-03 10:44:46 +0100 | <cc123652345762> | Prelude> a = 1+1 |
2022-03-03 10:44:54 +0100 | <cc123652345762> | <interactive>:3:3: parse error on input ‘=’ |
2022-03-03 10:45:06 +0100 | <geekosaur> | why are you using such an old version? |
2022-03-03 10:45:20 +0100 | <geekosaur> | 7.10 required you to say `let a=1+1` |
2022-03-03 10:47:03 +0100 | <cc123652345762> | I am going through cis194 and I first start from haskell:9. |
2022-03-03 10:47:28 +0100 | <cc123652345762> | But i found it raise error when I try "a :: Int" |
2022-03-03 10:47:40 +0100 | <geekosaur> | pretty sure you can do cis194 with a more recent ghc, orthey wouldn't have you using things that require 8.x |
2022-03-03 10:47:47 +0100 | <cc123652345762> | so I turn to an old edition... |
2022-03-03 10:47:59 +0100 | <geekosaur> | older version won't work there |
2022-03-03 10:48:17 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-03 10:48:34 +0100 | <cc123652345762> | ok thanks a lot. |
2022-03-03 10:48:39 +0100 | <geekosaur> | if you do it in a file, you can put a declaration and its type signature anywhere in the file. in ghci (any version) they must be on the same line with a semicolon between them, or use :{ :} for multiline input mode |
2022-03-03 10:49:06 +0100 | <geekosaur> | otherwise you get an error "the typesignature lacks an accompanying binding" |
2022-03-03 10:49:13 +0100 | gdd | (~gdd@129.199.146.230) (Ping timeout: 272 seconds) |
2022-03-03 10:49:52 +0100 | <geekosaur> | ghci has gotten smarter over the years but it's still pretty dumb in some ways |
2022-03-03 10:50:22 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-03 10:50:28 +0100 | <cc123652345762> | I just think that 7 is not so old... |
2022-03-03 10:52:25 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 10:52:46 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 10:53:21 +0100 | <geekosaur> | ghc moves pretty quickly. but even so it's some 5-6 years old at this point |
2022-03-03 10:54:00 +0100 | <geekosaur> | I may be misremembvering and it's older. 6.6 was current in 2006 |
2022-03-03 10:55:23 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2022-03-03 10:55:45 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:84ab:7996:1b4c:abb5) |
2022-03-03 10:56:12 +0100 | Natch | (~natch@c83-254-0-119.bredband.tele2.se) (Ping timeout: 240 seconds) |
2022-03-03 10:58:12 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 10:58:12 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2022-03-03 10:58:17 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-03 10:59:33 +0100 | Natch | (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) |
2022-03-03 11:00:38 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 11:03:34 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:03:55 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:05:35 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:05:55 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:07:35 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:07:55 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:09:36 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:09:54 +0100 | themc47 | (~mc47@xmonad/TheMC47) |
2022-03-03 11:09:57 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:10:57 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
2022-03-03 11:11:26 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-03 11:12:25 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 256 seconds) |
2022-03-03 11:12:44 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2022-03-03 11:12:47 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-03-03 11:13:48 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2022-03-03 11:14:41 +0100 | themc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 256 seconds) |
2022-03-03 11:15:54 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
2022-03-03 11:16:28 +0100 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.4) |
2022-03-03 11:17:03 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:61eb:8bdd:4387:81b) (Remote host closed the connection) |
2022-03-03 11:17:24 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:61eb:8bdd:4387:81b) |
2022-03-03 11:18:41 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 11:20:40 +0100 | komikat | (~komikat@157.38.216.244) |
2022-03-03 11:21:01 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 11:21:51 +0100 | MajorBiscuit | (~MajorBisc@c-001-023-033.client.tudelft.eduvpn.nl) |
2022-03-03 11:22:17 +0100 | dut_ | (~dut@user/dut) |
2022-03-03 11:22:56 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) |
2022-03-03 11:23:01 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
2022-03-03 11:23:15 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2022-03-03 11:24:34 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 11:25:59 +0100 | dut | (~dut@user/dut) (Ping timeout: 256 seconds) |
2022-03-03 11:26:55 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.14) |
2022-03-03 11:27:10 +0100 | lavaman | (~lavaman@98.38.249.169) |
2022-03-03 11:27:13 +0100 | dut_ | (~dut@user/dut) (Ping timeout: 272 seconds) |
2022-03-03 11:32:45 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 11:34:32 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:34:51 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:36:56 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2022-03-03 11:38:42 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:39:01 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:39:11 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 11:41:22 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 11:41:25 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Quit: Leaving) |
2022-03-03 11:41:41 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2022-03-03 11:44:29 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2022-03-03 11:47:21 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:47:41 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:48:16 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:84ab:7996:1b4c:abb5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-03 11:49:56 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:50:16 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:54:00 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 11:54:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 11:55:17 +0100 | komikat | (~komikat@157.38.216.244) (Remote host closed the connection) |
2022-03-03 11:55:50 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:84ab:7996:1b4c:abb5) |
2022-03-03 11:56:01 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
2022-03-03 11:56:46 +0100 | notzmv | (~zmv@user/notzmv) |
2022-03-03 11:57:13 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
2022-03-03 11:57:43 +0100 | ardell | (~ardell@user/ardell) (Ping timeout: 256 seconds) |
2022-03-03 11:58:03 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 11:58:50 +0100 | <tomsmeding> | is there a way to get a GHC.TypeNats.KnownNat (n + 1) from a KnownNat n? |
2022-03-03 11:59:32 +0100 | <tomsmeding> | or, to avoid an X-Y problem situation: can I define something inductively over a GHC type-level nat |
2022-03-03 12:00:06 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2022-03-03 12:00:16 +0100 | komikat | (~komikat@117.199.167.81) |
2022-03-03 12:00:16 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 12:01:26 +0100 | <kuribas> | aka why haskell sucks as a DT language. |
2022-03-03 12:01:32 +0100 | <tomsmeding> | :p |
2022-03-03 12:01:40 +0100 | <tomsmeding> | well, it's just the GHC type-level nats |
2022-03-03 12:01:55 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) (Quit: leaving) |
2022-03-03 12:02:03 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-03-03 12:02:06 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:61eb:8bdd:4387:81b) (Ping timeout: 260 seconds) |
2022-03-03 12:02:08 +0100 | <idnar> | tomsmeding: 1) is https://hackage.haskell.org/package/base-4.16.0.0/docs/GHC-TypeNats.html#t:-43- |
2022-03-03 12:02:21 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-03 12:02:37 +0100 | <tomsmeding> | kuribas: data Nat = Z | S Nat ; data NatS n where ZS :: NatS Z ; SS :: NatS n -> NatS (S n) -- now this is perfectly okay to work with |
2022-03-03 12:02:52 +0100 | <tomsmeding> | idnar: that's the + I'm talking about yes |
2022-03-03 12:04:40 +0100 | <tomsmeding> | basically I want this, but then without unsafeCoerce https://paste.tomsmeding.com/EN5lrXvJ |
2022-03-03 12:05:03 +0100 | <kuribas> | tomsmeding: pattern match on KnownNat n ? |
2022-03-03 12:05:09 +0100 | <tomsmeding> | plz tell me how |
2022-03-03 12:05:18 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 12:05:47 +0100 | <tomsmeding> | my first try was seeing if GHC infers KnownNat (n + 1) given KnownNat n, but it doesn't |
2022-03-03 12:05:55 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
2022-03-03 12:05:56 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
2022-03-03 12:07:09 +0100 | <kuribas> | foo :: Proxy (KnownNat n) -> Proxy (KnownNat (n + 1)) ? |
2022-03-03 12:07:36 +0100 | <geekosaur> | I think you have to use a plugin to get inductive definitions without a lot of work proving it to ghc? https://hackage.haskell.org/package/ghc-typelits-knownnat |
2022-03-03 12:07:42 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-03-03 12:08:00 +0100 | <tomsmeding> | kuribas: what would the definition of foo be? |
2022-03-03 12:08:23 +0100 | <kuribas> | foo Proxy = Proxy :) |
2022-03-03 12:08:46 +0100 | <tomsmeding> | way |
2022-03-03 12:08:48 +0100 | <tomsmeding> | *wat |
2022-03-03 12:09:02 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) |
2022-03-03 12:09:08 +0100 | <tomsmeding> | yeah okay but that isn't useful :p |
2022-03-03 12:09:32 +0100 | <tomsmeding> | it doesn't actually let me use KnownNat (n + 1); foo typechecks also as Proxy a -> Proxy (KnownNat n) |
2022-03-03 12:09:51 +0100 | <tomsmeding> | geekosaur: ah, so _that's_ what that plugin is really doing |
2022-03-03 12:09:59 +0100 | <tomsmeding> | why is ghc not doing this by itself |
2022-03-03 12:10:11 +0100 | tomsmeding | will stay with the unsafeCoerce for now |
2022-03-03 12:10:18 +0100 | <geekosaur> | you'd have to ask someone at ghc hq |
2022-03-03 12:10:34 +0100 | <kuribas> | this all just proofs to me haskell sucks as a DT language. |
2022-03-03 12:12:57 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) (Client Quit) |
2022-03-03 12:13:45 +0100 | <tomsmeding> | ah apparently for my usecase I don't actually care that I have a well-formed KnownNat of the result, so I can just remove the unsafeCoerce and work with the Some InductiveNat |
2022-03-03 12:13:50 +0100 | <tomsmeding> | problem avoided :) |
2022-03-03 12:14:16 +0100 | <merijn> | At that point, just delete all uses of Nat, because who cares? :p |
2022-03-03 12:15:07 +0100 | <kuribas> | word |
2022-03-03 12:15:19 +0100 | <geekosaur> | Nat a problem :þ |
2022-03-03 12:15:25 +0100 | <tomsmeding> | then I'd have to rewrite half of my testing code |
2022-03-03 12:15:28 +0100 | <tomsmeding> | I _could_ |
2022-03-03 12:17:33 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
2022-03-03 12:17:48 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
2022-03-03 12:17:58 +0100 | fendor_ | (~fendor@77.119.173.210.wireless.dyn.drei.com) |
2022-03-03 12:18:32 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 12:20:23 +0100 | fendor | (~fendor@178.165.199.29.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
2022-03-03 12:20:49 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:f91c:5353:babe:c5fb) (Remote host closed the connection) |
2022-03-03 12:22:02 +0100 | komikat | (~komikat@117.199.167.81) (Remote host closed the connection) |
2022-03-03 12:22:56 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 12:22:58 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb4d-184.dhcp.inet.fi) |
2022-03-03 12:23:48 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
2022-03-03 12:26:05 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:a4cb:68c9:de1e:1202) |
2022-03-03 12:26:57 +0100 | bliminse | (~bliminse@host109-152-150-162.range109-152.btcentralplus.com) |
2022-03-03 12:29:42 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 12:30:01 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 12:31:41 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 12:31:59 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 12:32:22 +0100 | takenbrandi | (~brandi@104.220.20.37) |
2022-03-03 12:34:02 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 12:34:22 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 12:36:15 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
2022-03-03 12:36:32 +0100 | yauhsien_ | (~Yau-Hsien@61-231-36-13.dynamic-ip.hinet.net) (Quit: Leaving) |
2022-03-03 12:38:12 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 12:38:32 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 12:41:04 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 12:41:23 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2022-03-03 12:43:58 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 12:44:28 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 12:45:28 +0100 | agumonke` | (~user@37.175.254.13) |
2022-03-03 12:45:46 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 12:45:53 +0100 | komikat_ | (~komikat@2402:3a80:932:7acc:e449:563e:c1b5:726b) |
2022-03-03 12:46:35 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 12:48:00 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2022-03-03 12:55:26 +0100 | __monty__ | (~toonn@user/toonn) |
2022-03-03 12:56:05 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
2022-03-03 12:56:15 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-03 12:58:08 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2022-03-03 12:58:33 +0100 | Vajb | (~Vajb@85-76-130-248-nat.elisa-mobile.fi) |
2022-03-03 13:02:34 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 13:02:53 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 13:03:35 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 13:03:59 +0100 | mason0 | (~bc8147f2@cerf.good1.com) |
2022-03-03 13:04:17 +0100 | takenbrandi | (~brandi@104.220.20.37) (Ping timeout: 256 seconds) |
2022-03-03 13:06:00 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 13:07:37 +0100 | komikat | (~komikat@157.38.216.244) |
2022-03-03 13:07:57 +0100 | komikat_ | (~komikat@2402:3a80:932:7acc:e449:563e:c1b5:726b) (Ping timeout: 240 seconds) |
2022-03-03 13:09:37 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 13:13:02 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 13:13:35 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2022-03-03 13:14:53 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
2022-03-03 13:17:52 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 13:18:12 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 13:18:36 +0100 | komikat | (~komikat@157.38.216.244) (Ping timeout: 240 seconds) |
2022-03-03 13:19:20 +0100 | komikat | (~komikat@2409:4052:4d81:d5b0:64ec:18d7:fce2:4c9d) |
2022-03-03 13:19:54 +0100 | mei | (~mei@user/mei) |
2022-03-03 13:21:50 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 13:21:50 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
2022-03-03 13:22:09 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 13:22:34 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 250 seconds) |
2022-03-03 13:24:05 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 13:25:10 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) |
2022-03-03 13:25:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Ping timeout: 240 seconds) |
2022-03-03 13:26:04 +0100 | AlexNoo_ | AlexNoo |
2022-03-03 13:26:19 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 13:26:41 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb4d-184.dhcp.inet.fi) (Ping timeout: 256 seconds) |
2022-03-03 13:30:54 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2022-03-03 13:32:26 +0100 | komikat | (~komikat@2409:4052:4d81:d5b0:64ec:18d7:fce2:4c9d) (Remote host closed the connection) |
2022-03-03 13:33:24 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
2022-03-03 13:34:50 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-03-03 13:35:00 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
2022-03-03 13:37:15 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 13:37:34 +0100 | mei | (~mei@user/mei) (Read error: Connection reset by peer) |
2022-03-03 13:37:35 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 13:38:37 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
2022-03-03 13:41:40 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 13:41:57 +0100 | komikat | (~komikat@2409:4052:4d81:d5b0:e068:c43e:7a4d:66af) |
2022-03-03 13:42:00 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 13:43:11 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 13:43:25 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) |
2022-03-03 13:43:30 +0100 | komikat | (~komikat@2409:4052:4d81:d5b0:e068:c43e:7a4d:66af) (Remote host closed the connection) |
2022-03-03 13:44:46 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) (Ping timeout: 260 seconds) |
2022-03-03 13:45:34 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 13:50:39 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 13:51:14 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 13:52:03 +0100 | mlaogd^ | (~mlaogd@207.243.108.170) (Remote host closed the connection) |
2022-03-03 13:53:58 +0100 | komikat | (~komikat@117.199.167.81) |
2022-03-03 13:56:58 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 13:57:16 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 14:01:06 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 14:01:25 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 14:03:05 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 14:03:23 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 14:03:54 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 14:04:08 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 14:04:45 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-03 14:04:54 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 14:05:52 +0100 | komikat_ | (~komikat@2409:4052:4d81:d5b0:4d2e:b4f1:f3f5:9d8f) |
2022-03-03 14:06:21 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 14:08:31 +0100 | unit73e | (~ecouto@2001:818:e8dd:7c00:fb1b:fecb:4b1f:fc93) |
2022-03-03 14:09:11 +0100 | komikat | (~komikat@117.199.167.81) (Ping timeout: 256 seconds) |
2022-03-03 14:09:58 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
2022-03-03 14:10:17 +0100 | <unit73e> | Hello. Silly newbie question. How should I handle conditional errors in 'Data.Binary.Get'? I was using if-then-else with fail, but ends up being ugly. I was kind of hoping there was a 'failIf -> Bool' or something similar. |
2022-03-03 14:10:51 +0100 | <geekosaur> | :t guard |
2022-03-03 14:10:51 +0100 | <lambdabot> | Alternative f => Bool -> f () |
2022-03-03 14:11:00 +0100 | ardell | (~ardell@user/ardell) |
2022-03-03 14:11:24 +0100 | <unit73e> | huh, that simple. thanks |
2022-03-03 14:12:37 +0100 | <unit73e> | i'm implementing a XP3 archiver for those weirdo japanese VNs |
2022-03-03 14:13:51 +0100 | <unit73e> | I'll share the code when it does something useful |
2022-03-03 14:13:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2022-03-03 14:14:15 +0100 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
2022-03-03 14:15:17 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 14:17:05 +0100 | <unit73e> | I was first doing in Java because there was a "sort of" implementation already but Java is horrible handling byte streams because it doesn't have unsigned. The other "sort of" implementation was in C++, which is kind of meh... too unsafe. Haskell is pretty good handling byte streams. |
2022-03-03 14:21:05 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 14:21:55 +0100 | komikat_ | (~komikat@2409:4052:4d81:d5b0:4d2e:b4f1:f3f5:9d8f) (Remote host closed the connection) |
2022-03-03 14:22:49 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 14:23:14 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 14:25:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 14:25:37 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 14:26:56 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2022-03-03 14:27:11 +0100 | <merijn> | unit73e: Yeah, binary is pretty sweet for byte streams. It's a bit of a PITA for bitstreams, but those are fairly uncommon anyway |
2022-03-03 14:27:26 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 245 seconds) |
2022-03-03 14:27:40 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-03 14:27:48 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 14:28:15 +0100 | <merijn> | unit73e: Also, have a look at the various functions for Alternative/MonadPlus (Get implements both) besides guard. There's a bunch of useful ones |
2022-03-03 14:29:02 +0100 | <unit73e> | merijn, will do. thanks. I often get stuck on those things... either forget or just don't know. |
2022-03-03 14:29:47 +0100 | <merijn> | See also |
2022-03-03 14:29:56 +0100 | <merijn> | @hackage parser-combinators |
2022-03-03 14:29:56 +0100 | <lambdabot> | https://hackage.haskell.org/package/parser-combinators |
2022-03-03 14:30:32 +0100 | <unit73e> | I did think of using a parsec but I'm not sure yet if that will work due to the XP3 format being a tad bit weird |
2022-03-03 14:30:58 +0100 | <unit73e> | apparently it has bytes that aren't doing anything, just to create noise |
2022-03-03 14:31:04 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (*.net *.split) |
2022-03-03 14:31:04 +0100 | agumonke` | (~user@37.175.254.13) (*.net *.split) |
2022-03-03 14:31:04 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:84ab:7996:1b4c:abb5) (*.net *.split) |
2022-03-03 14:31:04 +0100 | alp_ | (~alp@user/alp) (*.net *.split) |
2022-03-03 14:31:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9e51:3601:4227:d1e0) (*.net *.split) |
2022-03-03 14:31:04 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (*.net *.split) |
2022-03-03 14:31:04 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (*.net *.split) |
2022-03-03 14:31:04 +0100 | vysn | (~vysn@user/vysn) (*.net *.split) |
2022-03-03 14:31:04 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (*.net *.split) |
2022-03-03 14:31:04 +0100 | wolfshappen_ | (~waff@irc.furworks.de) (*.net *.split) |
2022-03-03 14:31:04 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
2022-03-03 14:31:04 +0100 | Techcable | (~Techcable@168.235.93.147) (*.net *.split) |
2022-03-03 14:31:04 +0100 | Me-me | (~me-me@user/me-me) (*.net *.split) |
2022-03-03 14:31:04 +0100 | flupe | (~baboum@radon.sbi.re) (*.net *.split) |
2022-03-03 14:31:04 +0100 | sajith | (~sajith@user/sajith) (*.net *.split) |
2022-03-03 14:31:04 +0100 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
2022-03-03 14:31:04 +0100 | shailangsa | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | kadobanana | (~mud@user/kadoban) (*.net *.split) |
2022-03-03 14:31:04 +0100 | ddb | (~ddb@2607:5300:203:9993::196) (*.net *.split) |
2022-03-03 14:31:04 +0100 | sshine | (~simon@zhen.eta.solutions) (*.net *.split) |
2022-03-03 14:31:04 +0100 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
2022-03-03 14:31:04 +0100 | russruss | (~russruss@my.russellmcc.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | auri | (~quassel@fsf/member/auri) (*.net *.split) |
2022-03-03 14:31:04 +0100 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | eriol | (~eriol@user/eriol) (*.net *.split) |
2022-03-03 14:31:04 +0100 | derelict | (derelict@user/derelict) (*.net *.split) |
2022-03-03 14:31:04 +0100 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (*.net *.split) |
2022-03-03 14:31:04 +0100 | jlamothe | (~jlamothe@198.251.61.229) (*.net *.split) |
2022-03-03 14:31:04 +0100 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | hays | (rootvegeta@fsf/member/hays) (*.net *.split) |
2022-03-03 14:31:04 +0100 | awpr | (uid446117@id-446117.lymington.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | qwedfg | (~qwedfg@user/qwedfg) (*.net *.split) |
2022-03-03 14:31:04 +0100 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | iphy | (sid67735@id-67735.lymington.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (*.net *.split) |
2022-03-03 14:31:04 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) (*.net *.split) |
2022-03-03 14:31:04 +0100 | acertain | (sid470584@2a03:5180:f:4::7:2e38) (*.net *.split) |
2022-03-03 14:31:04 +0100 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
2022-03-03 14:31:04 +0100 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | xstill- | (xstill@fimu/xstill) (*.net *.split) |
2022-03-03 14:31:04 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
2022-03-03 14:31:04 +0100 | Andrew | (Andrew@user/AndrewYu) (*.net *.split) |
2022-03-03 14:31:04 +0100 | tito | (tito@tilde.team) (*.net *.split) |
2022-03-03 14:31:04 +0100 | res0nat0r08 | (~Fletch@dia.whatbox.ca) (*.net *.split) |
2022-03-03 14:31:04 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
2022-03-03 14:31:04 +0100 | hendi | (sid489601@id-489601.lymington.irccloud.com) (*.net *.split) |
2022-03-03 14:31:04 +0100 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
2022-03-03 14:31:05 +0100 | EsoAlgo | (~EsoAlgo@152.70.142.52) (*.net *.split) |
2022-03-03 14:31:05 +0100 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
2022-03-03 14:31:05 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
2022-03-03 14:31:05 +0100 | landonf | (landonf@mac68k.info) (*.net *.split) |
2022-03-03 14:31:05 +0100 | spider__ | (~spider@vps-951ce37a.vps.ovh.ca) (*.net *.split) |
2022-03-03 14:31:05 +0100 | hexagoxel | (~hexagoxel@hexagoxel.de) (*.net *.split) |
2022-03-03 14:31:05 +0100 | statusbot1 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
2022-03-03 14:31:05 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (*.net *.split) |
2022-03-03 14:31:05 +0100 | incertia | (~incertia@207.98.163.88) (*.net *.split) |
2022-03-03 14:31:05 +0100 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) (*.net *.split) |
2022-03-03 14:31:20 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2022-03-03 14:31:26 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 14:31:30 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 14:31:48 +0100 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
2022-03-03 14:32:11 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 14:32:31 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-03-03 14:32:31 +0100 | agumonke` | (~user@37.175.254.13) |
2022-03-03 14:32:31 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:84ab:7996:1b4c:abb5) |
2022-03-03 14:32:31 +0100 | alp_ | (~alp@user/alp) |
2022-03-03 14:32:31 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9e51:3601:4227:d1e0) |
2022-03-03 14:32:31 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
2022-03-03 14:32:31 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
2022-03-03 14:32:31 +0100 | vysn | (~vysn@user/vysn) |
2022-03-03 14:32:31 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
2022-03-03 14:32:31 +0100 | wolfshappen_ | (~waff@irc.furworks.de) |
2022-03-03 14:32:31 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2022-03-03 14:32:31 +0100 | Techcable | (~Techcable@168.235.93.147) |
2022-03-03 14:32:31 +0100 | Me-me | (~me-me@user/me-me) |
2022-03-03 14:32:31 +0100 | flupe | (~baboum@radon.sbi.re) |
2022-03-03 14:32:31 +0100 | sajith | (~sajith@user/sajith) |
2022-03-03 14:32:31 +0100 | swistak | (~swistak@185.21.216.141) |
2022-03-03 14:32:31 +0100 | shailangsa | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) |
2022-03-03 14:32:31 +0100 | kadobanana | (~mud@user/kadoban) |
2022-03-03 14:32:31 +0100 | ddb | (~ddb@2607:5300:203:9993::196) |
2022-03-03 14:32:31 +0100 | sshine | (~simon@zhen.eta.solutions) |
2022-03-03 14:32:31 +0100 | tito | (tito@tilde.team) |
2022-03-03 14:32:31 +0100 | EvanR | (~EvanR@user/evanr) |
2022-03-03 14:32:31 +0100 | russruss | (~russruss@my.russellmcc.com) |
2022-03-03 14:32:31 +0100 | auri | (~quassel@fsf/member/auri) |
2022-03-03 14:32:31 +0100 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
2022-03-03 14:32:31 +0100 | eriol | (~eriol@user/eriol) |
2022-03-03 14:32:31 +0100 | derelict | (derelict@user/derelict) |
2022-03-03 14:32:31 +0100 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
2022-03-03 14:32:31 +0100 | jlamothe | (~jlamothe@198.251.61.229) |
2022-03-03 14:32:31 +0100 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) |
2022-03-03 14:32:31 +0100 | hays | (rootvegeta@fsf/member/hays) |
2022-03-03 14:32:31 +0100 | awpr | (uid446117@id-446117.lymington.irccloud.com) |
2022-03-03 14:32:31 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
2022-03-03 14:32:31 +0100 | teehemkay_ | (sid14792@id-14792.lymington.irccloud.com) |
2022-03-03 14:32:31 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
2022-03-03 14:32:31 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) |
2022-03-03 14:32:31 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
2022-03-03 14:32:31 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
2022-03-03 14:32:31 +0100 | mrianbloom | (sid350277@2a03:5180:f:3::5:5845) |
2022-03-03 14:32:31 +0100 | acertain | (sid470584@2a03:5180:f:4::7:2e38) |
2022-03-03 14:32:31 +0100 | sclv | (sid39734@haskell/developer/sclv) |
2022-03-03 14:32:31 +0100 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
2022-03-03 14:32:31 +0100 | xstill- | (xstill@fimu/xstill) |
2022-03-03 14:32:31 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
2022-03-03 14:32:31 +0100 | Andrew | (Andrew@user/AndrewYu) |
2022-03-03 14:32:31 +0100 | res0nat0r08 | (~Fletch@dia.whatbox.ca) |
2022-03-03 14:32:31 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
2022-03-03 14:32:31 +0100 | hendi | (sid489601@id-489601.lymington.irccloud.com) |
2022-03-03 14:32:31 +0100 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) |
2022-03-03 14:32:31 +0100 | EsoAlgo | (~EsoAlgo@152.70.142.52) |
2022-03-03 14:32:31 +0100 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
2022-03-03 14:32:31 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
2022-03-03 14:32:31 +0100 | landonf | (landonf@mac68k.info) |
2022-03-03 14:32:31 +0100 | spider__ | (~spider@vps-951ce37a.vps.ovh.ca) |
2022-03-03 14:32:31 +0100 | hexagoxel | (~hexagoxel@hexagoxel.de) |
2022-03-03 14:32:31 +0100 | statusbot1 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
2022-03-03 14:32:31 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
2022-03-03 14:32:31 +0100 | incertia | (~incertia@207.98.163.88) |
2022-03-03 14:32:31 +0100 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) |
2022-03-03 14:32:39 +0100 | <unit73e> | I guess so "hackers" like me don't extract? not sure. but once I have it with the 'Get' way I'll try a parsec. |
2022-03-03 14:33:16 +0100 | Techcable | (~Techcable@168.235.93.147) (Max SendQ exceeded) |
2022-03-03 14:33:16 +0100 | qwedfg | (~qwedfg@user/qwedfg) (Max SendQ exceeded) |
2022-03-03 14:33:16 +0100 | shailangsa | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) (Max SendQ exceeded) |
2022-03-03 14:33:16 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Max SendQ exceeded) |
2022-03-03 14:33:16 +0100 | wolfshappen_ | (~waff@irc.furworks.de) (Max SendQ exceeded) |
2022-03-03 14:33:24 +0100 | Techcable | (~Techcable@168.235.93.147) |
2022-03-03 14:33:30 +0100 | <merijn> | unit73e: That libary isn't parsec :) |
2022-03-03 14:33:32 +0100 | wolfshappen | (~waff@irc.furworks.de) |
2022-03-03 14:33:35 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
2022-03-03 14:34:02 +0100 | <merijn> | unit73e: It's a bunch of generic Alternative/MonadPlus combinators that are "parsec like" so you can reuse them with various libraries (most notably, megaparsec just re-exports those) |
2022-03-03 14:34:10 +0100 | <merijn> | They work as-is with binary's Get |
2022-03-03 14:34:25 +0100 | <merijn> | (Since Get is Alternative/MonadPlus) |
2022-03-03 14:34:55 +0100 | <merijn> | Which makes sense, since Get is just another parser combinator library, except focussed on binary data/streams instead of text |
2022-03-03 14:35:01 +0100 | qwedfg | (~qwedfg@user/qwedfg) |
2022-03-03 14:36:24 +0100 | <unit73e> | thanks. that will help. |
2022-03-03 14:36:56 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2022-03-03 14:36:57 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
2022-03-03 14:37:30 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
2022-03-03 14:37:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-03 14:38:29 +0100 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
2022-03-03 14:38:58 +0100 | dextaa_ | (~dextaa@user/dextaa) |
2022-03-03 14:40:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 14:40:57 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 14:42:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 14:42:58 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 14:44:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 14:44:56 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 14:45:47 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 14:47:36 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-03-03 14:48:16 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) |
2022-03-03 14:48:16 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 14:48:50 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2022-03-03 14:48:52 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 14:49:08 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-03-03 14:49:21 +0100 | dextaa_ | (~dextaa@user/dextaa) (Quit: The Lounge - https://thelounge.chat) |
2022-03-03 14:50:46 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) (Ping timeout: 245 seconds) |
2022-03-03 14:53:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 14:53:41 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
2022-03-03 14:54:04 +0100 | dextaa_ | (~dextaa@user/dextaa) |
2022-03-03 14:54:52 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) |
2022-03-03 14:56:50 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 14:57:45 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2022-03-03 14:57:55 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 14:58:40 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 14:59:45 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2022-03-03 15:01:10 +0100 | rembo10 | (~rembo10@2a01:4f9:c010:b5b9::1) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-03-03 15:02:03 +0100 | rembo10 | (~rembo10@main.remulis.com) |
2022-03-03 15:02:43 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2022-03-03 15:04:58 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 15:05:06 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 15:05:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 15:06:58 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 15:06:58 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 15:07:16 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 15:07:28 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-03 15:07:30 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) |
2022-03-03 15:08:35 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-03-03 15:09:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
2022-03-03 15:09:44 +0100 | alx741 | (~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer) |
2022-03-03 15:11:14 +0100 | coot | (~coot@213.134.190.95) |
2022-03-03 15:13:28 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 15:13:46 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 15:15:27 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 15:15:45 +0100 | dextaa_ | (~dextaa@user/dextaa) (Remote host closed the connection) |
2022-03-03 15:15:45 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 15:16:17 +0100 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
2022-03-03 15:17:55 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 15:19:42 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 15:20:01 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 15:21:10 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) |
2022-03-03 15:22:29 +0100 | zer0bitz_ | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) (Ping timeout: 252 seconds) |
2022-03-03 15:22:31 +0100 | <merijn> | ooh |
2022-03-03 15:22:47 +0100 | <merijn> | Plan to have WebAssembly for 9.6 |
2022-03-03 15:22:52 +0100 | <merijn> | That's cool |
2022-03-03 15:26:01 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 15:26:17 +0100 | MajorBiscuit | (~MajorBisc@c-001-023-033.client.tudelft.eduvpn.nl) (Ping timeout: 256 seconds) |
2022-03-03 15:26:21 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 15:27:27 +0100 | <yushyin> | oO |
2022-03-03 15:27:44 +0100 | anon44409248 | (~anon44409@host-92-19-97-204.as13285.net) (Remote host closed the connection) |
2022-03-03 15:28:34 +0100 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 15:30:28 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 15:30:48 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 15:30:52 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
2022-03-03 15:31:11 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2022-03-03 15:32:51 +0100 | <[exa]> | whew |
2022-03-03 15:33:35 +0100 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-03-03 15:34:29 +0100 | <[exa]> | is it the same as asterius from tweag or something entirely different? |
2022-03-03 15:35:19 +0100 | shailangsa | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) |
2022-03-03 15:36:02 +0100 | <merijn> | [exa]: Plan to merge tweag's asterius based stuff |
2022-03-03 15:36:16 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 15:36:30 +0100 | <[exa]> | ok cool |
2022-03-03 15:36:36 +0100 | <merijn> | afaict asterius is moving/has moved to rely on the standard RTS more, meaning it's more feasible to merge the fork into mainline |
2022-03-03 15:37:17 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
2022-03-03 15:37:28 +0100 | <[exa]> | so maybe the webdev will stop sucking so much, finally. :D |
2022-03-03 15:38:25 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-03 15:38:55 +0100 | alp | (~alp@user/alp) |
2022-03-03 15:39:33 +0100 | <unit73e> | I've been hearing webassembly wioll solve all the web problems and get rid of javascript but it's taking a lot of time |
2022-03-03 15:40:38 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-03-03 15:41:09 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-03 15:41:22 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
2022-03-03 15:41:50 +0100 | <terrorjack> | https://mail.haskell.org/pipermail/ghc-devs/2022-March/020590.html for the announcement |
2022-03-03 15:42:32 +0100 | <merijn> | unit73e: There's lots of tiny painful bits |
2022-03-03 15:42:57 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2022-03-03 15:42:57 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
2022-03-03 15:43:36 +0100 | <merijn> | unit73e: For example, while Haskell itself can easily be compiled to webassembly, the GHC runtime assumes all sorts of things, like, you know: having threats, being able to do IO with files, running timers, allocating memory from the OS, etc. |
2022-03-03 15:44:20 +0100 | <merijn> | so you need to figure out what all is missing in the webassembly sandbox, then reimplement/avoid it somehow, etc. |
2022-03-03 15:44:29 +0100 | <merijn> | s/threats/threads |
2022-03-03 15:45:04 +0100 | <unit73e> | must be hard for sure. It's the "JVM done right" so it will take a while. |
2022-03-03 15:45:14 +0100 | <terrorjack> | hard indeed |
2022-03-03 15:45:16 +0100 | <merijn> | Now you can just write a new haskell to web assembly compilers (and people have!) I think UHC has *2* JS/web assembly backends |
2022-03-03 15:45:46 +0100 | shapr` | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
2022-03-03 15:45:55 +0100 | <carbolymer> | is UHC still alive? |
2022-03-03 15:45:58 +0100 | <terrorjack> | but there were strategic mistakes in the beginning. most important one is attempting to implement GC and other runtime services with hand written JS |
2022-03-03 15:45:58 +0100 | <merijn> | But then it turns out that, actually, 80% of all Haskell packages want stuff like ByteString and/or Text, whose internals assume they're dealing with GHC, so now *those* are broken |
2022-03-03 15:46:00 +0100 | <[exa]> | in fact all you need is a library that does the jQuery tricks from haskell, then javascript disappears in 1 year |
2022-03-03 15:46:01 +0100 | <merijn> | carbolymer: Define alive |
2022-03-03 15:46:14 +0100 | <merijn> | carbolymer: It's still actively worked on, to the best of my knowledge |
2022-03-03 15:46:23 +0100 | <carbolymer> | interesting |
2022-03-03 15:46:23 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2022-03-03 15:46:29 +0100 | <geekosaur> | UHC is "alive"in the sense that it's actively worked on, but AFAIK it'sonly used by Utrecht |
2022-03-03 15:46:45 +0100 | <merijn> | carbolymer: Now, we haven't had an NL-FP day in 2 years due to covid, so I haven't heard about it, but I doubt they stopped in that time frame |
2022-03-03 15:46:58 +0100 | <merijn> | Especially since there's been an influx of new haskellers in Utrecht |
2022-03-03 15:47:05 +0100 | <mason0> | @hoogle [a] -> (a -> b) -> [b] |
2022-03-03 15:47:06 +0100 | <lambdabot> | Miso.Util withFoldable :: Foldable t => t a -> (a -> b) -> [b] |
2022-03-03 15:47:06 +0100 | <lambdabot> | Data.Functor (<&>) :: Functor f => f a -> (a -> b) -> f b |
2022-03-03 15:47:06 +0100 | <lambdabot> | Control.Lens.Lens (<&>) :: Functor f => f a -> (a -> b) -> f b |
2022-03-03 15:47:20 +0100 | <merijn> | (I think most of the team work on accelerate (?) moved to utrecht) |
2022-03-03 15:47:30 +0100 | <unit73e> | oh boy.. remember the time when XML was used for everything? Now it's JS... hopefully that fad is dying. |
2022-03-03 15:47:30 +0100 | <mason0> | there's no for in base? (flipped map) |
2022-03-03 15:47:32 +0100 | <merijn> | At least, they've been showing up to our GPU meetups here :p |
2022-03-03 15:47:48 +0100 | <merijn> | mason0: It's not on lists |
2022-03-03 15:47:51 +0100 | <merijn> | :t for |
2022-03-03 15:47:52 +0100 | <lambdabot> | (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b) |
2022-03-03 15:48:02 +0100 | <mason0> | > for [1..10] show |
2022-03-03 15:48:04 +0100 | <lambdabot> | ["1234567891","1234567890"] |
2022-03-03 15:48:04 +0100 | <geekosaur> | and it's flipped mapM |
2022-03-03 15:48:16 +0100 | <merijn> | oh, yeah, for is mapM not map |
2022-03-03 15:48:35 +0100 | <merijn> | flipped map seems increadibly niche, though |
2022-03-03 15:48:49 +0100 | <carbolymer> | merijn: uhc's page seems to be down http://foswiki.cs.uu.nl/foswiki/bin/view/UHC/ |
2022-03-03 15:48:58 +0100 | zaquest | (~notzaques@5.130.79.72) (Quit: Leaving) |
2022-03-03 15:49:12 +0100 | <merijn> | carbolymer: academic websites are a nightmare :p |
2022-03-03 15:49:20 +0100 | <merijn> | carbolymer: Ask me again in a month and a half :p |
2022-03-03 15:49:31 +0100 | <merijn> | That's when NL-FP is organised in Utrecht :p |
2022-03-03 15:49:43 +0100 | <carbolymer> | ok |
2022-03-03 15:50:06 +0100 | <merijn> | Which lets me seque into... |
2022-03-03 15:50:22 +0100 | <merijn> | PSA: if your in travelling distance of Utrecht, don't forget to go to NL-FP ;) |
2022-03-03 15:50:34 +0100 | <merijn> | https://wouter-swierstra.github.io/fp-dag/ |
2022-03-03 15:51:07 +0100 | <tomsmeding> | merijn: I haven't heard much about active development on UHC, but maybe I'm not in contact with the right people |
2022-03-03 15:51:35 +0100 | <geekosaur> | https://github.com/UU-ComputerScience/uhc last commit in 2018 but github says last update in August |
2022-03-03 15:52:20 +0100 | <merijn> | tomsmeding: I mean, UHC isn't in active development in terms of "adding features" it was never really a production compiler as much as it was "a test bed and PoC of attribute grammars" |
2022-03-03 15:52:50 +0100 | <tomsmeding> | right |
2022-03-03 15:54:14 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 15:54:14 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) (Ping timeout: 250 seconds) |
2022-03-03 15:54:50 +0100 | <maerwald> | GHC needs competition |
2022-03-03 15:54:59 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 15:55:12 +0100 | <tomsmeding> | yes |
2022-03-03 15:55:47 +0100 | <carbolymer> | wouldn't that mean fragmentation of efforts and overall slower development of compilers? |
2022-03-03 15:55:53 +0100 | carbolymer | is looking at linux desktops |
2022-03-03 15:56:36 +0100 | <lortabac> | or Scheme, or Prolog... |
2022-03-03 15:56:37 +0100 | <maerwald> | clang improved gcc |
2022-03-03 15:57:11 +0100 | <lortabac> | IMHO Haskell is not C, it can't afford fragmentation |
2022-03-03 15:57:16 +0100 | <maerwald> | ahaha |
2022-03-03 15:57:53 +0100 | <maerwald> | what makes you think the current GHC maintainers would abandon ship just because there's a new compiler around? |
2022-03-03 15:58:23 +0100 | <lortabac> | it's not about abandoning ship, it's just that the community is too small |
2022-03-03 15:58:29 +0100 | <maerwald> | clearly, other compiler engineers aren't too thrilled about working with GHC... otherwise they would have done so already |
2022-03-03 15:58:37 +0100 | <maerwald> | I don't understand |
2022-03-03 15:59:04 +0100 | <tomsmeding> | yes precisely, I think having a different implementation might encourage more haskell-implementation experimentation |
2022-03-03 15:59:37 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2022-03-03 15:59:38 +0100 | <merijn> | Everyone thinks so. Except the people with money to pay Haskell programmers :p |
2022-03-03 16:00:01 +0100 | <lortabac> | we would end up with plenty of half-baked compiler prototypes |
2022-03-03 16:00:10 +0100 | <tomsmeding> | is that a bad thing? |
2022-03-03 16:00:14 +0100 | <lortabac> | yes |
2022-03-03 16:00:46 +0100 | <lortabac> | I'd rather see a better GHC than a hundred useless *HC's |
2022-03-03 16:00:59 +0100 | <mason0> | there are benefits to having just one implementation. writing portable crossplatform code that also works on multiple haskell implementation would likely be hell |
2022-03-03 16:01:42 +0100 | <lortabac> | just spend a couple of hours on #scheme, everybody is making their own compiler, but nobody has ever **used** Scheme for real |
2022-03-03 16:02:27 +0100 | <tomsmeding> | lortabac: I think reaching that level of lopsided distribution is not going to happen any time soon with a language as complex as haskell :p |
2022-03-03 16:02:58 +0100 | <tomsmeding> | you won't find half the world implementing a C compiler without having used C either |
2022-03-03 16:05:23 +0100 | <merijn> | tomsmeding: tbh, Haskell2010 isn't *that* complex |
2022-03-03 16:05:32 +0100 | <tomsmeding> | a lot more complex than scheme :p |
2022-03-03 16:05:40 +0100 | <merijn> | A lot less than C :p |
2022-03-03 16:05:47 +0100 | <merijn> | And let's not even get started about C++ |
2022-03-03 16:05:56 +0100 | <tomsmeding> | lol C++ is a different league indeed |
2022-03-03 16:06:15 +0100 | <lechner> | Hi, could someone please upload the docs for Cabal-syntax? Thanks! https://hackage.haskell.org/package/Cabal-syntax |
2022-03-03 16:06:31 +0100 | <merijn> | I always like the "compilers don't have bugs!" argument about gcc/g++ in other channels |
2022-03-03 16:06:51 +0100 | <merijn> | How the fuck would you even know if your C++ compiler has bugs?! As if anyone knows what it's supposed to do... |
2022-03-03 16:07:28 +0100 | <lechner> | never mind. maybe i should have read the "dummy" part |
2022-03-03 16:07:56 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
2022-03-03 16:08:00 +0100 | <geekosaur> | I find it interesting they talk about 3.7 being a real package, but there's no 3.7 |
2022-03-03 16:08:07 +0100 | <lechner> | yeah |
2022-03-03 16:08:55 +0100 | <merijn> | geekosaur: Presumably this was released *ahead* of 3.7 so people can correct their code ahead of release |
2022-03-03 16:08:55 +0100 | <tomsmeding> | presumably that's the in-development version of Cabal? |
2022-03-03 16:09:15 +0100 | soxen | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
2022-03-03 16:09:23 +0100 | zaquest | (~notzaques@5.130.79.72) |
2022-03-03 16:09:38 +0100 | <merijn> | since 3.6 was the last release, yes |
2022-03-03 16:09:40 +0100 | <lechner> | i just need to solve this for the Debian Version tracker https://github.com/obsidiansystems/obelisk/issues/106 |
2022-03-03 16:09:59 +0100 | <merijn> | cabal also uses odd = development, like GHC, no? |
2022-03-03 16:10:25 +0100 | <lortabac> | I think most people vastly underestimate the effort needed to go from "compiler" to "industrial-strength compiler" |
2022-03-03 16:10:25 +0100 | Vajb | (~Vajb@85-76-130-248-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2022-03-03 16:10:55 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 16:10:58 +0100 | <geekosaur> | merijn,yes |
2022-03-03 16:10:58 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2022-03-03 16:11:11 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
2022-03-03 16:11:17 +0100 | <geekosaur> | last release was 3.4.1.0 |
2022-03-03 16:11:30 +0100 | dsrt^ | (~dsrt@207.243.108.170) |
2022-03-03 16:11:55 +0100 | <merijn> | no? |
2022-03-03 16:11:58 +0100 | <merijn> | 3.6 is out |
2022-03-03 16:12:06 +0100 | <merijn> | has been for a considerable whil |
2022-03-03 16:12:07 +0100 | <geekosaur> | I mean last release before 3.6 |
2022-03-03 16:12:10 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
2022-03-03 16:12:12 +0100 | <merijn> | oh |
2022-03-03 16:12:19 +0100 | vgtw_ | (~vgtw@user/vgtw) |
2022-03-03 16:12:35 +0100 | <merijn> | So presumably the Cabal-syntax release is for people dogfooding cabal HEAD |
2022-03-03 16:12:39 +0100 | <geekosaur> | lechner, that looks solved to me? Cabal went from a home-grown parser to Parsec |
2022-03-03 16:13:05 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 268 seconds) |
2022-03-03 16:13:13 +0100 | <lechner> | geekosaur: maybe, but how to solve this? http://paste.debian.net/1232874/ |
2022-03-03 16:13:47 +0100 | <merijn> | lechner: Use parsec's result datatypes? |
2022-03-03 16:13:47 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-03-03 16:14:06 +0100 | <merijn> | Which I'm guessing just uses Either? |
2022-03-03 16:14:12 +0100 | <geekosaur> | and ideally forget Cabal <2.2 exists |
2022-03-03 16:14:21 +0100 | <lechner> | i am trying |
2022-03-03 16:14:53 +0100 | cpape`` | (~user@2a01:4f9:c010:632d::1) (Quit: ERC (IRC client for Emacs 25.2.2)) |
2022-03-03 16:15:09 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 16:15:19 +0100 | <lechner> | joachim asked me to maybe take over the version feeding, but as you all well know, I am a newbie |
2022-03-03 16:15:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
2022-03-03 16:16:06 +0100 | <maerwald> | lortabac: what is industrial-strenght? packed with custom language extensions? |
2022-03-03 16:16:34 +0100 | <carbolymer> | maerwald: stable, like battle-tested |
2022-03-03 16:16:47 +0100 | <maerwald> | wait, GHC is stable? :D |
2022-03-03 16:16:49 +0100 | <tomsmeding> | "bug-free" |
2022-03-03 16:16:52 +0100 | <maerwald> | lol |
2022-03-03 16:16:59 +0100 | <maerwald> | that's exactly one thing GHC isn't |
2022-03-03 16:17:18 +0100 | <merijn> | maerwald: to be fair, neither is any other compiler >.> |
2022-03-03 16:17:24 +0100 | <byorgey> | software is "industrial-strength" when bugs in that software are capable of crippling an entire industry |
2022-03-03 16:17:25 +0100 | <maerwald> | merijn: I disagree |
2022-03-03 16:17:28 +0100 | <lechner> | right now, i use this cabal file http://paste.debian.net/1232875/ |
2022-03-03 16:17:38 +0100 | <merijn> | maerwald: gcc/clang have *tons* of issues outside the happy path |
2022-03-03 16:17:51 +0100 | <Franciman> | is ghc an insdustrial strength compiler? |
2022-03-03 16:17:52 +0100 | <maerwald> | GHC is about moving fast, not figuring out how to make it particularly stable |
2022-03-03 16:17:56 +0100 | <Franciman> | i think so, because they use it |
2022-03-03 16:18:01 +0100 | <Franciman> | so it's going to be my main target |
2022-03-03 16:18:18 +0100 | yauhsien | (~yauhsien@61-231-36-13.dynamic-ip.hinet.net) (Remote host closed the connection) |
2022-03-03 16:18:19 +0100 | <maerwald> | so there's another reason we would want a different compiler |
2022-03-03 16:18:28 +0100 | <maerwald> | you can't have everything in one |
2022-03-03 16:18:34 +0100 | <Franciman> | mlton seems a good beast to bet on |
2022-03-03 16:19:11 +0100 | shapr` | shapr |
2022-03-03 16:20:06 +0100 | <geekosaur> | btw lechner as I read that dummy package Cabal-syntax, the only point of using it is so you can use that flag stanza for upward compatibility |
2022-03-03 16:20:13 +0100 | <geekosaur> | using it by itself is pointless |
2022-03-03 16:20:19 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2022-03-03 16:20:31 +0100 | <geekosaur> | (the flag stanza documented in the package readme) |
2022-03-03 16:22:11 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 16:22:29 +0100 | <merijn> | Opinion poll: Using custom 2 constructor ADTs to replace booleans with semantic names. Yay or nay? |
2022-03-03 16:22:31 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 16:22:57 +0100 | <tomsmeding> | if it's not obvious from the function name and parameter list what the boolean would do |
2022-03-03 16:22:58 +0100 | <geekosaur> | see "Boolean blindness" |
2022-03-03 16:23:10 +0100 | <tomsmeding> | I wouldn't want `showParen` to take a non-boolean |
2022-03-03 16:23:24 +0100 | <tomsmeding> | or `guard` |
2022-03-03 16:23:29 +0100 | <geekosaur> | I'd generally be in favor just so I know what's going on. and don't have to remember which state True represents |
2022-03-03 16:23:35 +0100 | <geekosaur> | but it depends on the context |
2022-03-03 16:24:17 +0100 | agumonke` | (~user@37.175.254.13) (Ping timeout: 240 seconds) |
2022-03-03 16:24:21 +0100 | <merijn> | geekosaur: Yeah, that's my thinking. I have a query that optionally filters stuff. Thinking of just doing "data FilterRetries = NoFilter | Filter" or something like that |
2022-03-03 16:24:28 +0100 | <Franciman> | merijn: would you be confident that ghc works well for compiling a program that runs in a critical system? |
2022-03-03 16:24:33 +0100 | <Franciman> | totally fail-safe |
2022-03-03 16:24:47 +0100 | <merijn> | so that I don't have to remember "fooQuery True" does instead of "fooQuery FilterRetries" or something |
2022-03-03 16:24:48 +0100 | <tomsmeding> | there is a reason certified compilation is a research area |
2022-03-03 16:25:07 +0100 | <merijn> | Franciman: I wouldn't trust *any* compiler for that, except maybe compcert |
2022-03-03 16:25:20 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Remote host closed the connection) |
2022-03-03 16:25:25 +0100 | <Franciman> | but haskell's tagline is that it's better than others at writing correct code |
2022-03-03 16:25:27 +0100 | <Franciman> | so... |
2022-03-03 16:25:29 +0100 | <Franciman> | that's why it matters |
2022-03-03 16:25:38 +0100 | <Franciman> | i see |
2022-03-03 16:25:39 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
2022-03-03 16:26:23 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-03 16:26:28 +0100 | <merijn> | Haskell doesn't have a tagline, except maybe "avoid success at all costs" (with ambiguous parentheses) |
2022-03-03 16:26:34 +0100 | <Franciman> | apparently an industry grade compiler means a compiler that fulfills most of its promises. So for ghc to be industry grade |
2022-03-03 16:26:41 +0100 | <Franciman> | it has to have much higher standards than other compilers |
2022-03-03 16:27:36 +0100 | <tomsmeding> | I'm not sure that was ever the goal of GHC |
2022-03-03 16:27:49 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:71e5:4f52:ed0e:7b4e) |
2022-03-03 16:28:07 +0100 | <tomsmeding> | part of the draw of the _language_ haskell is that it allows writing programs in a way that is closer to the specification domain, which makes it easier to make correct |
2022-03-03 16:28:18 +0100 | <tomsmeding> | and that the language is very good at expression abstraction |
2022-03-03 16:28:49 +0100 | <tomsmeding> | none of those properties of the language automatically, implicitly, transfer to all implementations of said language |
2022-03-03 16:28:56 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-03-03 16:28:56 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
2022-03-03 16:29:39 +0100 | <tomsmeding> | in particular, GHC started as a research compiler, in order to have a centralised implementation for research on compilation techniques for functional languages |
2022-03-03 16:30:07 +0100 | <tomsmeding> | people are now _using_ GHC as a production compiler, which is a sign that it works better than it could have been |
2022-03-03 16:30:43 +0100 | lumberjack | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-03-03 16:30:51 +0100 | <tomsmeding> | and furthermore it means that people are _interested_ in a production-strength compiler, which is an incentive to either make ghc more production-strength, or make some other compiler that is production-strength |
2022-03-03 16:30:58 +0100 | <tomsmeding> | it doesn't mean that ghc "must" already be such |
2022-03-03 16:31:11 +0100 | <tomsmeding> | that is, unless you're paying people to make ghc that |
2022-03-03 16:33:17 +0100 | ardell | (~ardell@user/ardell) (Quit: Konversation terminated!) |
2022-03-03 16:33:29 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) |
2022-03-03 16:35:55 +0100 | zebrag | (~chris@user/zebrag) |
2022-03-03 16:35:55 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 16:36:15 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 16:36:17 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
2022-03-03 16:37:57 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 16:38:17 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 16:42:31 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 16:42:50 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 16:43:51 +0100 | komikat | (~komikat@117.199.167.81) |
2022-03-03 16:45:05 +0100 | cfricke | (~cfricke@user/cfricke) |
2022-03-03 16:45:12 +0100 | <geekosaur> | but there are those who are paying people to make ghc that |
2022-03-03 16:45:28 +0100 | Inst | (~delicacie@2601:6c4:4080:3f80:8d53:e1e0:93f9:3bd7) |
2022-03-03 16:45:33 +0100 | <geekosaur> | well-typed, I think iohk and tweag, etc. |
2022-03-03 16:49:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 16:49:41 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 16:51:24 +0100 | jtomas | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
2022-03-03 16:51:31 +0100 | komikat | (~komikat@117.199.167.81) (Ping timeout: 256 seconds) |
2022-03-03 16:52:41 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2022-03-03 16:54:21 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 16:54:40 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 16:56:36 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
2022-03-03 16:57:58 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
2022-03-03 16:58:05 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:a4cb:68c9:de1e:1202) (Read error: Connection reset by peer) |
2022-03-03 16:58:13 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-03-03 16:58:27 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:a4cb:68c9:de1e:1202) |
2022-03-03 16:58:31 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
2022-03-03 16:59:12 +0100 | niekvand1pas | (~niekvande@77-161-122-185.fixed.kpn.net) |
2022-03-03 17:00:06 +0100 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) (Quit: You have been kicked for being idle) |
2022-03-03 17:00:08 +0100 | quantum | (~quantum@user/quantum/x-8556232) (Quit: You have been kicked for being idle) |
2022-03-03 17:00:13 +0100 | craige[m] | (~craigemcw@2001:470:69fc:105::35f1) (Quit: You have been kicked for being idle) |
2022-03-03 17:00:13 +0100 | EkaiZend[m] | (~ekai-zend@2001:470:69fc:105::1:7756) (Quit: You have been kicked for being idle) |
2022-03-03 17:00:38 +0100 | vicfred | (~vicfred@user/vicfred) |
2022-03-03 17:00:50 +0100 | k8yun | (~k8yun@user/k8yun) |
2022-03-03 17:01:27 +0100 | niekvandepas | (~niekvande@77-161-122-185.fixed.kpn.net) (Ping timeout: 256 seconds) |
2022-03-03 17:04:29 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2022-03-03 17:05:49 +0100 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
2022-03-03 17:06:26 +0100 | coot | (~coot@213.134.190.95) |
2022-03-03 17:06:45 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2022-03-03 17:07:07 +0100 | acode | (~acode@2a02:908:d78:6e0:1842:49df:1755:c821) |
2022-03-03 17:07:14 +0100 | yushyin | (UhIHx5Z1ii@mail.karif.server-speed.net) (Quit: WeeChat 3.3) |
2022-03-03 17:07:33 +0100 | yushyin | (UUdtykrwRM@mail.karif.server-speed.net) |
2022-03-03 17:08:06 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2022-03-03 17:09:46 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 17:10:05 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 17:11:54 +0100 | <WhateverRabbit> | geekosaur: they commited at uhc-util 7 months ago |
2022-03-03 17:12:06 +0100 | acode | (~acode@2a02:908:d78:6e0:1842:49df:1755:c821) (Quit: Client closed) |
2022-03-03 17:15:06 +0100 | yauhsien | (~Yau-Hsien@61-231-36-13.dynamic-ip.hinet.net) |
2022-03-03 17:15:39 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-03-03 17:16:12 +0100 | sander | (~sander@user/sander) (Ping timeout: 240 seconds) |
2022-03-03 17:18:33 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2022-03-03 17:19:16 +0100 | sander | (~sander@user/sander) |
2022-03-03 17:20:23 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-03-03 17:21:58 +0100 | zebrag | (~chris@user/zebrag) |
2022-03-03 17:23:03 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 17:24:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9e51:3601:4227:d1e0) (Quit: WeeChat 2.8) |
2022-03-03 17:25:43 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 17:26:02 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 17:26:13 +0100 | <merijn> | A toast to me from August 2021. Who invested the pain and effort to refactor a bunch of stuff for the feature I need to add now... |
2022-03-03 17:26:37 +0100 | <merijn> | I spent the entire afternoon dreading to refactor the code to make this work and now it turns out to be trivial. Go me! |
2022-03-03 17:27:47 +0100 | <Franciman> | i can't wait to test mlton |
2022-03-03 17:28:08 +0100 | <Franciman> | they promise a lot of nice optimisations |
2022-03-03 17:29:28 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (Read error: Connection reset by peer) |
2022-03-03 17:30:24 +0100 | <carbolymer> | just one afternoon? what did you change merijn, add one constructor? ;-] |
2022-03-03 17:30:50 +0100 | carbolymer | has spent 3 days refactoring the way we're peersisting queues, and I'm nowhere near the half of it |
2022-03-03 17:31:03 +0100 | zaquest | (~notzaques@5.130.79.72) (Read error: Connection reset by peer) |
2022-03-03 17:31:41 +0100 | Guest8 | (~Guest8@103.159.184.221) |
2022-03-03 17:32:45 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Remote host closed the connection) |
2022-03-03 17:33:04 +0100 | Guest8 | (~Guest8@103.159.184.221) (Client Quit) |
2022-03-03 17:34:36 +0100 | <merijn> | carbolymer: No, I was doing other stuff before getting to the painful bit. But then I already fixed the painful bit months ago :p |
2022-03-03 17:34:48 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) |
2022-03-03 17:34:55 +0100 | <carbolymer> | the painful bits are the most painful |
2022-03-03 17:36:50 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 17:37:10 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 17:39:05 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 17:40:05 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-03 17:40:43 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
2022-03-03 17:41:30 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
2022-03-03 17:42:04 +0100 | zaquest | (~notzaques@5.130.79.72) |
2022-03-03 17:42:12 +0100 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 240 seconds) |
2022-03-03 17:42:46 +0100 | mbuf | (~Shakthi@223.178.126.53) (Quit: Leaving) |
2022-03-03 17:44:16 +0100 | MajorBiscuit | (~MajorBisc@c-001-015-039.client.tudelft.eduvpn.nl) |
2022-03-03 17:44:39 +0100 | ystael | (~ystael@user/ystael) |
2022-03-03 17:47:36 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 17:47:44 +0100 | xkuru | (~xkuru@user/xkuru) |
2022-03-03 17:47:57 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 17:48:11 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 256 seconds) |
2022-03-03 17:49:51 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 17:50:10 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 17:51:34 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
2022-03-03 17:51:56 +0100 | Midjak | (~Midjak@82.66.147.146) |
2022-03-03 17:53:08 +0100 | <Henson> | is there a way I can make a type class have an optional function that does not have a default implementation? I'm trying to implement a class for determining whether two types are "close" to each other. I'd like the class to have a function "close" that uses a default tolerance, as well as "closeTol" that allows one to specify the desired tolerance. You could write "close = closeTol 1e-6" ... |
2022-03-03 17:54:49 +0100 | <Henson> | or something like that, but I'd like "close" to be able to use the "close" implementation of a data types sub-types, assuming they're also instances of close. In certain cases the user might want to override the default behaviour by using the "closeTol" function. But I essentially end up with duplicating the body of the closeTol function. If I define the closeness and type unwrapping logic... |
2022-03-03 17:55:25 +0100 | <Henson> | in the "close" function, then I lose the ability to specify the tolerance. If I specify it in the "closeTol" function, then I lose the ability to rely on the "closeness" definitions of the subtypes. |
2022-03-03 17:55:41 +0100 | <merijn> | Henson: What do you mean by "sub-types"? |
2022-03-03 17:56:41 +0100 | <Franciman> | wooo |
2022-03-03 17:56:44 +0100 | <Franciman> | quite unexpected for me |
2022-03-03 17:56:49 +0100 | <Franciman> | mlton produces a faster binary than ghc |
2022-03-03 17:57:00 +0100 | <Franciman> | for doing the sum of the first 10million numbers |
2022-03-03 17:57:05 +0100 | <Henson> | merijn: say you've got a type "Point3D = Point3D { point3D_x :: Double, point3D_y :: Double, point3D_z :: Double}". You could define Double as an instance of Close, and then define Point3D as an instance of Close using the "close" function for the doubles. |
2022-03-03 17:57:17 +0100 | <Franciman> | laziness at its worst? |
2022-03-03 17:57:25 +0100 | <Franciman> | or probably it's the io primitives |
2022-03-03 17:57:31 +0100 | ec_ | (~ec@gateway/tor-sasl/ec) |
2022-03-03 17:57:40 +0100 | <merijn> | Franciman: mlton does whole program optimisation, GHC does not |
2022-03-03 17:57:44 +0100 | <Franciman> | yes i know |
2022-03-03 17:57:49 +0100 | <merijn> | Henson: Sure |
2022-03-03 17:57:49 +0100 | <Franciman> | oh ghc does not? |
2022-03-03 17:57:51 +0100 | <Franciman> | sad |
2022-03-03 17:57:55 +0100 | <Franciman> | well |
2022-03-03 17:58:00 +0100 | <Franciman> | that's why it is so slow |
2022-03-03 17:58:04 +0100 | <merijn> | Franciman: No, because compile times for big programs suck |
2022-03-03 17:58:11 +0100 | <merijn> | (with whole program optimisation) |
2022-03-03 17:58:12 +0100 | <Franciman> | merijn: can i correct you? |
2022-03-03 17:58:22 +0100 | <Franciman> | compile times for 3 lines of code suck |
2022-03-03 17:58:23 +0100 | <merijn> | It also means you can't compile libraries independently |
2022-03-03 17:58:24 +0100 | <Franciman> | :P |
2022-03-03 17:58:30 +0100 | <Franciman> | it is very slow |
2022-03-03 17:58:32 +0100 | <Franciman> | VERY SLOW |
2022-03-03 17:58:35 +0100 | <Henson> | maybe it knows about N*(N+1)/2 ? :-) |
2022-03-03 18:00:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:00:56 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:01:31 +0100 | <merijn> | Henson: so the issue is that you want the Close instance for Point3D to default to the default tolerance of Double, but *also* optionally specify your own? |
2022-03-03 18:02:51 +0100 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2022-03-03 18:03:02 +0100 | <Henson> | merijn: yes. I considered setting "closeTol = undefined" as the default class definition of that function, but that seems bad. If I didn't define it at all for instances where I'm not interested, I'd get a bunch of compiler warnings. |
2022-03-03 18:03:29 +0100 | Codaraxis__ | (~Codaraxis@user/codaraxis) |
2022-03-03 18:04:09 +0100 | <Henson> | merijn: because I want the user to know when they're trying to use the closeTol function when it isn't defined. I could also use the default definition as "closeTol _ = close" and simply throw away the tolerance value when it's not defined, but that would make the user unaware of when they're trying to use the closeTol function and the tolerance isn't actually being used. |
2022-03-03 18:04:29 +0100 | <Franciman> | lol the mlton team is 4 people |
2022-03-03 18:04:32 +0100 | <Franciman> | it's quite impressive |
2022-03-03 18:05:07 +0100 | <Franciman> | i guess there are other contributors |
2022-03-03 18:05:49 +0100 | <Franciman> | my next goal is go over the «why functional programming matters» paper |
2022-03-03 18:05:56 +0100 | <Franciman> | and try and implement the algorithms there in sml |
2022-03-03 18:06:12 +0100 | <Franciman> | and try to reach haskell's version performance |
2022-03-03 18:06:19 +0100 | <Franciman> | in the least amount of work possible |
2022-03-03 18:06:26 +0100 | <Henson> | Franciman: how do you like SML compared to Haskell? |
2022-03-03 18:07:13 +0100 | <Franciman> | i don't know sml much, but for now i like it! |
2022-03-03 18:07:21 +0100 | <Franciman> | the module system seems very cool |
2022-03-03 18:07:28 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2022-03-03 18:07:30 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
2022-03-03 18:07:38 +0100 | <Franciman> | and i like that it has a formal semantics specified, so i can try and implement my interpreter :P |
2022-03-03 18:08:28 +0100 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
2022-03-03 18:09:45 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-03 18:10:45 +0100 | zmt00 | (~zmt00@user/zmt00) |
2022-03-03 18:11:37 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
2022-03-03 18:12:35 +0100 | <Franciman> | i also favour the default strictness |
2022-03-03 18:14:38 +0100 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
2022-03-03 18:15:17 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2022-03-03 18:16:47 +0100 | <lechner> | Hi, could someone please help me how to replace the outdated constructor ThisVersion in this pattern with the more modern thisVersion? https://github.com/nomeata/hpvt/blob/master/PlatformOutput.hs#L50 |
2022-03-03 18:16:54 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
2022-03-03 18:19:42 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
2022-03-03 18:21:45 +0100 | asthasr | (~asthasr@208.80.78.154) |
2022-03-03 18:23:07 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Remote host closed the connection) |
2022-03-03 18:25:00 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:25:20 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:27:06 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:27:25 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:27:37 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
2022-03-03 18:29:17 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:29:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:30:15 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-03 18:30:29 +0100 | jespada_ | (~jespada@85.255.234.170) (Quit: Textual IRC Client: www.textualapp.com) |
2022-03-03 18:30:50 +0100 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:8433:129d:16c2:6bdb) (Remote host closed the connection) |
2022-03-03 18:31:25 +0100 | meer | (~delicacie@2601:6c4:4080:3f80:55e3:a4ac:dc60:2b79) |
2022-03-03 18:32:01 +0100 | Inst | (~delicacie@2601:6c4:4080:3f80:8d53:e1e0:93f9:3bd7) (Ping timeout: 245 seconds) |
2022-03-03 18:32:18 +0100 | deer | (~delicacie@2601:6c4:4080:3f80:64ae:8d65:326:7bc) |
2022-03-03 18:33:58 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:34:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:34:29 +0100 | Akiva | (~Akiva@user/Akiva) |
2022-03-03 18:35:24 +0100 | <dolio> | lechner: Maybe you should just import the .Internal module that exports the constructor. |
2022-03-03 18:35:58 +0100 | meer | (~delicacie@2601:6c4:4080:3f80:55e3:a4ac:dc60:2b79) (Ping timeout: 260 seconds) |
2022-03-03 18:38:02 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:38:16 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-03-03 18:38:21 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:39:37 +0100 | <dolio> | Otherwise you have to use one of the fold functions provided in the 'official' interface, but those just seem more cumbersome for what you're doing there. |
2022-03-03 18:40:33 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 18:43:21 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2022-03-03 18:43:37 +0100 | emf | (~emf@2620:10d:c090:400::5:e2d5) |
2022-03-03 18:44:46 +0100 | agumonkey | (~user@88.163.231.79) |
2022-03-03 18:44:56 +0100 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
2022-03-03 18:45:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
2022-03-03 18:48:20 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 26.3)) |
2022-03-03 18:50:11 +0100 | <lechner> | dolio: Hi, can i use the more modern, lower-case 'thisVersion' outside the pattern? |
2022-03-03 18:50:20 +0100 | mncheck | (~mncheck@193.224.205.254) |
2022-03-03 18:50:40 +0100 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
2022-03-03 18:51:55 +0100 | <dolio> | Most likely. |
2022-03-03 18:52:38 +0100 | <dolio> | It seems that the constructors are hidden because there is some denormalization about how certain versions are represented. |
2022-03-03 18:54:01 +0100 | <dolio> | Although the 'cataVersionRange' stuff provides the full information, so I guess I don't quite get it. |
2022-03-03 18:56:03 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:56:05 +0100 | econo | (uid147250@user/econo) |
2022-03-03 18:56:23 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:58:03 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 18:58:06 +0100 | Topsi | (~Tobias@dyndsl-095-033-024-063.ewe-ip-backbone.de) |
2022-03-03 18:58:22 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 18:59:15 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
2022-03-03 19:00:04 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) |
2022-03-03 19:00:57 +0100 | <Topsi> | For (>>=) we have the name `bind`. Is there such a name for (>>)? |
2022-03-03 19:01:19 +0100 | k8yun | (~k8yun@user/k8yun) |
2022-03-03 19:01:21 +0100 | <dolio> | "And then"? |
2022-03-03 19:01:58 +0100 | <WhateverRabbit> | "And then" it is literally bind |
2022-03-03 19:02:13 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2022-03-03 19:02:23 +0100 | <Topsi> | Would it make sense to call it seq or monadic seq? |
2022-03-03 19:02:29 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2022-03-03 19:03:22 +0100 | <WhateverRabbit> | foo.andThen(x => bar(x).andThen(y => baz(y))) |
2022-03-03 19:05:18 +0100 | <WhateverRabbit> | You can't call it seq because there is such function, but i think monadic seq iss pretty good choice |
2022-03-03 19:06:16 +0100 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
2022-03-03 19:06:26 +0100 | <Franciman> | how can i enable LTO in ghc? |
2022-03-03 19:09:18 +0100 | notzmv | (~zmv@user/notzmv) |
2022-03-03 19:10:39 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
2022-03-03 19:18:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
2022-03-03 19:20:32 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 19:20:52 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 19:21:00 +0100 | k8yun_ | (~k8yun@user/k8yun) |
2022-03-03 19:21:17 +0100 | MajorBiscuit | (~MajorBisc@c-001-015-039.client.tudelft.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-03 19:21:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
2022-03-03 19:23:09 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 256 seconds) |
2022-03-03 19:23:41 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 256 seconds) |
2022-03-03 19:27:42 +0100 | coot | (~coot@213.134.190.95) |
2022-03-03 19:30:26 +0100 | mastarija | (~mastarija@2a05:4f46:e04:6000:a4cb:68c9:de1e:1202) (Quit: Leaving) |
2022-03-03 19:31:40 +0100 | <Franciman> | lol ghc is losing damn hard at mlton |
2022-03-03 19:31:49 +0100 | justAstache | (~justache@user/justache) (Ping timeout: 240 seconds) |
2022-03-03 19:31:58 +0100 | <lechner> | why does this 'where' occur before buildDependsMap is actually used? https://github.com/nomeata/hpvt/blob/master/PlatformOutput.hs#L49 |
2022-03-03 19:33:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 19:33:11 +0100 | <merijn> | ?? |
2022-03-03 19:33:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2022-03-03 19:33:21 +0100 | <dolio> | It's the `where` for `mkTable`. |
2022-03-03 19:33:24 +0100 | <merijn> | The where belongs to mkTable |
2022-03-03 19:33:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2022-03-03 19:33:55 +0100 | <merijn> | man...some long term Haskellers really write some godawful looking code >.> |
2022-03-03 19:34:01 +0100 | <lechner> | why symbol is being defined by the clause(s) |
2022-03-03 19:34:05 +0100 | <lechner> | which |
2022-03-03 19:34:46 +0100 | <Franciman> | topkek |
2022-03-03 19:35:47 +0100 | <merijn> | lechner: There's 8 being defined in that block |
2022-03-03 19:36:37 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:c19d:39a5:11c7:fcb0) |
2022-03-03 19:37:30 +0100 | <lechner> | which one is being used for mkTable? |
2022-03-03 19:38:09 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-03 19:38:32 +0100 | <merijn> | hmm? |
2022-03-03 19:39:07 +0100 | justAstache | (~justache@user/justache) |
2022-03-03 19:39:18 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) (Remote host closed the connection) |
2022-03-03 19:39:20 +0100 | <lechner> | isn't the 'where' a "post-let"? |
2022-03-03 19:39:31 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2022-03-03 19:39:33 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds) |
2022-03-03 19:40:04 +0100 | <merijn> | not in any way that is sensible to me |
2022-03-03 19:40:47 +0100 | <merijn> | where introduces a block of bindings associated with the preceding binding/module definition |
2022-03-03 19:42:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 19:42:57 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 19:43:26 +0100 | Psybur | (~Psybur@mobile-166-171-56-243.mycingular.net) |
2022-03-03 19:43:55 +0100 | <lechner> | but what is the point of bind "buildDependsMap pd" when it is not being used? |
2022-03-03 19:44:00 +0100 | <lechner> | binding |
2022-03-03 19:44:17 +0100 | <merijn> | It is being used? |
2022-03-03 19:44:32 +0100 | <lechner> | before the 'where'? |
2022-03-03 19:44:49 +0100 | <merijn> | Yes. Indirectly |
2022-03-03 19:45:18 +0100 | <merijn> | buildDependsMap is used in the binding of maps, which is used in the binding of pkgs, which is used |
2022-03-03 19:46:02 +0100 | <lechner> | i see |
2022-03-03 19:46:16 +0100 | <lechner> | it may be easier to find america |
2022-03-03 19:49:07 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
2022-03-03 19:49:55 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
2022-03-03 19:50:34 +0100 | <Franciman> | i can't tell you how happy i am |
2022-03-03 19:50:43 +0100 | <Franciman> | to try the examples in why functional programming matters |
2022-03-03 19:50:47 +0100 | <Franciman> | they are so cool |
2022-03-03 19:51:08 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-03-03 19:53:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d4cb:ae21:cf60:e6bc) |
2022-03-03 19:55:40 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
2022-03-03 19:56:32 +0100 | unit73e | (~ecouto@2001:818:e8dd:7c00:fb1b:fecb:4b1f:fc93) (Quit: Leaving) |
2022-03-03 19:56:34 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
2022-03-03 20:00:12 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 20:00:17 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
2022-03-03 20:00:32 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 20:01:42 +0100 | ikowasz | (~ikowasz@178235191078.dynamic-4-waw-k-3-3-0.vectranet.pl) |
2022-03-03 20:01:50 +0100 | ikowasz | (~ikowasz@178235191078.dynamic-4-waw-k-3-3-0.vectranet.pl) (Leaving) |
2022-03-03 20:02:57 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2022-03-03 20:03:17 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-03 20:04:16 +0100 | <janus> | lechner: how would you prefer to have this code written? with more top-level definitions? |
2022-03-03 20:04:47 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:403:7e11:65d2:d468) (Remote host closed the connection) |
2022-03-03 20:05:01 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:b3b1:50d7:298:a656) |
2022-03-03 20:05:07 +0100 | <janus> | i like having bindings defined such that later definitions depend on earlier ones, and this code does that |
2022-03-03 20:05:52 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-03 20:06:55 +0100 | <lechner> | as a newbie, i think i need more top-level functions |
2022-03-03 20:07:08 +0100 | <janus> | and imho there is an argument for having bindings *not* be top-level, such that you know where the function can be used |
2022-03-03 20:07:27 +0100 | <lechner> | to preserve the name space? |
2022-03-03 20:07:48 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
2022-03-03 20:08:04 +0100 | <lechner> | why can this not be top-level? https://github.com/nomeata/hpvt/blob/master/PlatformOutput.hs#L85 |
2022-03-03 20:08:06 +0100 | DNH | (~DNH@2a02:8109:b740:2c4:84ab:7996:1b4c:abb5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-03 20:08:12 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2022-03-03 20:09:02 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-03 20:09:03 +0100 | <janus> | it could be, but as mentioned, because it is *not* top-level, you also know that it can't be e.g. exported and used in other modules |
2022-03-03 20:09:59 +0100 | <janus> | the name showVcmp would probably be unique anyway, so namespacing isn't necessarily an issue |
2022-03-03 20:10:04 +0100 | <AndreasK> | Everything can be top level by making the free vars arguments if you really want to. For the binding you linked I don't think it matters much |
2022-03-03 20:10:51 +0100 | <AndreasK> | For bigger modules it can help by making it obvious something is only used in one function. |
2022-03-03 20:11:22 +0100 | <lechner> | i actually do not not have strong opinion. i just can't figure out how to replace the deprecated ThisVersion with the modern thisVersion. I think that's because I misunderstand pattern matching, wich used so extensively here |
2022-03-03 20:11:54 +0100 | <lechner> | in fact, the error is PlatformOutput.hs:50:42: error: Parse error in pattern: thisVersion |
2022-03-03 20:12:38 +0100 | <lechner> | i think one is a type, and the other a function, but i could be wrong about that too |
2022-03-03 20:13:13 +0100 | <janus> | there is punning in Haskell, so ThisVersion can be both a data constructor (value level) and a type (type level) |
2022-03-03 20:13:43 +0100 | <janus> | if you had "newtype ThisVersion = ThisVersion String", the first occurance is the type level name, and the second occurrance is the value level name |
2022-03-03 20:13:56 +0100 | <monochrom> | Where can I see "thisVersion" in actual code? |
2022-03-03 20:14:10 +0100 | <lechner> | i just replaced it |
2022-03-03 20:14:39 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) |
2022-03-03 20:14:44 +0100 | <monochrom> | Ugh do you mean the equivalent of "I have this code 'f (Just x) = x' and I simply s/Just/just/"? |
2022-03-03 20:15:21 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-03 20:16:20 +0100 | <lechner> | i am trying to make sense of this https://hackage.haskell.org/package/Cabal-1.20.0.1/docs/Distribution-Version.html#t:VersionRange |
2022-03-03 20:16:24 +0100 | ishutin | (~ishutin@92-249-179-24.pool.digikabel.hu) (Ping timeout: 250 seconds) |
2022-03-03 20:16:55 +0100 | <lechner> | thisVersion also take a Version and produces a VersionRange |
2022-03-03 20:17:00 +0100 | <lechner> | takes |
2022-03-03 20:17:38 +0100 | <lechner> | but the function cannot go into the pattern i do not think |
2022-03-03 20:17:47 +0100 | <dolio> | `thisVersion` is only a replacement for building VersionRanges. |
2022-03-03 20:18:02 +0100 | ishutin | (~ishutin@84-236-55-95.pool.digikabel.hu) |
2022-03-03 20:18:09 +0100 | <lechner> | as opposed to? |
2022-03-03 20:18:16 +0100 | <monochrom> | Perhaps you will have to look into foldVersionRange |
2022-03-03 20:18:32 +0100 | <dolio> | The other things in the deprecation message are ways of taking them apart. |
2022-03-03 20:18:48 +0100 | <monochrom> | And that's right it also means you can't use pattern matching. |
2022-03-03 20:18:50 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-03 20:20:30 +0100 | <lechner> | what does the pattern match achieve here, conceptually, that a function cannot? |
2022-03-03 20:20:55 +0100 | <monochrom> | It is similar to "maybe" (it does the patterns Nothing and Just x for you) and "either" (it does the patterns Left x and Right y for you). |
2022-03-03 20:20:59 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:b3b1:50d7:298:a656) (Remote host closed the connection) |
2022-03-03 20:21:48 +0100 | yauhsien | (~Yau-Hsien@61-231-36-13.dynamic-ip.hinet.net) (Quit: Leaving) |
2022-03-03 20:22:06 +0100 | <lechner> | does the original code save a conditional because of it? |
2022-03-03 20:22:11 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:b7bd:30cb:4be8:9dec) |
2022-03-03 20:22:22 +0100 | <monochrom> | And then there is always the null hypothesis of "this is merely deprecated, we need not really avoid it for now" |
2022-03-03 20:22:33 +0100 | <merijn> | lechner: I mean, that'd be up to you to figure out, since you're the one trying to modify it, no? :) |
2022-03-03 20:22:55 +0100 | <lechner> | is this a place to come for help? |
2022-03-03 20:23:56 +0100 | <lechner> | the distribution info for debian on hackage is three years old. this code will update it |
2022-03-03 20:25:09 +0100 | ishutin | (~ishutin@84-236-55-95.pool.digikabel.hu) (Ping timeout: 256 seconds) |
2022-03-03 20:25:13 +0100 | <geekosaur> | I am tempted to say, from the questions I'm seeing from you in backscroll, that a quick trip through cis194 will help you |
2022-03-03 20:25:50 +0100 | <merijn> | Yes, no, maybe, it depends. The likelihood of help correlates how much personal effort people here have to invest to answer a question. "what can a pattern match achieve conceptually that a function cannot" is so wildly open ended I don't know where to begin and thus can't be arsed |
2022-03-03 20:26:51 +0100 | ishutin | (~ishutin@92-249-141-244.pool.digikabel.hu) |
2022-03-03 20:27:24 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
2022-03-03 20:27:52 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2022-03-03 20:28:06 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2022-03-03 20:28:08 +0100 | <monochrom> | I know where to end though. "Learn Haskell" :) |
2022-03-03 20:28:27 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
2022-03-03 20:28:37 +0100 | ishutin | (~ishutin@92-249-141-244.pool.digikabel.hu) (Read error: Connection reset by peer) |
2022-03-03 20:29:04 +0100 | <monochrom> | But I have already pointed to the simpler examples of "maybe" and "either". foldVersionRange is just the same concept on steroid. |
2022-03-03 20:29:36 +0100 | <janus> | lechner: sure this is a place for help, but if the questions demonstrate that you havn't done the basic exercises people will be less inclined... i think cis194 is a good recommendation even though i havn't tried it myself |
2022-03-03 20:30:01 +0100 | <janus> | i just tried to find a good section on pattern matching and data constructors in LYAH but i couldn't :O |
2022-03-03 20:30:11 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
2022-03-03 20:30:17 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-03 20:30:21 +0100 | <janus> | i just love the cute pictures in LYAH too much, but maybe it isn't actually a good book :P |
2022-03-03 20:30:26 +0100 | <merijn> | janus: that's because LYAH's just objectively "not that good" :) |
2022-03-03 20:30:31 +0100 | <janus> | yeah i know people say that |
2022-03-03 20:30:35 +0100 | <janus> | but they pictures are so cute |
2022-03-03 20:31:39 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-03 20:31:50 +0100 | <janus> | and then i thought, people say that the Gentle Introduction is absolutely Brutal, and sure enough, it was so concise i couldn't even find a chapter on how pattern matching and data constructors fit together |
2022-03-03 20:32:08 +0100 | <merijn> | janus: The Gentle Intro assumes a background in ML-style languages |
2022-03-03 20:32:24 +0100 | <merijn> | janus: so it assumes pattern matching is something obvious you're used to |
2022-03-03 20:33:00 +0100 | ishutin | (~ishutin@84-236-55-20.pool.digikabel.hu) |
2022-03-03 20:33:05 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-03 20:34:01 +0100 | <geekosaur> | yeh. I found it not so brutal but I had some SMLNJ experience |
2022-03-03 20:40:22 +0100 | <monochrom> | A whole chapter on just that would be overkill OTOH. |
2022-03-03 20:40:54 +0100 | <monochrom> | Unless the reader actively wants to be active insulted by being condescended to. |
2022-03-03 20:41:04 +0100 | <janus> | well i was thinking about how there are so many ways to express the same thing with patterns for records |
2022-03-03 20:41:43 +0100 | <janus> | LambdaCase, NamedFieldPuns, RecordWildCards, using the record constructor with positions instead of field names (how do i properly refer to that?) |
2022-03-03 20:42:51 +0100 | <janus> | and that's not even getting into bidirectional patterns synonyms or ViewPatterns |
2022-03-03 20:43:07 +0100 | <dolio> | I wouldn't expect any book to cover that. |
2022-03-03 20:44:26 +0100 | <dolio> | Half a dozen different convenient syntaxes for records is not really essential to understanding pattern matching. |
2022-03-03 20:45:09 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 20:45:58 +0100 | <janus> | agreed, i am just saying that a chapter could be written if one was so inclined :P |
2022-03-03 20:46:21 +0100 | <telser_> | If any book tried to cover all the extensions applicable to any given topic.. nobody would read that book for sheer length. |
2022-03-03 20:48:34 +0100 | <monochrom> | A whole chapter devoted to the concepts of algebraic data types is about right. Pattern matching is just a corollary. |
2022-03-03 20:48:39 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 20:48:41 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
2022-03-03 20:48:52 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 20:49:21 +0100 | Akiva | (~Akiva@user/Akiva) |
2022-03-03 20:51:40 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2022-03-03 20:52:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
2022-03-03 20:52:39 +0100 | <kaol> | I'm doing some PTY programming with Haskell. Because why not. Some newer terminal emulators have decided that SGR 1 no longer changes colors, leading to some less than useful things like bold black text on black background. So I made a thingy that runs another program and reinterprets SGR 1 to use colors in range 90-97 instead. |
2022-03-03 20:53:15 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds) |
2022-03-03 20:54:03 +0100 | <WhateverRabbit> | telser_: you can read a GHC user guide instead |
2022-03-03 20:54:26 +0100 | Lord_of_Life_ | Lord_of_Life |
2022-03-03 20:54:27 +0100 | <monochrom> | Indeed, nobody reads that book for sheer length. >:) |
2022-03-03 20:54:33 +0100 | <monochrom> | (OK I lied. I read it.) |
2022-03-03 20:54:42 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2022-03-03 20:54:47 +0100 | <geekosaur> | I both read it and keep it open for reference |
2022-03-03 20:54:57 +0100 | <geekosaur> | but I know I'ma rare bird there |
2022-03-03 20:55:30 +0100 | <monochrom> | (But it's the #1 reason why people ask on IRC instead of knowing that the questions are already answered there, very directly too.) |
2022-03-03 20:55:54 +0100 | <dolio> | Yeah, the users guide is the book on that. The point of other books is to get you the background to just look at the users guide for things you want. |
2022-03-03 20:56:10 +0100 | <dolio> | You don't need a separate book to include an outdated snapshot of the users guide. |
2022-03-03 20:56:12 +0100 | <merijn> | I've said it before: Not enough people read the GHC User's Guide |
2022-03-03 20:56:14 +0100 | Pickchea | (~private@user/pickchea) |
2022-03-03 20:56:28 +0100 | <merijn> | Like, if you do any amount of Haskell programming, just skim it once a year |
2022-03-03 20:56:56 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
2022-03-03 20:57:19 +0100 | telser_ | telser |
2022-03-03 20:57:56 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 20:58:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 20:58:28 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
2022-03-03 20:58:41 +0100 | komikat | (~komikat@117.199.167.81) |
2022-03-03 20:59:00 +0100 | <telser> | Yes my point was if another book started to include all the extensions you would end up so long it wouldn't be read, similar to the users guide |
2022-03-03 20:59:24 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 20:59:48 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2022-03-03 20:59:50 +0100 | <monochrom> | The secret recipe of success for a lot of us is that on day 1, we take a look at the table of contents and remember it. (We don't need to read the whole book on day 1.) Then years later, when we need something, we know where to look. |
2022-03-03 21:00:08 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 21:00:14 +0100 | <monochrom> | Then again, success recipes are written by the victors :) |
2022-03-03 21:01:07 +0100 | komikat_ | (~komikat@157.38.216.244) |
2022-03-03 21:01:26 +0100 | wildsebastian | (~wildsebas@2001:470:69fc:105::1:14b1) |
2022-03-03 21:02:27 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 21:02:31 +0100 | mason0 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
2022-03-03 21:02:41 +0100 | <geekosaur> | lechner: please understand that we're not trying to be condescending. you look like you've been tossed into a project and you're in over your head. and it shows in e.g. your not really understanding Haskell's pattern matching |
2022-03-03 21:03:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
2022-03-03 21:03:33 +0100 | komikat | (~komikat@117.199.167.81) (Ping timeout: 272 seconds) |
2022-03-03 21:03:33 +0100 | <geekosaur> | were I you, I'd start out by going through CIS194 to get the basics, then something like Real World Haskell to see how to use it in actual projects, before trying to refactor someone else's project |
2022-03-03 21:03:37 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 240 seconds) |
2022-03-03 21:03:45 +0100 | <geekosaur> | @where CIS194 |
2022-03-03 21:03:45 +0100 | <lambdabot> | https://www.seas.upenn.edu/~cis194/spring13/lectures.html |
2022-03-03 21:03:46 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
2022-03-03 21:03:50 +0100 | <geekosaur> | @where RWH |
2022-03-03 21:03:50 +0100 | <lambdabot> | http://www.realworldhaskell.org/blog/ http://book.realworldhaskell.org/read/ |
2022-03-03 21:05:13 +0100 | <geekosaur> | this is made worse by the fact that Haskell is very different not only from commonly usedlanguages, but even than other languages in its own language family. So experience from other languages can be useless or (even worse) potentially misleading |
2022-03-03 21:05:23 +0100 | <geekosaur> | this is *not* easy! |
2022-03-03 21:06:35 +0100 | <geekosaur> | and trying to refactor someone else'scodebase is close to the worst possible way to get a handle on a new lnaguage, especially one so different from whatyou're used to |
2022-03-03 21:07:22 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2022-03-03 21:07:40 +0100 | <lechner> | i think i do understand it pattern matching. i use it, however clumsily, with some frequncy. https://salsa.debian.org/lintian/detagtive/-/blob/history/qa-list/GenerateQAList.hs#L160-161 |
2022-03-03 21:08:58 +0100 | <lechner> | my issue is (1) that i don't get the 'where' and (2) that my fascination with haskell exceeds my abilities, but the latter is pretty common i think |
2022-03-03 21:13:01 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2022-03-03 21:13:30 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
2022-03-03 21:15:36 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2022-03-03 21:16:03 +0100 | coot | (~coot@213.134.190.95) |
2022-03-03 21:16:22 +0100 | Erutuon | (~Erutuon@user/erutuon) |
2022-03-03 21:16:28 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
2022-03-03 21:16:56 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
2022-03-03 21:16:58 +0100 | <lechner> | and if pattern matching is such a great technique, why did someone go through great length to hide this particular constructor, please? https://hackage.haskell.org/package/Cabal-3.6.2.0/docs/Distribution-Types-VersionRange-Internal.html |
2022-03-03 21:17:18 +0100 | <geekosaur> | usually for flexibility |
2022-03-03 21:17:27 +0100 | <geekosaur> | there are many upsides to pattern matching |
2022-03-03 21:17:36 +0100 | <geekosaur> | one downside is it doesn't handle things like ranges well |
2022-03-03 21:17:51 +0100 | <geekosaur> | and the code you've been showing us wants to deal with version ranges |
2022-03-03 21:18:24 +0100 | <geekosaur> | in paritcular, anything that has a runtime component such as an iteration or a range is not well suited to a pattern match |
2022-03-03 21:18:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2022-03-03 21:18:46 +0100 | <monochrom> | For abstraction. And in turn, abstraction is for "what if one day I want to change an internal detail that shouldn't matter outside?" |
2022-03-03 21:19:37 +0100 | <monochrom> | For example you can see that Data.Ratio does not expose its data constructor even though it could. |
2022-03-03 21:21:41 +0100 | <lechner> | is f x,y the same as f (x,y) please? |
2022-03-03 21:22:16 +0100 | <dolio> | No. |
2022-03-03 21:22:47 +0100 | <janus> | "f x,y" is not an expression |
2022-03-03 21:23:16 +0100 | <lechner> | what is this, please? https://github.com/nomeata/hpvt/blob/master/PlatformOutput.hs#L50 |
2022-03-03 21:23:31 +0100 | <[exa]> | that's in parentheses |
2022-03-03 21:23:35 +0100 | <tomsmeding> | that's a pair with two items: fromCabal pkg, and ver |
2022-03-03 21:23:36 +0100 | <[exa]> | parses as ((f x), (y)) |
2022-03-03 21:23:37 +0100 | <lechner> | (f x, y) ? |
2022-03-03 21:23:49 +0100 | <lechner> | great! |
2022-03-03 21:25:46 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 21:26:05 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 21:26:37 +0100 | ishutin | (~ishutin@84-236-55-20.pool.digikabel.hu) (Ping timeout: 240 seconds) |
2022-03-03 21:26:56 +0100 | <reactormonk[m]> | How do I combine two prisms pointing to the same type (but different fields) into one? |
2022-03-03 21:28:11 +0100 | <[exa]> | reactormonk[m]: by "combining" you mean something like getting a prism to a tuple of the two? |
2022-03-03 21:28:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 21:28:30 +0100 | ishutin | (~ishutin@92-249-141-166.pool.digikabel.hu) |
2022-03-03 21:29:36 +0100 | <reactormonk[m]> | More that I can modify both at the same time with a traversal |
2022-03-03 21:32:00 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 21:32:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 21:33:10 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) |
2022-03-03 21:34:26 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
2022-03-03 21:36:06 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 21:36:13 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 21:36:26 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 21:37:00 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
2022-03-03 21:37:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:c864:fc8b:2d0b:834a) (Ping timeout: 240 seconds) |
2022-03-03 21:38:29 +0100 | <[exa]> | hm that should work but I can't remember if it has a name |
2022-03-03 21:39:41 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 21:40:43 +0100 | <reactormonk[m]> | The untainted here? https://stackoverflow.com/questions/17528119/combining-lenses |
2022-03-03 21:42:54 +0100 | <[exa]> | yeah looks like the /\ from the second answer there could work |
2022-03-03 21:43:57 +0100 | <[exa]> | hm that should be doable for [] too |
2022-03-03 21:44:43 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
2022-03-03 21:47:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 21:47:36 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 21:49:27 +0100 | <xdej> | g |
2022-03-03 21:49:47 +0100 | deadmarshal_ | (~deadmarsh@95.38.112.14) (Ping timeout: 272 seconds) |
2022-03-03 21:51:30 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 21:51:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 21:53:32 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 21:53:50 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 21:54:07 +0100 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2022-03-03 21:54:29 +0100 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) |
2022-03-03 21:54:45 +0100 | <[exa]> | reactormonk[m]: this might be relevant https://github.com/ekmett/lens/issues/109#issuecomment-10668862 |
2022-03-03 21:57:30 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 21:57:49 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 21:59:30 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 21:59:49 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:00:00 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
2022-03-03 22:01:40 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:01:59 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:03:39 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:03:57 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:05:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:05:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 22:05:57 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:05:59 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 22:06:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) |
2022-03-03 22:07:49 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
2022-03-03 22:09:34 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
2022-03-03 22:11:17 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2022-03-03 22:11:25 +0100 | Guest51 | (~Guest51@177.223.160.81) |
2022-03-03 22:12:51 +0100 | Guest51 | (~Guest51@177.223.160.81) (Client Quit) |
2022-03-03 22:13:29 +0100 | pavonia | (~user@user/siracusa) |
2022-03-03 22:15:37 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 22:17:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:17:38 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:19:18 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:19:36 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:20:29 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
2022-03-03 22:20:40 +0100 | komikat_ | (~komikat@157.38.216.244) (Remote host closed the connection) |
2022-03-03 22:21:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 22:21:56 +0100 | komikat | (~komikat@117.199.167.81) |
2022-03-03 22:22:05 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 22:27:48 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 240 seconds) |
2022-03-03 22:29:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 22:29:20 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 22:29:27 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2022-03-03 22:31:19 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 22:34:54 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:35:12 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:35:26 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) |
2022-03-03 22:35:30 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 250 seconds) |
2022-03-03 22:35:36 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2022-03-03 22:35:47 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
2022-03-03 22:36:50 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
2022-03-03 22:38:04 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
2022-03-03 22:39:53 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
2022-03-03 22:41:33 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:41:53 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:42:16 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
2022-03-03 22:43:56 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Remote host closed the connection) |
2022-03-03 22:44:14 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) |
2022-03-03 22:45:56 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2022-03-03 22:49:17 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
2022-03-03 22:50:41 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:917f:cb7a:6a6c:cd7) (Remote host closed the connection) |
2022-03-03 22:52:15 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
2022-03-03 22:52:16 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
2022-03-03 22:53:02 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
2022-03-03 22:54:05 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
2022-03-03 22:55:02 +0100 | bahamas | (~lucian@84.232.140.52) |
2022-03-03 22:56:46 +0100 | komikat | (~komikat@117.199.167.81) (Read error: Connection reset by peer) |
2022-03-03 22:56:55 +0100 | <remexre> | if I'm getting a segfault from some native code I link to, is there a good way to get a _haskell_ stack trace? |
2022-03-03 22:58:34 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-03-03 22:58:41 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
2022-03-03 22:59:51 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
2022-03-03 23:01:12 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-03-03 23:01:32 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
2022-03-03 23:01:42 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer) |
2022-03-03 23:01:50 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
2022-03-03 23:02:11 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2022-03-03 23:04:24 +0100 | cc123652345762 | (~cc1236523@113.89.32.178) (Ping timeout: 256 seconds) |
2022-03-03 23:04:31 +0100 | komikat | (~komikat@117.199.167.81) |
2022-03-03 23:07:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:3c1e:11a0:debc:333e) (Ping timeout: 240 seconds) |
2022-03-03 23:08:29 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
2022-03-03 23:09:53 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2022-03-03 23:09:59 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
2022-03-03 23:13:00 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
2022-03-03 23:13:58 +0100 | cynomys | (~cynomys@user/cynomys) |
2022-03-03 23:14:14 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-03-03 23:14:35 +0100 | jstolarek | (~jstolarek@staticline-31-183-165-217.toya.net.pl) (Ping timeout: 256 seconds) |
2022-03-03 23:17:11 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
2022-03-03 23:19:58 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
2022-03-03 23:21:40 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
2022-03-03 23:23:25 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
2022-03-03 23:24:26 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2022-03-03 23:27:38 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
2022-03-03 23:28:45 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds) |
2022-03-03 23:30:12 +0100 | ishutin | (~ishutin@92-249-141-166.pool.digikabel.hu) (Ping timeout: 240 seconds) |
2022-03-03 23:32:04 +0100 | Cena | (~cena@c-107-4-204-12.hsd1.mn.comcast.net) |
2022-03-03 23:32:09 +0100 | ishutin | (~ishutin@84-236-40-213.pool.digikabel.hu) |
2022-03-03 23:32:15 +0100 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
2022-03-03 23:33:32 +0100 | greyrat_ | (~greyrat@ip202.ip-51-178-215.eu) (Ping timeout: 240 seconds) |
2022-03-03 23:33:38 +0100 | greyrat | (~greyrat@ip202.ip-51-178-215.eu) |
2022-03-03 23:34:40 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.214) |
2022-03-03 23:34:47 +0100 | <Franciman> | so the problem was that foldr is too lazy |
2022-03-03 23:35:08 +0100 | <Franciman> | switching to foldl' made it faster than mlton |
2022-03-03 23:35:33 +0100 | Inoperable | (~PLAYER_1@fancydata.science) (Ping timeout: 272 seconds) |
2022-03-03 23:36:12 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
2022-03-03 23:36:39 +0100 | dexter | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
2022-03-03 23:36:49 +0100 | Trattue- | (~Trattue@152.70.182.158) |
2022-03-03 23:36:56 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2022-03-03 23:37:48 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2022-03-03 23:39:15 +0100 | deadmarshal_ | (~deadmarsh@95.38.115.214) (Ping timeout: 256 seconds) |
2022-03-03 23:39:39 +0100 | In0perable | (~PLAYER_1@fancydata.science) |
2022-03-03 23:39:48 +0100 | <monochrom> | Whenever this happens, the cost of foldr is not just laziness. I.e., even in mlton, foldr would have a high cost. |
2022-03-03 23:40:04 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
2022-03-03 23:40:16 +0100 | Trattue | (~Trattue@152.70.182.158) (Quit: bye) |
2022-03-03 23:40:16 +0100 | dexterfoo | (~dexter@li655-253.members.linode.com) (Ping timeout: 250 seconds) |
2022-03-03 23:47:00 +0100 | ishutin | (~ishutin@84-236-40-213.pool.digikabel.hu) (Ping timeout: 240 seconds) |
2022-03-03 23:47:22 +0100 | fendor_ | (~fendor@77.119.173.210.wireless.dyn.drei.com) (Quit: Leaving) |
2022-03-03 23:47:27 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2022-03-03 23:47:50 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
2022-03-03 23:48:05 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
2022-03-03 23:49:03 +0100 | ishutin | (~ishutin@91-83-1-235.pool.digikabel.hu) |
2022-03-03 23:57:45 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) |
2022-03-03 23:58:16 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
2022-03-03 23:58:37 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:b7bd:30cb:4be8:9dec) (Remote host closed the connection) |