IRCBrowse

2021/09/23

2021-09-23 00:00:45 +0200dumbsharka(~amirvince@user/amirvincent64)
2021-09-23 00:01:03 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2.1)
2021-09-23 00:01:21 +0200max22-(~maxime@2a01cb0883359800388d3ba1f1b932ab.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-09-23 00:09:09 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-09-23 00:09:19 +0200michalz(~michalz@185.246.204.61) (Remote host closed the connection)
2021-09-23 00:14:04 +0200danso(~danso@23.233.111.52) (Quit: WeeChat 3.2)
2021-09-23 00:14:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 00:16:19 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 00:16:29 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 00:19:00 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 00:21:14 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 00:23:49 +0200eruditass(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 00:27:29 +0200deejaytee(~deejaytee@vpn-fn-228.net.ed.ac.uk) (Ping timeout: 246 seconds)
2021-09-23 00:27:45 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-23 00:27:55 +0200maroloccio(~marolocci@93-136-18-134.adsl.net.t-com.hr) (Quit: WeeChat 3.0)
2021-09-23 00:28:55 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 00:33:42 +0200xff0x(~xff0x@2001:1a81:53e4:c100:b3ec:1b10:ec18:8c2) (Ping timeout: 260 seconds)
2021-09-23 00:34:28 +0200xff0x(~xff0x@2001:1a81:53e4:c100:9734:4648:32e:324)
2021-09-23 00:35:58 +0200Guest30(~Guest30@c-73-184-127-183.hsd1.ga.comcast.net)
2021-09-23 00:36:26 +0200Guest30(~Guest30@c-73-184-127-183.hsd1.ga.comcast.net) (Client Quit)
2021-09-23 00:36:53 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 00:39:13 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-09-23 00:39:40 +0200euandreh_(~euandreh@2804:14c:33:9fe5:b7ad:e92:1630:34c7) (Ping timeout: 260 seconds)
2021-09-23 00:39:45 +0200ec(~ec@gateway/tor-sasl/ec)
2021-09-23 00:40:26 +0200euandreh_(~euandreh@2804:14c:33:9fe5:220c:6f8c:d2f2:cb9)
2021-09-23 00:43:17 +0200Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 264 seconds)
2021-09-23 00:44:38 +0200euandreh_(~euandreh@2804:14c:33:9fe5:220c:6f8c:d2f2:cb9) (Ping timeout: 246 seconds)
2021-09-23 00:45:34 +0200brainfreeze(~brainfree@2a03:1b20:4:f011::20d)
2021-09-23 00:48:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 00:56:11 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2021-09-23 00:57:51 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2021-09-23 01:05:36 +0200euandreh_(~euandreh@2804:14c:33:9fe5:53a9:7ace:bc32:5ab9)
2021-09-23 01:10:34 +0200yinghua_(~yinghua@2800:2121:1400:1db:8c9e:15bc:1174:e66f)
2021-09-23 01:11:30 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 265 seconds)
2021-09-23 01:12:59 +0200yinghua(~yinghua@2800:2121:1400:1db:28cd:b538:6ec9:eacd) (Ping timeout: 246 seconds)
2021-09-23 01:13:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 01:13:14 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 01:13:14 +0200wroathe(~wroathe@user/wroathe)
2021-09-23 01:18:16 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-23 01:19:30 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 01:19:31 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 01:19:31 +0200wroathe(~wroathe@user/wroathe)
2021-09-23 01:20:29 +0200euandreh_(~euandreh@2804:14c:33:9fe5:53a9:7ace:bc32:5ab9) (Ping timeout: 264 seconds)
2021-09-23 01:21:04 +0200euandreh_(~euandreh@2804:14c:33:9fe5:1ad2:21b6:1fe4:5cba)
2021-09-23 01:27:14 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-09-23 01:36:42 +0200euandreh_(~euandreh@2804:14c:33:9fe5:1ad2:21b6:1fe4:5cba) (Ping timeout: 260 seconds)
2021-09-23 01:37:50 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 01:42:12 +0200favonia(~favonia@user/favonia) (Quit: Leaving)
2021-09-23 01:42:31 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-09-23 01:48:41 +0200acidjnk(~acidjnk@p200300d0c703cb65087a628f3300f5c4.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-09-23 01:49:12 +0200Guest8325(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-23 01:56:19 +0200chris(~chris@81.96.113.213)
2021-09-23 01:56:23 +0200chrisGuest8432
2021-09-23 02:01:17 +0200Guest8432(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2021-09-23 02:02:50 +0200haskl(~haskl@user/haskl) (Ping timeout: 260 seconds)
2021-09-23 02:04:53 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2021-09-23 02:10:29 +0200khanred(~khanred@user/khanred) (Quit: Leaving)
2021-09-23 02:11:13 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-09-23 02:16:49 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 02:16:55 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-23 02:18:12 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 02:19:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 02:20:36 +0200 <Axman6> janus: I sometimes feel like filter should have the type filter :: (a -> Maybe a) -> [a] -> [a] because it is clear(er) which results are kept and rejected, but that also too general
2021-09-23 02:20:54 +0200 <glguy> :t mapMaybe
2021-09-23 02:20:55 +0200 <lambdabot> (a -> Maybe b) -> [a] -> [b]
2021-09-23 02:21:14 +0200 <Axman6> data KeepDrop = Keep | Drop; filter :: (a -> KeepDrop) -> [a] -> [a]
2021-09-23 02:21:40 +0200 <Axman6> at least that is clear whether you are filtering in or out
2021-09-23 02:22:38 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2021-09-23 02:23:38 +0200 <monochrom> > guard (== 10) [1, 10, 2, 10, 3]
2021-09-23 02:23:40 +0200 <lambdabot> error:
2021-09-23 02:23:40 +0200 <lambdabot> • Couldn't match expected type ‘Bool’ with actual type ‘a0 -> Bool’
2021-09-23 02:23:40 +0200 <lambdabot> • In the first argument of ‘guard’, namely ‘(== 10)’
2021-09-23 02:23:50 +0200 <monochrom> oops nevermind!
2021-09-23 02:24:30 +0200 <monochrom> But I love too general.
2021-09-23 02:24:48 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-09-23 02:25:01 +0200 <monochrom> Alternative m => (a -> m b) -> [a] -> [a] :)
2021-09-23 02:25:46 +0200 <monochrom> newtype BoolProxy a = BoolProxy Bool >:)
2021-09-23 02:27:03 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-23 02:27:11 +0200 <monochrom> err Alternative is too general. filter needs a way to ask "is this empty?"
2021-09-23 02:27:54 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 02:28:06 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 02:28:16 +0200 <monochrom> (Monoid b, Eq b) => (a -> b) -> [a] -> [a] has a better chance, filter can ask "f x == mempty"
2021-09-23 02:29:03 +0200 <monochrom> To be sure, equality is too strong, not general enough.
2021-09-23 02:30:11 +0200 <monochrom> Foldable m => (a -> m b) -> [a] -> [a] Last proposal, Foldable supports "null". >:)
2021-09-23 02:31:35 +0200 <monochrom> I think a lower-tech solution is s/filter/select/
2021-09-23 02:32:31 +0200 <monochrom> But I like my well-versedness of Foldable :)
2021-09-23 02:33:05 +0200 <Axman6> yeah, I would definitely like to see the name changed. alternative name to not confuse SQLians could be `keep`
2021-09-23 02:33:41 +0200 <monochrom> I think there is nothing to confuse. In fact it needs the SQL analogy.
2021-09-23 02:34:17 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 02:34:17 +0200 <monochrom> "select (== 10) xs" and "select * from xs where x=10"
2021-09-23 02:34:57 +0200 <awpr> isn't "select" supposed to refer to the field projection operator?
2021-09-23 02:35:00 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 02:35:34 +0200 <monochrom> hehe OK!
2021-09-23 02:36:45 +0200 <monochrom> Use generalised list comprehensions (TransformListComp), then it is SQL. >:)
2021-09-23 02:37:23 +0200lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-09-23 02:39:18 +0200 <monochrom> Enjoy this depravity! https://mail.haskell.org/pipermail/haskell-cafe/2018-February/128607.html
2021-09-23 02:41:41 +0200 <monochrom> like SQL but in IO ---> "is this stored procedure?" meme :)
2021-09-23 02:45:41 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-09-23 02:46:06 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2021-09-23 02:46:14 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds)
2021-09-23 02:48:33 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-23 02:49:41 +0200jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-23 02:50:06 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-09-23 02:50:22 +0200jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447)
2021-09-23 02:51:07 +0200vicfred(~vicfred@user/vicfred)
2021-09-23 02:51:48 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 02:52:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 02:53:02 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-09-23 02:53:52 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 02:55:12 +0200jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447) (Client Quit)
2021-09-23 02:56:23 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds)
2021-09-23 02:59:35 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-09-23 03:00:44 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-09-23 03:00:44 +0200nfd(~nfd@user/nfd) (Ping timeout: 265 seconds)
2021-09-23 03:05:08 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 03:05:41 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 03:05:41 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 03:06:19 +0200pony(~ed@101.100.135.103)
2021-09-23 03:08:46 +0200dsrt^(~dsrt@12.203.127.82) (Remote host closed the connection)
2021-09-23 03:09:05 +0200xff0x(~xff0x@2001:1a81:53e4:c100:9734:4648:32e:324) (Ping timeout: 264 seconds)
2021-09-23 03:10:24 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-09-23 03:10:51 +0200xff0x(~xff0x@2001:1a81:5223:600:b86a:7176:6676:68da)
2021-09-23 03:25:07 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-09-23 03:26:39 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 03:32:25 +0200OutreEE(~OutreEE@modemcable105.60-176-173.mc.videotron.ca) (Quit: leaving)
2021-09-23 03:34:35 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de)
2021-09-23 03:35:30 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-09-23 03:37:37 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 03:40:02 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 03:42:41 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2021-09-23 03:44:29 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-09-23 03:46:34 +0200yinghua_(~yinghua@2800:2121:1400:1db:8c9e:15bc:1174:e66f) (Quit: Leaving)
2021-09-23 03:47:33 +0200nehsou^(~nehsou@12.203.127.82)
2021-09-23 03:47:41 +0200nfd(~nfd@user/nfd)
2021-09-23 03:51:48 +0200chris(~chris@81.96.113.213)
2021-09-23 03:51:52 +0200chrisGuest4896
2021-09-23 03:54:48 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 04:08:52 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds)
2021-09-23 04:10:02 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-23 04:10:28 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-09-23 04:13:46 +0200td_(~td@94.134.91.222) (Ping timeout: 252 seconds)
2021-09-23 04:13:51 +0200thyriaen_(~thyriaen@dynamic-077-011-207-214.77.11.pool.telefonica.de)
2021-09-23 04:15:46 +0200td_(~td@94.134.91.102)
2021-09-23 04:16:38 +0200thyriaen(~thyriaen@dynamic-078-054-003-131.78.54.pool.telefonica.de) (Ping timeout: 252 seconds)
2021-09-23 04:25:19 +0200nfd(~nfd@user/nfd) (Ping timeout: 265 seconds)
2021-09-23 04:33:51 +0200shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-09-23 04:33:59 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-23 04:34:06 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-09-23 04:43:35 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds)
2021-09-23 04:45:43 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-09-23 04:47:52 +0200Everything(~Everythin@37.115.210.35) (Quit: leaving)
2021-09-23 04:49:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 04:55:44 +0200alx741(~alx741@186.178.109.225) (Quit: alx741)
2021-09-23 05:02:54 +0200eruditass(uid248673@id-248673.uxbridge.irccloud.com)
2021-09-23 05:06:04 +0200m5zs7k(aquares@web10.mydevil.net) (Quit: m5zs7k)
2021-09-23 05:08:13 +0200n3t(n3t@s45.mydevil.net) (Ping timeout: 252 seconds)
2021-09-23 05:08:53 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
2021-09-23 05:15:31 +0200m5zs7k(aquares@web10.mydevil.net)
2021-09-23 05:18:46 +0200n3t(n3t@s45.mydevil.net)
2021-09-23 05:22:34 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-09-23 05:23:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 05:25:09 +0200Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net)
2021-09-23 05:34:05 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-09-23 05:34:25 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 05:35:44 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 05:36:22 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2021-09-23 05:40:14 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 05:43:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 05:43:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 05:43:32 +0200wroathe(~wroathe@user/wroathe)
2021-09-23 05:47:55 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 05:50:51 +0200dragestil_(~quassel@user/dragestil) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-09-23 05:52:14 +0200img(~img@user/img)
2021-09-23 05:59:25 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-09-23 06:00:40 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 06:05:29 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2021-09-23 06:06:16 +0200theproffesor(~theproffe@user/theproffesor)
2021-09-23 06:14:39 +0200phma(~phma@host-67-44-209-25.hnremote.net) (Read error: Connection reset by peer)
2021-09-23 06:15:36 +0200phma(~phma@host-67-44-209-25.hnremote.net)
2021-09-23 06:16:09 +0200ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com)
2021-09-23 06:16:32 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-23 06:18:25 +0200benin036932301(~benin@183.82.179.112)
2021-09-23 06:33:34 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-09-23 06:50:34 +0200neo1(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 06:50:46 +0200ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-23 07:00:11 +0200thyriaen_(~thyriaen@dynamic-077-011-207-214.77.11.pool.telefonica.de) (Remote host closed the connection)
2021-09-23 07:03:17 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1c28:7782:3d08:8ee5) (Remote host closed the connection)
2021-09-23 07:03:33 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 07:08:53 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 07:10:15 +0200img(~img@user/img)
2021-09-23 07:16:09 +0200shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-09-23 07:17:38 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-09-23 07:19:39 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 07:19:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 07:20:41 +0200img(~img@user/img)
2021-09-23 07:21:05 +0200fendor(~fendor@91.141.44.67.wireless.dyn.drei.com)
2021-09-23 07:23:09 +0200img(~img@user/img) (Client Quit)
2021-09-23 07:24:31 +0200img(~img@user/img)
2021-09-23 07:26:14 +0200chomwitt(~chomwitt@2a02:587:dc15:500:12c3:7bff:fe6d:d374)
2021-09-23 07:27:47 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-09-23 07:39:21 +0200fendor(~fendor@91.141.44.67.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-23 07:43:03 +0200monochrom(trebla@216.138.220.146)
2021-09-23 07:43:39 +0200neurocyte013(~neurocyte@94.46.73.189)
2021-09-23 07:43:39 +0200neurocyte013(~neurocyte@94.46.73.189) (Changing host)
2021-09-23 07:43:39 +0200neurocyte013(~neurocyte@user/neurocyte)
2021-09-23 07:48:59 +0200jakalx(~jakalx@base.jakalx.net)
2021-09-23 07:53:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 07:58:49 +0200leeb(~leeb@KD111239156011.au-net.ne.jp)
2021-09-23 08:02:20 +0200neurocyte0136(~neurocyte@94.46.73.189)
2021-09-23 08:02:20 +0200neurocyte0136(~neurocyte@94.46.73.189) (Changing host)
2021-09-23 08:02:20 +0200neurocyte0136(~neurocyte@user/neurocyte)
2021-09-23 08:02:21 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 08:03:18 +0200neurocyte013(~neurocyte@user/neurocyte) (Ping timeout: 265 seconds)
2021-09-23 08:03:19 +0200neurocyte0136neurocyte013
2021-09-23 08:04:18 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 08:05:37 +0200mikoto-chan(~mikoto-ch@84.199.144.235)
2021-09-23 08:05:51 +0200brainfreeze(~brainfree@2a03:1b20:4:f011::20d) (Remote host closed the connection)
2021-09-23 08:07:05 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 08:10:05 +0200oxide(~lambda@user/oxide)
2021-09-23 08:10:30 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 08:13:17 +0200mikoto-chan(~mikoto-ch@84.199.144.235) (Ping timeout: 264 seconds)
2021-09-23 08:14:52 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-09-23 08:15:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:9a4c:f98d:fe2a:f3fb)
2021-09-23 08:16:08 +0200xff0x(~xff0x@2001:1a81:5223:600:b86a:7176:6676:68da) (Ping timeout: 246 seconds)
2021-09-23 08:18:25 +0200leeb(~leeb@KD111239156011.au-net.ne.jp) (Quit: WeeChat 3.1)
2021-09-23 08:24:14 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-09-23 08:25:18 +0200michalz(~michalz@185.246.204.33)
2021-09-23 08:26:47 +0200max22-(~maxime@2a01cb088335980058a57494ba8a7fa3.ipv6.abo.wanadoo.fr)
2021-09-23 08:31:04 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-09-23 08:32:52 +0200ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com)
2021-09-23 08:33:21 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-09-23 08:43:57 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-09-23 08:46:58 +0200 <c_wraith> Oh hey, I finally found the documentation for what happened to typed template haskell in GHC 9: https://github.com/mpickering/ghc-proposals/blob/code-texp/proposals/0000-code-texp.rst
2021-09-23 08:47:29 +0200 <c_wraith> man, that wasn't even listed in the ghc release notes
2021-09-23 08:48:29 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 08:50:24 +0200alzgh(~alzgh@user/alzgh)
2021-09-23 08:56:58 +0200xff0x(~xff0x@2001:1a81:5223:600:73c2:6d1c:8473:e5c)
2021-09-23 08:59:36 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 09:00:13 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 09:00:34 +0200wonko(~wjc@62.115.229.50)
2021-09-23 09:02:42 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 09:08:51 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 09:09:26 +0200fendor(~fendor@91.141.44.67.wireless.dyn.drei.com)
2021-09-23 09:09:53 +0200tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 09:10:44 +0200cfricke(~cfricke@user/cfricke)
2021-09-23 09:13:34 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-23 09:13:34 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-09-23 09:14:04 +0200jassob1(~jassob@korrob.vth.sgsnet.se) (Ping timeout: 252 seconds)
2021-09-23 09:14:40 +0200max22-(~maxime@2a01cb088335980058a57494ba8a7fa3.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-09-23 09:15:57 +0200tomsmeding(~tomsmedin@tomsmeding.com)
2021-09-23 09:17:50 +0200max22-(~maxime@2a01cb0883359800c2d20f3cebb254b2.ipv6.abo.wanadoo.fr)
2021-09-23 09:22:18 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-09-23 09:26:03 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-09-23 09:31:04 +0200Phantastes(~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) (Quit: Client closed)
2021-09-23 09:32:26 +0200xff0x(~xff0x@2001:1a81:5223:600:73c2:6d1c:8473:e5c) (Ping timeout: 246 seconds)
2021-09-23 09:35:34 +0200max22-(~maxime@2a01cb0883359800c2d20f3cebb254b2.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 09:36:02 +0200xff0x(~xff0x@2001:1a81:5223:600:4590:f64e:9612:bb35)
2021-09-23 09:36:48 +0200jassob1(~jassob@korrob.vth.sgsnet.se)
2021-09-23 09:39:18 +0200chele(~chele@user/chele)
2021-09-23 09:42:14 +0200oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-09-23 09:43:18 +0200oxide(~lambda@user/oxide)
2021-09-23 09:43:46 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 09:44:44 +0200max22-(~maxime@2a01cb0883359800314f2df76d295fb2.ipv6.abo.wanadoo.fr)
2021-09-23 09:45:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 09:48:53 +0200max22-(~maxime@2a01cb0883359800314f2df76d295fb2.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 09:59:45 +0200deejaytee(~deejaytee@vpn-fn-228.net.ed.ac.uk)
2021-09-23 10:05:07 +0200acidjnk(~acidjnk@p200300d0c703cb18913af8c2365c753d.dip0.t-ipconnect.de)
2021-09-23 10:05:40 +0200hendursa1(~weechat@user/hendursaga)
2021-09-23 10:08:27 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-23 10:08:56 +0200max22-(~maxime@2a01cb08833598003f8d109b31f91ec0.ipv6.abo.wanadoo.fr)
2021-09-23 10:14:44 +0200max22-(~maxime@2a01cb08833598003f8d109b31f91ec0.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 10:17:44 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-09-23 10:17:44 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-09-23 10:17:47 +0200allbery_bgeekosaur
2021-09-23 10:20:40 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2021-09-23 10:21:55 +0200oxide(~lambda@user/oxide) (Ping timeout: 268 seconds)
2021-09-23 10:29:29 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 10:34:44 +0200oxide(~lambda@user/oxide)
2021-09-23 10:35:46 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-23 10:39:56 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 10:41:48 +0200hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 10:42:09 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection)
2021-09-23 10:42:35 +0200jstolarek(~jstolarek@erx128.neoplus.adsl.tpnet.pl)
2021-09-23 10:43:32 +0200pony(~ed@101.100.135.103) (Quit: WeeChat 3.0.1)
2021-09-23 10:49:16 +0200jstolarek(~jstolarek@erx128.neoplus.adsl.tpnet.pl) (Quit: leaving)
2021-09-23 10:53:51 +0200 <lortabac> imagine it was technically possible to have Functor and Traversable instances for Set, would such instances be lawful?
2021-09-23 10:54:46 +0200 <dminuoso> No.
2021-09-23 10:55:14 +0200 <dminuoso> `fmap (const 1)`
2021-09-23 10:55:17 +0200 <dminuoso> What now?
2021-09-23 10:55:20 +0200 <lortabac> technically the laws are not violated, but the documentation says "preserving the structure" and "same shape" in bold
2021-09-23 10:56:11 +0200__monty__(~toonn@user/toonn)
2021-09-23 10:57:09 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 10:57:10 +0200 <dminuoso> Or rather, if we had functor on fmap, we could modify the set structure
2021-09-23 10:57:22 +0200 <dminuoso> functor on set, argh.
2021-09-23 10:59:27 +0200 <lortabac> I agree with you that it's morally wrong, but a colleague of mine made me notice that the laws are not violated
2021-09-23 10:59:56 +0200 <dminuoso> Is associativity preserved?>
2021-09-23 11:00:05 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327) (Quit: You have been kicked for being idle)
2021-09-23 11:00:14 +0200 <dminuoso> I'd think not
2021-09-23 11:00:26 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327)
2021-09-23 11:02:18 +0200 <dminuoso> But otoh, if we take free theorems, we just need to prove that `fmap id = id`
2021-09-23 11:02:22 +0200 <dminuoso> So I guess you're right.
2021-09-23 11:02:29 +0200 <lortabac> I don't actually know
2021-09-23 11:03:16 +0200 <dminuoso> I mean composition of functions is associative, irrespective of whether they are injective or not.
2021-09-23 11:03:38 +0200benin036932301(~benin@183.82.179.112) (Ping timeout: 252 seconds)
2021-09-23 11:04:15 +0200 <tomsmeding> I don't even see an associativity law in the Functor type class
2021-09-23 11:04:40 +0200 <dminuoso> Oh sorry, I meant composition.
2021-09-23 11:04:47 +0200 <dminuoso> Im going back to work now.
2021-09-23 11:05:14 +0200 <tomsmeding> Things get hairy though when the ordering on your contained types doesn't have structural equality
2021-09-23 11:05:56 +0200 <tomsmeding> like, data Thing a = Thing a Int ; instance Eq a => Eq (Thing a) where Thing x _ == Thing y _ = x == y ; instance Ord a => Ord (Thing a) where compare (Thing x _) (Thing y _) = compare x y
2021-09-23 11:06:38 +0200 <dminuoso> Does it, though?
2021-09-23 11:07:04 +0200 <tomsmeding> let f (Thing x y) = Thing y x
2021-09-23 11:07:07 +0200 <dminuoso> Just to get that part away, there is a library on hackage with constrained typeclasses.
2021-09-23 11:07:16 +0200 <dminuoso> So with that we could make a Functor-like typeclass for Set.
2021-09-23 11:07:22 +0200 <dminuoso> Cant recall its name right now
2021-09-23 11:07:49 +0200 <dminuoso> But we can relatively trivially make it ourselves, you just carry a set of constraints as an associated type in the typeclass.
2021-09-23 11:07:53 +0200 <tomsmeding> fmap f (fmap f (Set.fromList [Thing 1 10, Thing 2 10, Thing 3 10])) = Set.fromList [Thing ? 10] for some non-deterministic value of ?
2021-09-23 11:08:08 +0200 <tomsmeding> but f . f = id, so fmap (f . f) (Set.fromList [things]) = Set.fromList [things]
2021-09-23 11:08:16 +0200tfeb(~tfb@88.98.95.237)
2021-09-23 11:08:23 +0200 <lortabac> thanks tomsmeding
2021-09-23 11:08:46 +0200 <dminuoso> tomsmeding: We only need to prove `fmap id = id`
2021-09-23 11:08:49 +0200 <tomsmeding> this example presented by Thing 10 1 == Thing 10 2
2021-09-23 11:08:51 +0200 <dminuoso> Free theorems.
2021-09-23 11:09:00 +0200 <dminuoso> Though, do they even apply here?
2021-09-23 11:09:02 +0200 <tomsmeding> well fmap id = id here!
2021-09-23 11:09:06 +0200 <dminuoso> I think they do.
2021-09-23 11:09:08 +0200 <dminuoso> Yes.
2021-09-23 11:09:15 +0200 <tomsmeding> but the composition law doesn't hold :p
2021-09-23 11:09:52 +0200 <tomsmeding> but really, the type of some 'ordfmap' would be (Ord a, Ord b) => (a -> b) -> f a -> f b
2021-09-23 11:10:03 +0200 <dminuoso> tomsmeding: mmm, arguably thye are still the same.
2021-09-23 11:10:13 +0200 <tomsmeding> meaning that it has two additional pieces of data, the Ord dictionaries; so I think the free theorem would get a lot more complicated
2021-09-23 11:10:26 +0200tomsmedingdoesn't know enough about free theorems to be able to say what they would become here
2021-09-23 11:10:33 +0200 <dminuoso> So lets make it concrete
2021-09-23 11:10:35 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 11:14:59 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 246 seconds)
2021-09-23 11:17:33 +0200 <tomsmeding> dminuoso: https://paste.tomsmeding.com/dIxK0hCQ
2021-09-23 11:21:02 +0200neo1(~neo3@cpe-292712.ip.primehome.com) (Remote host closed the connection)
2021-09-23 11:21:12 +0200 <dminuoso> Ah.
2021-09-23 11:25:52 +0200 <sshine> when 'data Foo f = Foo { fooBar :: f Bar }' cannot derive Eq, Ord, Show, is that because of an impossibility? I imagine that the instance would have to look like 'Show (f Bar) => Show (Foo f)'...
2021-09-23 11:26:04 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 11:26:10 +0200 <tomsmeding> also not when you set FlexibleContexts?
2021-09-23 11:26:46 +0200 <tomsmeding> in any case, with FlexibleContexts, you can use StandaloneDeriving to write it yourself: deriving instance Show (f Bar) => Show (Foo f)
2021-09-23 11:26:48 +0200 <merijn> sshine: You can standalone derive it
2021-09-23 11:26:57 +0200 <merijn> ah, too late
2021-09-23 11:26:59 +0200tomsmedingwas first
2021-09-23 11:27:17 +0200 <merijn> (Show1 f) might also work :p
2021-09-23 11:28:12 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 11:29:05 +0200 <sshine> thanks :)
2021-09-23 11:31:58 +0200 <sshine> then if I've got a whole bunch of fields prefixed with f, then that seems a little inconvenient. I guess I could derive my instances for particular f rather than all f.
2021-09-23 11:33:17 +0200 <sshine> there's a bunch for which it doesn't make any sense anyways.
2021-09-23 11:36:04 +0200tfeb(~tfb@88.98.95.237) (Quit: died)
2021-09-23 11:42:40 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 11:43:42 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 11:45:44 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2021-09-23 11:46:24 +0200 <kuribas> lens > gcc: runInteractiveProcess: posix_spawnp: resource exhausted (Cannot allocate memory)
2021-09-23 11:46:31 +0200 <kuribas> Why would lens require > 3 GB?
2021-09-23 11:46:38 +0200 <kuribas> also, why does lens call gcc?
2021-09-23 11:46:48 +0200 <kuribas> or is this during linking?
2021-09-23 11:47:29 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Ping timeout: 264 seconds)
2021-09-23 11:47:59 +0200pera(~pera@user/pera)
2021-09-23 11:49:17 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 11:50:46 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 11:52:48 +0200 <[exa]> kuribas: likely
2021-09-23 11:53:36 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 11:56:14 +0200marmayr(~marmayr@193-154-203-202.adsl.highway.telekom.at)
2021-09-23 11:58:26 +0200wonko(~wjc@62.115.229.50) (Changing host)
2021-09-23 11:58:26 +0200wonko(~wjc@user/wonko)
2021-09-23 11:58:41 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 12:02:07 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Ping timeout: 256 seconds)
2021-09-23 12:04:04 +0200euandreh_(~euandreh@2804:14c:33:9fe5:62bf:2631:9503:606c)
2021-09-23 12:04:44 +0200gehmehgeh(~user@user/gehmehgeh)
2021-09-23 12:05:16 +0200mc47(~mc47@xmonad/TheMC47)
2021-09-23 12:07:09 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 12:09:38 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-09-23 12:12:07 +0200phma(~phma@host-67-44-209-25.hnremote.net) (Read error: Connection reset by peer)
2021-09-23 12:12:47 +0200phma(~phma@host-67-44-209-62.hnremote.net)
2021-09-23 12:14:58 +0200Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 12:17:43 +0200Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178) ()
2021-09-23 12:18:45 +0200Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 12:21:56 +0200Nova_(~textual@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Textual IRC Client: www.textualapp.com)
2021-09-23 12:26:18 +0200cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2021-09-23 12:26:20 +0200cheater1__(~Username@user/cheater)
2021-09-23 12:26:23 +0200cheater1__cheater
2021-09-23 12:30:54 +0200 <tomsmeding> kuribas: compiling aeson takes >2GB, if I recall correctly the same holds for vector, perhaps to a slightly lesser degree
2021-09-23 12:30:59 +0200 <tomsmeding> /me is not surprised
2021-09-23 12:31:38 +0200dumbsharka(~amirvince@user/amirvincent64) (Ping timeout: 252 seconds)
2021-09-23 12:31:48 +0200 <kuribas> tomsmeding: I have 3 GB, (no swap).
2021-09-23 12:31:59 +0200 <kuribas> we added 2 GB and 4 GB swap, now it compiles :)
2021-09-23 12:32:16 +0200 <tomsmeding> haskell (tm)
2021-09-23 12:32:19 +0200ulvarrefr(~user@185.24.53.152) (Remote host closed the connection)
2021-09-23 12:32:30 +0200dumbsharka(~amirvince@user/amirvincent64)
2021-09-23 12:33:18 +0200notzmv(~zmv@user/notzmv)
2021-09-23 12:33:57 +0200 <maerwald> `module <...> cannot be linked; it is only available as a boot module`
2021-09-23 12:34:00 +0200 <maerwald> uh
2021-09-23 12:34:07 +0200Nova____________(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 12:34:21 +0200Nova____________(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) ()
2021-09-23 12:34:48 +0200 <maerwald> this is a lie
2021-09-23 12:37:00 +0200 <maerwald> I think TH breaks this
2021-09-23 12:37:07 +0200 <tomsmeding> that's what you think
2021-09-23 12:37:58 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 12:38:14 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 12:39:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-09-23 12:40:48 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-23 12:40:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 12:42:29 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2021-09-23 12:45:34 +0200frisbro_(uid518331@id-518331.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 12:45:34 +0200frisbro(uid518331@id-518331.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-09-23 12:45:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-09-23 12:46:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 12:47:04 +0200ishutin(~ishutin@80-95-82-223.pool.digikabel.hu) (Ping timeout: 252 seconds)
2021-09-23 12:48:50 +0200ishutin(~ishutin@62-165-196-48.pool.digikabel.hu)
2021-09-23 12:51:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 12:52:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 12:52:18 +0200\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 12:57:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 12:57:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 13:00:44 +0200alx741(~alx741@186.178.109.225)
2021-09-23 13:02:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 13:03:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 13:04:53 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 246 seconds)
2021-09-23 13:08:38 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 13:11:00 +0200AlexNoo_(~AlexNoo@94.233.241.29)
2021-09-23 13:12:41 +0200AlexZenon(~alzenon@94.233.241.181) (Ping timeout: 264 seconds)
2021-09-23 13:13:52 +0200Alex_test(~al_test@94.233.241.181) (Ping timeout: 252 seconds)
2021-09-23 13:14:22 +0200AlexNoo(~AlexNoo@94.233.241.181) (Ping timeout: 260 seconds)
2021-09-23 13:17:05 +0200AlexZenon(~alzenon@94.233.241.29)
2021-09-23 13:17:54 +0200Alex_test(~al_test@94.233.241.29)
2021-09-23 13:19:47 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327) (Quit: You have been kicked for being idle)
2021-09-23 13:21:20 +0200\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-09-23 13:21:41 +0200\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 13:21:41 +0200\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Client Quit)
2021-09-23 13:23:26 +0200\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178)
2021-09-23 13:23:27 +0200\Nova(~novadev@2405:4802:15e:7450:c0c8:2b0d:7922:9178) (Client Quit)
2021-09-23 13:32:13 +0200alzgh(~alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-09-23 13:35:27 +0200 <TDANG_> I want to learn Plutus. Where to get started?
2021-09-23 13:37:39 +0200 <maerwald> TDANG_: https://plutus-pioneer-program.readthedocs.io/en/latest/index.html
2021-09-23 13:38:02 +0200 <maerwald> if you've never done haskell, that won't be an easy experience
2021-09-23 13:38:27 +0200 <maerwald> even for haskellers I'd say plutus is pretty advanced Haskell and has complicated API
2021-09-23 13:38:33 +0200 <TDANG_> I learned basic Haskell already
2021-09-23 13:38:47 +0200 <maerwald> maybe wait for Marlowe
2021-09-23 13:38:53 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.2.1)
2021-09-23 13:38:57 +0200 <maerwald> Plutus isn't basic haskell, unfortunately
2021-09-23 13:39:08 +0200 <TDANG_> Oh, I see
2021-09-23 13:40:00 +0200 <TDANG_> So I need to learn advance Haskell first
2021-09-23 13:40:01 +0200 <TDANG_> Thanks
2021-09-23 13:41:26 +0200 <sshine> TDANG_, I think you start here: https://docs.cardano.org/plutus/learn-about-plutus
2021-09-23 13:41:58 +0200 <TDANG_> ya, thanks
2021-09-23 13:42:28 +0200 <TDANG_> any source from Youtube?
2021-09-23 13:43:22 +0200 <sshine> TDANG_, I don't know. I wish I knew of some way to discover what youtube videos existed given some set of keywords. :-D
2021-09-23 13:43:55 +0200 <TDANG_> ;-) thanks anyway
2021-09-23 13:44:45 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 13:49:44 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Ping timeout: 268 seconds)
2021-09-23 13:52:02 +0200 <sshine> TDANG_, it seems that the main challenge in learning Plutus is understanding the domain model of the Cardano blockchain. even the simplest examples of a Plutus contract uses a bunch of terminology and what appears to be stubs.
2021-09-23 13:52:12 +0200 <sshine> TDANG_, https://www.youtube.com/watch?v=IEn6jUo-0vU -- I think this is a good start on youtube.
2021-09-23 13:52:34 +0200AlexNoo_AlexNoo
2021-09-23 13:53:07 +0200neo1(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 13:53:37 +0200 <TDANG_> Ya, I watched that video series and it seems to be too complicated too
2021-09-23 13:53:53 +0200 <maerwald> sshine: I think the only time when you actually submit a contract is when you *redeem*. The "control flow" isn't well documented imo.
2021-09-23 13:54:16 +0200 <TDANG_> Ya
2021-09-23 13:54:38 +0200 <maerwald> before that it's just addresses and hashes
2021-09-23 13:54:48 +0200 <maerwald> a huge pile of those
2021-09-23 13:55:01 +0200 <TDANG_> Phew
2021-09-23 13:55:17 +0200 <maerwald> TDANG_: but you can try the plutus playground
2021-09-23 13:55:28 +0200 <maerwald> https://playground.plutus.iohkdev.io/
2021-09-23 14:00:16 +0200frisbro_(uid518331@id-518331.helmsley.irccloud.com)
2021-09-23 14:02:21 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2021-09-23 14:02:50 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 14:07:03 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-09-23 14:07:36 +0200 <sshine> maerwald, good to know. I don't know much about how Cardano's runtime works.
2021-09-23 14:09:02 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-09-23 14:09:55 +0200jespada(~jespada@2803:9800:9842:7a62:4d47:2975:7b31:a447)
2021-09-23 14:11:08 +0200tommd(~tommd@75-164-130-101.ptld.qwest.net)
2021-09-23 14:11:32 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-09-23 14:25:22 +0200deejaytee(~deejaytee@vpn-fn-228.net.ed.ac.uk) (Ping timeout: 252 seconds)
2021-09-23 14:26:30 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-09-23 14:26:50 +0200yinghua(~yinghua@2800:2121:1400:1db:e974:19dd:c7f3:8cf6)
2021-09-23 14:28:34 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 14:29:09 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 14:31:58 +0200lbseale(~lbseale@user/ep1ctetus)
2021-09-23 14:32:18 +0200tinwood(~tinwood@canonical/tinwood) (Remote host closed the connection)
2021-09-23 14:33:42 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-23 14:35:16 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds)
2021-09-23 14:35:24 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-09-23 14:35:24 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host)
2021-09-23 14:35:24 +0200tinwood(~tinwood@canonical/tinwood)
2021-09-23 14:36:32 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Quit: Client closed)
2021-09-23 14:41:39 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 14:42:17 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Client Quit)
2021-09-23 14:43:23 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-09-23 14:47:37 +0200fendor_(~fendor@178.165.167.3.wireless.dyn.drei.com)
2021-09-23 14:50:14 +0200fendor(~fendor@91.141.44.67.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2021-09-23 14:51:06 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 14:54:19 +0200Guest4896(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-23 14:56:09 +0200biberu\(~biberu@user/biberu)
2021-09-23 14:57:41 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-09-23 14:59:37 +0200biberu(~biberu@user/biberu) (Ping timeout: 252 seconds)
2021-09-23 14:59:37 +0200biberu\biberu
2021-09-23 15:02:10 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-09-23 15:03:42 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 15:05:59 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 15:06:51 +0200deejaytee(~deejaytee@pat-125-254.wlan.net.ed.ac.uk)
2021-09-23 15:07:40 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-09-23 15:07:59 +0200MQ-17J(~MQ-17J@8.21.10.6)
2021-09-23 15:09:24 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-09-23 15:10:34 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-09-23 15:14:03 +0200wagle(~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-09-23 15:14:36 +0200wagle(~wagle@quassel.wagle.io)
2021-09-23 15:15:47 +0200cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2021-09-23 15:16:11 +0200cheater(~Username@user/cheater)
2021-09-23 15:19:24 +0200wagle(~wagle@quassel.wagle.io) (Client Quit)
2021-09-23 15:19:55 +0200wagle(~wagle@quassel.wagle.io)
2021-09-23 15:23:06 +0200cfricke(~cfricke@user/cfricke)
2021-09-23 15:23:35 +0200deejaytee(~deejaytee@pat-125-254.wlan.net.ed.ac.uk) (Quit: Leaving)
2021-09-23 15:24:18 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-23 15:24:43 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-23 15:26:38 +0200Guest372(~xxx@47.245.54.240)
2021-09-23 15:27:46 +0200 <dminuoso> Does someone know where in Haskell I can find IMF time/date serialization routines? Im already using servant/warp, so if there's something in my transitive dependency tree that'd be ideal
2021-09-23 15:28:21 +0200 <dminuoso> If it helps, that's the same format as HTTP Expires or Last-Modified headers use.
2021-09-23 15:29:43 +0200 <dminuoso> My concrete problem is, I want to encode a timestamp in an Expires header in a servant response.
2021-09-23 15:33:26 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-23 15:38:29 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
2021-09-23 15:40:09 +0200hexfive(~eric@50.35.83.177)
2021-09-23 15:40:27 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-09-23 15:40:56 +0200hendursaga(~weechat@user/hendursaga)
2021-09-23 15:41:50 +0200Wolfe(~Wolfe@bras-base-mltnon2530w-grc-42-184-145-76-196.dsl.bell.ca)
2021-09-23 15:43:14 +0200zebrag(~chris@user/zebrag)
2021-09-23 15:43:36 +0200hexfive(~eric@50.35.83.177) (Client Quit)
2021-09-23 15:45:01 +0200nschoe(~quassel@178.251.84.79)
2021-09-23 15:46:10 +0200fendor_(~fendor@178.165.167.3.wireless.dyn.drei.com) (Remote host closed the connection)
2021-09-23 15:49:33 +0200byorgey(~byorgey@155.138.238.211)
2021-09-23 15:50:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 15:50:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 15:50:33 +0200wroathe(~wroathe@user/wroathe)
2021-09-23 15:50:38 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 15:55:31 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 16:01:08 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-09-23 16:03:46 +0200MQ-17J(~MQ-17J@8.21.10.6) (Ping timeout: 260 seconds)
2021-09-23 16:04:22 +0200neo1(~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds)
2021-09-23 16:05:16 +0200Wolfe(~Wolfe@bras-base-mltnon2530w-grc-42-184-145-76-196.dsl.bell.ca) (Quit: Client closed)
2021-09-23 16:06:53 +0200alx741(~alx741@186.178.109.225) (Ping timeout: 246 seconds)
2021-09-23 16:08:35 +0200kimjetwav(~user@2607:fea8:235f:9730:158b:8b68:ef55:bdbf) (Quit: logout)
2021-09-23 16:10:36 +0200Everything(~Everythin@37.115.210.35)
2021-09-23 16:15:51 +0200hnOsmium0001(uid453710@id-453710.hampstead.irccloud.com)
2021-09-23 16:18:19 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-09-23 16:19:58 +0200alx741(~alx741@181.196.69.154)
2021-09-23 16:21:10 +0200mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (Remote host closed the connection)
2021-09-23 16:22:36 +0200superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-09-23 16:23:06 +0200 <superstar64> Is `(forall m. Monad m => m a)` isomorphic to `a`?
2021-09-23 16:23:11 +0200dextaa(~DV@user/dextaa) (Ping timeout: 252 seconds)
2021-09-23 16:23:29 +0200 <dminuoso> No.
2021-09-23 16:23:38 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 16:24:05 +0200acidjnk(~acidjnk@p200300d0c703cb18913af8c2365c753d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-09-23 16:24:33 +0200 <superstar64> what stops it from being isomorphic? Can't you instantiate `m` to Identity and convert Identity to any monad using pure?
2021-09-23 16:24:48 +0200 <dminuoso> Mmm
2021-09-23 16:25:07 +0200 <dminuoso> superstar64: impredicativity stops it.
2021-09-23 16:25:17 +0200 <dminuoso> To instantiate `a` at a type involving a forall requires impredicative types
2021-09-23 16:25:27 +0200Sgeo(~Sgeo@user/sgeo)
2021-09-23 16:25:44 +0200 <dminuoso> Or maybe I misunderstand
2021-09-23 16:26:02 +0200 <earthy> dminuoso: does hodatime not help?
2021-09-23 16:26:33 +0200 <dminuoso> let's have a look
2021-09-23 16:28:03 +0200 <superstar64> and if it is isomorphic, then this should be a valid definition for bind right? `(>>=) :: Monad m => m a -> ((forall m'. Monad m' => m' a) -> m b) -> m b`
2021-09-23 16:28:46 +0200 <dminuoso> % to :: Monad m => (forall a m. Monad m => m a) -> (forall b. b); to x = runIdentity x
2021-09-23 16:28:46 +0200 <yahb> dminuoso:
2021-09-23 16:29:06 +0200 <dminuoso> But going back - not sure how to do that without impredicativity
2021-09-23 16:30:02 +0200 <dminuoso> % from :: (forall b. b) -> (forall a m. Monad m => m a); from x = x
2021-09-23 16:30:02 +0200 <yahb> dminuoso:
2021-09-23 16:30:04 +0200 <dminuoso> Oh uh.
2021-09-23 16:30:17 +0200 <dminuoso> I did not expect that
2021-09-23 16:30:29 +0200 <earthy> but really, you probably want to just look at Data.Time.Format.ISO8601 from the time package.
2021-09-23 16:30:49 +0200 <dminuoso> ericson2314: ISO8601 is not IMF time.
2021-09-23 16:30:58 +0200 <dminuoso> So its not valid
2021-09-23 16:31:25 +0200 <dminuoso> Can someone explain to me why `from` type checks and doesnt fail with an impredicativity error?
2021-09-23 16:31:32 +0200 <ericson2314> bad tab complete? :)
2021-09-23 16:31:48 +0200 <dminuoso> ericson2314: Seems like it. I swear weechat has some strange bugs with tab completion.
2021-09-23 16:32:05 +0200 <superstar64> dminuoso, i think those definitions are wrong. the types are you want are: `from :: (forall m. Monad m => m a) -> a` and `to :: a -> forall m. Monad m => m a`
2021-09-23 16:32:21 +0200 <superstar64> `to` here is just pure
2021-09-23 16:33:11 +0200dextaa(~DV@user/dextaa)
2021-09-23 16:33:15 +0200 <dminuoso> Mmm yeah
2021-09-23 16:33:15 +0200 <superstar64> and i think eta expanded runIdentity works for `from` here.
2021-09-23 16:33:17 +0200 <ericson2314> no worries :)
2021-09-23 16:33:19 +0200 <dminuoso> % from :: (forall m. Monad m => m a) -> a; from x = runIdentity x
2021-09-23 16:33:19 +0200 <yahb> dminuoso:
2021-09-23 16:33:41 +0200 <dminuoso> % to :: Monad m => a -> m a; to = pure
2021-09-23 16:33:41 +0200 <yahb> dminuoso:
2021-09-23 16:33:57 +0200 <dminuoso> superstar64: guess that's an isomorphism then.
2021-09-23 16:34:11 +0200xff0x(~xff0x@2001:1a81:5223:600:4590:f64e:9612:bb35) (Ping timeout: 246 seconds)
2021-09-23 16:34:56 +0200k``(~user@152.1.137.158)
2021-09-23 16:35:02 +0200 <superstar64> The reason I'm asking is because I'm making my own language and I'm considering putting everything inside a monad.
2021-09-23 16:35:21 +0200xff0x(~xff0x@2001:1a81:5223:600:555a:39d8:cddd:a28c)
2021-09-23 16:35:42 +0200 <superstar64> and I can use that definition of (>>=) I posted earlier to even have variables be inside monads
2021-09-23 16:37:31 +0200 <earthy> ah. Data.Time.Format.HTTP from the time-http package, or explicitly use a format string with Data.Time.Format.formatTime
2021-09-23 16:38:42 +0200 <superstar64> I'll require let generalization for every variable binding but I think I get imperative looking code where the type check can tell if it's pure or not.
2021-09-23 16:39:20 +0200 <superstar64> I should probably look into effect systems to so if something like this exists yet or not.
2021-09-23 16:39:42 +0200Lycurgus(~juan@98.4.112.204)
2021-09-23 16:40:26 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-09-23 16:40:33 +0200 <k``> When you `SPECIALIZE` a class method, does it only specialise the definition given in the class's definition, or will it also specialise instance-specific definitions?
2021-09-23 16:44:01 +0200 <k``> For a more concrete example, say `Foldable` specialized `foldMap` . Would that only apply to the 'default' `foldMap` defined with `foldr`, or any `foldMap` that an instance defines?
2021-09-23 16:46:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 16:50:25 +0200theproffesor(~theproffe@user/theproffesor) (Leaving)
2021-09-23 16:51:22 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Ping timeout: 260 seconds)
2021-09-23 16:52:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 16:52:53 +0200alzgh(~alzgh@user/alzgh)
2021-09-23 16:54:46 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-09-23 16:55:59 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 16:58:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-09-23 16:58:36 +0200 <sshine> I'm using 'req' to create an authenticated HTTP request. but running my request, I don't get any output. I suspect an error isn't propagated. I tried changing the retry policy so I'm not waiting a long time, but I'm still not getting anything.
2021-09-23 17:00:13 +0200 <sshine> I also tried to change 'jsonResponse' into 'bsResponse' just to see if it's taking a long time to decode, but still no response.
2021-09-23 17:00:28 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 17:01:38 +0200 <sshine> https://gist.github.com/sshine/fd27702785b50f401e088134dc77ca61
2021-09-23 17:01:58 +0200neo1(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 17:02:00 +0200 <sshine> can anyone suggest a way for me to get debugging output?
2021-09-23 17:03:11 +0200wonko(~wjc@user/wonko) (Ping timeout: 265 seconds)
2021-09-23 17:03:40 +0200jlamothe(~jlamothe@104.158.48.100) (Quit: leaving)
2021-09-23 17:11:28 +0200pera(~pera@user/pera) (Ping timeout: 252 seconds)
2021-09-23 17:12:42 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 17:13:13 +0200pera(~pera@137.221.132.228)
2021-09-23 17:13:37 +0200peraGuest402
2021-09-23 17:13:54 +0200 <sshine> pointing it to a netcat, it seems like it doesn't send anything.
2021-09-23 17:16:28 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2021-09-23 17:17:12 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-09-23 17:19:22 +0200neo2(~neo3@cpe-292712.ip.primehome.com)
2021-09-23 17:20:28 +0200wonko(~wjc@62.115.229.50)
2021-09-23 17:21:31 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:9a4c:f98d:fe2a:f3fb) (Quit: WeeChat 2.8)
2021-09-23 17:21:52 +0200neo2(~neo3@cpe-292712.ip.primehome.com) (Read error: Connection reset by peer)
2021-09-23 17:23:01 +0200neo1(~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds)
2021-09-23 17:24:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 17:24:46 +0200 <carbolymer> any ideas how can I write a such function: MonadBaseControl b m => (a -> c) -> b (StM m a) -> b (StM m c)
2021-09-23 17:25:05 +0200 <carbolymer> I can't wrap my head around MonadBaseControl and what can I assume about `StM m`
2021-09-23 17:26:11 +0200 <c_wraith> Do you mean STM?
2021-09-23 17:26:18 +0200 <carbolymer> no
2021-09-23 17:26:27 +0200 <carbolymer> c_wraith: https://hackage.haskell.org/package/monad-control-1.0.3.1/docs/Control-Monad-Trans-Control.html#t:…
2021-09-23 17:26:28 +0200 <monochrom> Is b a Functor? Is StM m a Functor? This type looks like fmap . fmap
2021-09-23 17:27:14 +0200 <carbolymer> monochrom: b is a Monad and Applicative, StM can be basically anything
2021-09-23 17:27:15 +0200 <monochrom> I.e., fmap (fmap (f :: a->c)) :: b (StM m a) -> b (StM m c)
2021-09-23 17:27:17 +0200 <carbolymer> probably usually a functor
2021-09-23 17:27:44 +0200 <carbolymer> hmm
2021-09-23 17:28:09 +0200 <carbolymer> I could add additional constraint that would make it work for `Functor (StM m)`
2021-09-23 17:28:14 +0200 <c_wraith> StM is a type family. that makes things complicated.
2021-09-23 17:28:35 +0200 <carbolymer> s/complicated/interesting
2021-09-23 17:29:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 17:30:41 +0200jlamothe(~jlamothe@104.158.48.100)
2021-09-23 17:32:18 +0200bjs(sid190364@user/bjs) ()
2021-09-23 17:32:25 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Quit: Chai-T-Rex)
2021-09-23 17:32:32 +0200bjs(sid190364@user/bjs)
2021-09-23 17:33:01 +0200bjs(sid190364@user/bjs) (Client Quit)
2021-09-23 17:33:12 +0200bjs(sid190364@user/bjs)
2021-09-23 17:33:21 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-09-23 17:34:11 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-23 17:34:46 +0200xff0x(~xff0x@2001:1a81:5223:600:555a:39d8:cddd:a28c) (Ping timeout: 260 seconds)
2021-09-23 17:35:15 +0200 <k``> I can never remember this: In error messages, which is the 'Expected type' and which is the 'Actual type'? (I.e. which one is from the signature and which is from the value?)
2021-09-23 17:35:35 +0200xff0x(~xff0x@2001:1a81:5223:600:7b8b:d6b9:4e09:bc2d)
2021-09-23 17:36:18 +0200 <monochrom> I usually don't care. But it seems expected is from the outside, actual is from the inside.
2021-09-23 17:37:01 +0200 <monochrom> > 'x' :: Bool
2021-09-23 17:37:02 +0200 <lambdabot> error:
2021-09-23 17:37:03 +0200 <lambdabot> • Couldn't match expected type ‘Bool’ with actual type ‘Char’
2021-09-23 17:37:03 +0200 <lambdabot> • In the expression: 'x' :: Bool
2021-09-23 17:37:12 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 17:37:13 +0200 <monochrom> perhaps that helps
2021-09-23 17:37:17 +0200 <k``> OK, so if I `foldr f` where `f :: b -> a -> b`, the expected type is `a -> b -> b` and the actual type is `b -> a -> b`?
2021-09-23 17:37:44 +0200 <k``> > foldr (flip (:))
2021-09-23 17:37:46 +0200 <lambdabot> error:
2021-09-23 17:37:46 +0200 <lambdabot> • Occurs check: cannot construct the infinite type: a ~ [a]
2021-09-23 17:37:46 +0200 <lambdabot> Expected type: [a] -> [a] -> [a]
2021-09-23 17:37:57 +0200max22-(~maxime@2a01cb0883359800cdfb9fe06cd30ce5.ipv6.abo.wanadoo.fr)
2021-09-23 17:38:31 +0200 <monochrom> > (undefined :: Char) :: Bool
2021-09-23 17:38:33 +0200 <lambdabot> error:
2021-09-23 17:38:33 +0200 <lambdabot> • Couldn't match expected type ‘Bool’ with actual type ‘Char’
2021-09-23 17:38:33 +0200 <lambdabot> • In the expression: (undefined :: Char) :: Bool
2021-09-23 17:38:47 +0200 <k``> Thanks, monochrom!
2021-09-23 17:38:55 +0200 <monochrom> > (True :: Char) :: Bool
2021-09-23 17:38:56 +0200 <lambdabot> error:
2021-09-23 17:38:56 +0200 <lambdabot> • Couldn't match expected type ‘Char’ with actual type ‘Bool’
2021-09-23 17:38:56 +0200 <lambdabot> • In the expression: (True :: Char) :: Boolerror:
2021-09-23 17:41:51 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 265 seconds)
2021-09-23 17:47:22 +0200nschoe(~quassel@178.251.84.79) (Ping timeout: 260 seconds)
2021-09-23 17:52:28 +0200ph88(~ph88@2a02:8109:9e00:7e5c:f1e5:9d26:3b71:29c5)
2021-09-23 17:56:32 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-09-23 18:00:49 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-09-23 18:01:34 +0200Guest402(~pera@137.221.132.228) (Ping timeout: 252 seconds)
2021-09-23 18:02:07 +0200hiepph[m](~hiepphmat@2001:470:69fc:105::e3a8) (Write error: Connection reset by peer)
2021-09-23 18:02:08 +0200fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (Read error: Connection reset by peer)
2021-09-23 18:02:08 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Read error: Connection reset by peer)
2021-09-23 18:02:08 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200aidy(~aidy@2001:470:69fc:105::c7b4) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200jophish(~jophish@2001:470:69fc:105::670) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200Deide(~deide@user/deide) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200sky_lounge[m](~skylounge@2001:470:69fc:105::efa6) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200schuelermine[m](~schuelerm@user/schuelermine) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200kar1(~kar1@2001:470:69fc:105::c308) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200asdofindia-m(~akshaymat@2001:470:69fc:105::831) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200soft(~soft-matr@2001:470:69fc:105::c75) (Write error: Connection reset by peer)
2021-09-23 18:02:09 +0200bb010g(~bb010g@2001:470:69fc:105::9a5) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Read error: Connection reset by peer)
2021-09-23 18:02:09 +0200SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036) (Read error: Connection reset by peer)
2021-09-23 18:02:10 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200Arathorn(~arathorn@2001:470:69fc:105::1f) (Read error: Connection reset by peer)
2021-09-23 18:02:10 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Read error: Connection reset by peer)
2021-09-23 18:02:10 +0200moats(~oats@user/oats) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200masaeedu[m](~masaeedum@2001:470:69fc:105::e256) (Read error: Connection reset by peer)
2021-09-23 18:02:10 +0200quantum(~quantum@user/quantum/x-8556232) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200carmysilna(~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer)
2021-09-23 18:02:10 +0200Topik[m](~topikmatr@2001:470:69fc:105::a082) (Read error: Connection reset by peer)
2021-09-23 18:02:10 +0200erinvanderveen[m(~erinvande@2001:470:69fc:105::e8f3) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200IgnatInsarov[m](~kindaroma@2001:470:69fc:105::f5d9) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200infinisil(~infinisil@2001:470:69fc:105::ff8) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200kevin[m]1(~pnotequal@2001:470:69fc:105::a54) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Write error: Connection reset by peer)
2021-09-23 18:02:10 +0200craige[m](~craigemcw@2001:470:69fc:105::35f1) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200unrooted(~unrooted@2001:470:69fc:105::a4a) (Read error: Connection reset by peer)
2021-09-23 18:02:11 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200reddishblue[m](~reddishbl@2001:470:69fc:105::21eb) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200siraben(~siraben@user/siraben) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200commuswift[m](~commuswif@2001:470:69fc:105::e862) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200Drew[m](~drewefenw@2001:470:69fc:105::c8c4) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200ormaaj(~ormaaj@user/ormaaj) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200kadoban(~kadoban@user/kadoban) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200ixlun(~ixlun@2001:470:69fc:105::41b3) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200peddie(~peddie@2001:470:69fc:105::25d) (Write error: Connection reset by peer)
2021-09-23 18:02:11 +0200rosariopulella[m(~rosariopu@2001:470:69fc:105::a57) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200cloudy(~cloudy@2001:470:69fc:105::50c0) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200psydroid(~psydroid@user/psydroid) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200monadfritz[m](~ahdytmatr@2001:470:69fc:105::e1f1) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200stites[m]1(~sammtopoi@2001:470:69fc:105::e887) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200Tisoxin(~ikosit@user/ikosit) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200sm(~sm@plaintextaccounting/sm) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200zfnmxt(~zfnmxtzfn@user/zfnmxt) (Write error: Connection reset by peer)
2021-09-23 18:02:12 +0200oak-(~oakuniver@2001:470:69fc:105::fcd) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200bakinonion[m](~bakinonio@2001:470:69fc:105::ddb3) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200wysteriary[m](~wysteriar@2001:470:69fc:105::a42e) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Read error: Connection reset by peer)
2021-09-23 18:02:12 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018) (Read error: Connection reset by peer)
2021-09-23 18:03:12 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 18:04:00 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-09-23 18:04:03 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-09-23 18:04:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 18:05:06 +0200chomwitt(~chomwitt@2a02:587:dc15:500:12c3:7bff:fe6d:d374) (Ping timeout: 260 seconds)
2021-09-23 18:05:16 +0200Everything(~Everythin@37.115.210.35) ()
2021-09-23 18:06:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 18:06:02 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-23 18:06:29 +0200 <awpr> sshine: when I was defining a bunch of those types, I ended up writing instances like `deriving stock instance (forall a. Eq a => Eq (f a), Eq x) => Eq (MyType x f)`
2021-09-23 18:06:30 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-09-23 18:06:42 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2021-09-23 18:06:42 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-09-23 18:06:42 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-09-23 18:06:42 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2021-09-23 18:06:42 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-09-23 18:06:42 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-09-23 18:06:42 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-09-23 18:06:42 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-09-23 18:06:42 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f)
2021-09-23 18:06:42 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-09-23 18:06:56 +0200bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-09-23 18:06:56 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-09-23 18:06:56 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-09-23 18:06:56 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-09-23 18:06:56 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-09-23 18:06:56 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-09-23 18:06:56 +0200moats(~oats@user/oats)
2021-09-23 18:07:08 +0200soft(~soft-matr@2001:470:69fc:105::c75)
2021-09-23 18:07:14 +0200 <awpr> when there are lots of fields and few `Type` type parameters, it saves a lot of typing out `Eq (f Int), Eq (f String), ......`
2021-09-23 18:07:16 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-09-23 18:07:24 +0200oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-09-23 18:07:24 +0200kadoban(~kadoban@user/kadoban)
2021-09-23 18:07:24 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2021-09-23 18:07:24 +0200Arathorn(~arathorn@2001:470:69fc:105::1f)
2021-09-23 18:07:24 +0200jophish(~jophish@2001:470:69fc:105::670)
2021-09-23 18:07:24 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-09-23 18:07:24 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-09-23 18:07:24 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-09-23 18:07:24 +0200ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-09-23 18:07:24 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-09-23 18:07:24 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-09-23 18:07:24 +0200unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-09-23 18:07:36 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-09-23 18:07:36 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-09-23 18:07:36 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2021-09-23 18:07:36 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd)
2021-09-23 18:07:37 +0200denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2021-09-23 18:07:37 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-09-23 18:07:50 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2021-09-23 18:08:02 +0200erinvanderveen[m(~erinvande@2001:470:69fc:105::e8f3)
2021-09-23 18:08:02 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-09-23 18:08:02 +0200quantum(~quantum@user/quantum/x-8556232)
2021-09-23 18:08:02 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-09-23 18:08:04 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-09-23 18:08:16 +0200craige[m](~craigemcw@2001:470:69fc:105::35f1)
2021-09-23 18:08:18 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-09-23 18:08:30 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2021-09-23 18:08:30 +0200reddishblue[m](~reddishbl@2001:470:69fc:105::21eb)
2021-09-23 18:08:30 +0200sm(~sm@plaintextaccounting/sm)
2021-09-23 18:08:30 +0200schuelermine[m](~schuelerm@user/schuelermine)
2021-09-23 18:08:42 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-09-23 18:08:42 +0200kevin[m]1(~pnotequal@2001:470:69fc:105::a54)
2021-09-23 18:08:42 +0200Deide(~deide@user/deide)
2021-09-23 18:08:54 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-09-23 18:08:54 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2021-09-23 18:09:07 +0200IgnatInsarov[m](~kindaroma@2001:470:69fc:105::f5d9)
2021-09-23 18:09:07 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2)
2021-09-23 18:09:07 +0200psydroid(~psydroid@user/psydroid)
2021-09-23 18:09:08 +0200seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr)
2021-09-23 18:09:21 +0200wysteriary[m](~wysteriar@2001:470:69fc:105::a42e)
2021-09-23 18:09:24 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2021-09-23 18:09:43 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277)
2021-09-23 18:09:55 +0200sam[m]1(~sammtopoi@2001:470:69fc:105::e887)
2021-09-23 18:10:07 +0200Topik[m](~topikmatr@2001:470:69fc:105::a082)
2021-09-23 18:10:07 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2021-09-23 18:10:07 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-09-23 18:10:08 +0200asdofindia-m(~akshaymat@2001:470:69fc:105::831)
2021-09-23 18:10:08 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300)
2021-09-23 18:10:08 +0200kar1(~kar1@2001:470:69fc:105::c308)
2021-09-23 18:10:08 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018)
2021-09-23 18:10:08 +0200ormaaj(~ormaaj@user/ormaaj)
2021-09-23 18:10:08 +0200hjulle[m](~hjullemat@2001:470:69fc:105::1dd)
2021-09-23 18:10:22 +0200infinisil(~infinisil@2001:470:69fc:105::ff8)
2021-09-23 18:10:22 +0200Drew[m](~drewefenw@2001:470:69fc:105::c8c4)
2021-09-23 18:10:22 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2021-09-23 18:10:22 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2021-09-23 18:10:22 +0200siraben(~siraben@user/siraben)
2021-09-23 18:10:23 +0200SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036)
2021-09-23 18:10:35 +0200sky_lounge[m](~skylounge@2001:470:69fc:105::efa6)
2021-09-23 18:10:36 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2021-09-23 18:10:45 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 276 seconds)
2021-09-23 18:10:53 +0200monadfritz[m](~ahdytmatr@2001:470:69fc:105::e1f1)
2021-09-23 18:10:53 +0200bakinonion[m](~bakinonio@2001:470:69fc:105::ddb3)
2021-09-23 18:11:05 +0200rosariopulella[m(~rosariopu@2001:470:69fc:105::a57)
2021-09-23 18:11:07 +0200masaeedu[m](~masaeedum@2001:470:69fc:105::e256)
2021-09-23 18:11:08 +0200fcortesi(~fcortesi@2001:470:69fc:105::f3a9)
2021-09-23 18:11:29 +0200hiepph[m](~hiepphmat@2001:470:69fc:105::e3a8)
2021-09-23 18:11:29 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2021-09-23 18:11:29 +0200cloudy(~cloudy@2001:470:69fc:105::50c0)
2021-09-23 18:11:52 +0200commuswift[m](~commuswif@2001:470:69fc:105::e862)
2021-09-23 18:11:54 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2021-09-23 18:11:56 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-09-23 18:11:56 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2021-09-23 18:11:57 +0200aidy(~aidy@2001:470:69fc:105::c7b4)
2021-09-23 18:12:16 +0200hendursaga(~weechat@user/hendursaga)
2021-09-23 18:17:19 +0200bgamari_bgamari
2021-09-23 18:18:08 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2021-09-23 18:18:54 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-09-23 18:19:30 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 18:20:01 +0200python47`(~user@88.160.31.174)
2021-09-23 18:21:41 +0200python476(~user@88.160.31.174) (Ping timeout: 264 seconds)
2021-09-23 18:21:47 +0200terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Read error: Connection reset by peer)
2021-09-23 18:23:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 18:23:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 18:23:01 +0200wroathe(~wroathe@user/wroathe)
2021-09-23 18:24:05 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 264 seconds)
2021-09-23 18:24:43 +0200terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-09-23 18:27:29 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-09-23 18:27:36 +0200chomwitt(~chomwitt@ppp-94-67-1-143.home.otenet.gr)
2021-09-23 18:30:07 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-09-23 18:39:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-09-23 18:39:53 +0200seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.2)
2021-09-23 18:40:07 +0200seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr)
2021-09-23 18:41:32 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-09-23 18:42:02 +0200 <awpr> sshine: also apparently I managed to get better results on this than I remembered: https://github.com/google/hs-ten/blob/e0cf34abb85a0df37f8bd2f4ba0270264455c58f/ten/src/Data/Ten/Ap…
2021-09-23 18:42:19 +0200 <awpr> wrapping fields in that, you get back the ability to say `deriving Eq` with no fanfare
2021-09-23 18:43:44 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-09-23 18:46:56 +0200superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving)
2021-09-23 18:47:50 +0200mc47(~mc47@xmonad/TheMC47)
2021-09-23 18:49:17 +0200bgamari(~bgamari@64.223.239.239) (Ping timeout: 246 seconds)
2021-09-23 18:50:35 +0200bgamari(~bgamari@2001:470:e438::1)
2021-09-23 18:54:07 +0200notzmv(~zmv@user/notzmv)
2021-09-23 18:57:30 +0200MQ-17J(~MQ-17J@d192-24-122-179.try.wideopenwest.com)
2021-09-23 18:58:00 +0200 <sshine> awpr, awesome, thanks for replying!
2021-09-23 19:01:09 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 19:01:28 +0200alzgh(~alzgh@user/alzgh)
2021-09-23 19:04:15 +0200Cajun(~Cajun@user/cajun) (Quit: Client closed)
2021-09-23 19:04:27 +0200econo(uid147250@user/econo)
2021-09-23 19:06:31 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 19:06:59 +0200 <carbolymer> awpr: you're using haskell at google?
2021-09-23 19:08:46 +0200 <awpr> I used to work on a primarily-Haskell project. I'm not anymore, though, the libraries are more of a side project for me atm
2021-09-23 19:10:20 +0200pera(~pera@5ec231fc.skybroadband.com)
2021-09-23 19:10:45 +0200peraGuest3253
2021-09-23 19:10:56 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 19:13:29 +0200turlando(~turlando@user/turlando) (Ping timeout: 268 seconds)
2021-09-23 19:13:32 +0200turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-09-23 19:13:58 +0200turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it) (Client Quit)
2021-09-23 19:14:16 +0200turlando(~turlando@user/turlando)
2021-09-23 19:15:13 +0200seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.2)
2021-09-23 19:17:20 +0200seiryn(~seiryn@2a01cb040147e000e4dbf764ff30bd96.ipv6.abo.wanadoo.fr)
2021-09-23 19:19:02 +0200chris(~chris@81.96.113.213)
2021-09-23 19:19:06 +0200chrisGuest2921
2021-09-23 19:19:33 +0200 <carbolymer> I think I've solved it: https://bpa.st/4ZHQ
2021-09-23 19:22:33 +0200\Nova(~novadev@2405:4802:11d:af70:f140:4c76:cde5:9874)
2021-09-23 19:23:14 +0200python47`(~user@88.160.31.174) (Ping timeout: 250 seconds)
2021-09-23 19:23:19 +0200Alex_test(~al_test@94.233.241.29) (Quit: ;-)
2021-09-23 19:24:21 +0200nschoe(~quassel@2a01:e0a:8e:a190:b40e:d941:c021:f607)
2021-09-23 19:24:29 +0200AlexZenon(~alzenon@94.233.241.29) (Quit: ;-)
2021-09-23 19:28:40 +0200TDANG(~TDANG@cpe-107-15-144-45.nc.res.rr.com)
2021-09-23 19:28:40 +0200TDANG_(~TDANG@inet-177-7.ets.org) (Read error: Connection reset by peer)
2021-09-23 19:28:52 +0200Alex_test(~al_test@94.233.241.29)
2021-09-23 19:28:52 +0200TDANG(~TDANG@cpe-107-15-144-45.nc.res.rr.com) (Read error: Connection reset by peer)
2021-09-23 19:30:11 +0200Guest3253(~pera@5ec231fc.skybroadband.com) (Ping timeout: 252 seconds)
2021-09-23 19:31:11 +0200AlexZenon(~alzenon@94.233.241.29)
2021-09-23 19:34:42 +0200\Nova(~novadev@2405:4802:11d:af70:f140:4c76:cde5:9874) (Ping timeout: 260 seconds)
2021-09-23 19:35:47 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 19:36:00 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 19:36:07 +0200alzgh(~alzgh@user/alzgh)
2021-09-23 19:36:25 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 19:48:22 +0200fresheyeball(~fresheyeb@c-76-25-93-164.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-09-23 19:50:07 +0200k``(~user@152.1.137.158) (Quit: ERC (IRC client for Emacs 27.1))
2021-09-23 19:51:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-09-23 19:51:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-09-23 19:51:37 +0200wroathe(~wroathe@user/wroathe)
2021-09-23 19:52:11 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 19:52:36 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-09-23 19:54:15 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-09-23 19:54:46 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2021-09-23 19:55:49 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net)
2021-09-23 19:57:30 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-09-23 19:58:53 +0200zaquest(~notzaques@5.128.210.178)
2021-09-23 20:02:30 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 20:13:41 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 20:23:03 +0200 <maerwald> So I'm planning to switch to another operating system/distro, because fedora is awful. Anything particularly haskell friendly? (e.g. runtime switchable gcc, ncurses compat symlinks, etc.)
2021-09-23 20:23:10 +0200max22-(~maxime@2a01cb0883359800cdfb9fe06cd30ce5.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-09-23 20:23:50 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-09-23 20:23:59 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 20:24:05 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 252 seconds)
2021-09-23 20:25:35 +0200 <carbolymer> maerwald: you want to install haskell deps on an os level?
2021-09-23 20:25:43 +0200 <maerwald> no
2021-09-23 20:25:44 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds)
2021-09-23 20:26:02 +0200 <dsal> I've been enjoying nixos, but it's divisive. :)
2021-09-23 20:26:18 +0200 <maerwald> 100% no
2021-09-23 20:26:39 +0200 <monochrom> From "runtime switchable gcc" I think of nix or docker.
2021-09-23 20:26:55 +0200 <maerwald> I know at least 2 distros that can do it, but they are source distros
2021-09-23 20:27:04 +0200 <monochrom> I am speaking this in the sense of narrowing down to {nix, docker}
2021-09-23 20:27:10 +0200 <carbolymer> maerwald: I'm using Arch and it's great so far, but a few caveats: I manage haskell packages through stack & cabal; it's better to install stack and cabal from packages statically linked (binaries)
2021-09-23 20:27:41 +0200 <monochrom> I understand that other constraints will shrink that set further. Possibly to {} and we throw the towel.
2021-09-23 20:28:32 +0200 <monochrom> But let's look at the bright side!
2021-09-23 20:29:18 +0200 <monochrom> From "fedora is awful" I think of a very large set, {ubuntu, gentoo, ... a lot of things are less bad than fedora} :)
2021-09-23 20:30:17 +0200 <c_wraith> I get a lot of mileage from separating haskell from the OS entirely.
2021-09-23 20:30:25 +0200 <c_wraith> pick an OS you like, then use ghcup
2021-09-23 20:30:32 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 265 seconds)
2021-09-23 20:30:42 +0200 <monochrom> I use ubuntu, and if I use ghcup instead of ubuntu's ghc packages, it's haskell friendly. I haven't needed to switch gcc at all though.
2021-09-23 20:30:58 +0200 <maerwald> c2hs breakages sometimes require older gcc's
2021-09-23 20:31:00 +0200 <monochrom> But we're answering the author of ghcup so there is a bit of irony here. :)
2021-09-23 20:31:04 +0200 <maerwald> at least that happened on fedora
2021-09-23 20:31:34 +0200 <maerwald> one morning, I couldn't build any of c2hs packages
2021-09-23 20:31:39 +0200 <monochrom> Right? "Hey maerwald! Have you tried ghcup?" hahaha
2021-09-23 20:32:00 +0200 <maerwald> occasionally
2021-09-23 20:32:09 +0200 <geekosaur> ubuntu often lets you select versions of things. no idea if that applies to gcc but gcc9 hasn't landed yet
2021-09-23 20:32:24 +0200 <maerwald> I'm honestly leaning towards windows
2021-09-23 20:32:37 +0200 <carbolymer> wat
2021-09-23 20:32:46 +0200 <monochrom> Ah yeah you can co-install multiple versions of gcc on ubuntu, then say "gcc-x.y"
2021-09-23 20:32:52 +0200 <maerwald> 1. has great virtualization, 2. has WSL2, 3. suspend to ram and power/therml throttling actually works
2021-09-23 20:33:00 +0200 <maerwald> but then... all of the rest is awful
2021-09-23 20:33:06 +0200 <c_wraith> oh. yes, I only use linux in wsl2
2021-09-23 20:33:14 +0200Guest66(~Guest66@wificampus-023241.grenet.fr)
2021-09-23 20:33:19 +0200 <c_wraith> mostly debian.
2021-09-23 20:33:23 +0200 <geekosaur> hm, looks like we have 7-10 inm various places. then update-alternatives to switch
2021-09-23 20:33:32 +0200 <monochrom> docker is analogous to wsl in this sense.
2021-09-23 20:34:07 +0200elias_(~elias@bl9-97-115.dsl.telepac.pt)
2021-09-23 20:34:35 +0200 <monochrom> Ironically my laptop is such that linux is better than windows in terms of hardware features working.
2021-09-23 20:34:39 +0200 <yushyin> I have an anecdote, fedora is the distro that had once deleted some files in the user's home directory during texlive upgrade ... so i don't have the greatest faith in this distro.
2021-09-23 20:34:48 +0200 <monochrom> windows is hotter than linux, firstly
2021-09-23 20:35:18 +0200 <maerwald> suspend to ram is broken on my fedora box since a month
2021-09-23 20:35:45 +0200 <monochrom> secondly, on windows it hangs upon screen sleep, on linux it used to but now fixed.
2021-09-23 20:35:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 20:36:00 +0200 <Guest66> huh, my experience with fedora has been very positive. I found it be most polished. the devs are very attentive to details
2021-09-23 20:36:32 +0200 <monochrom> I wouldn't be surprised if ubuntu works better than fedora for these hardware and sleep issues, but I haven't tried.
2021-09-23 20:36:39 +0200 <awpr> tbf GHC is the compiler that had once deleted source files when there was a type error, so...
2021-09-23 20:36:44 +0200 <geekosaur> suspend works fine here
2021-09-23 20:36:51 +0200 <Guest66> though my thinkpad X1C has a weird issue on linux where the fans spin uncontrollably right after waking from suspend
2021-09-23 20:36:57 +0200 <carbolymer> What are you saying people. I'm using windows at work and it's a world of pain, everything breaks. I need to reboot to make my peripherals work 1 in 5 times.
2021-09-23 20:37:06 +0200 <maerwald> Guest66: I have many such problems with my X1 Extreme
2021-09-23 20:37:09 +0200 <maerwald> it's impossible
2021-09-23 20:37:13 +0200 <Guest66> ironically hibernate works fine (and it's my only problem)
2021-09-23 20:37:17 +0200 <geekosaur> I haven't tested hibernate, which is disabled by default since it works on relatively few machines, but it worked on my old laptop
2021-09-23 20:37:23 +0200 <Guest66> maerwald: it's the 4th gen
2021-09-23 20:37:51 +0200 <Guest66> why can't lenovo issue a BIOS update and solve my issues
2021-09-23 20:37:58 +0200 <maerwald> so maybe windows is the only solution...
2021-09-23 20:38:22 +0200 <Guest66> heresy! I have a windows partiton and I hate it
2021-09-23 20:38:25 +0200 <maerwald> ghc works fine on WSL2 afaih
2021-09-23 20:38:57 +0200 <monochrom> WSL2 still doesn't solve the problem of "but which linux?"
2021-09-23 20:38:58 +0200 <maerwald> in windows itself it works as far as antivirus scanner, windows defender and file locking allow
2021-09-23 20:39:09 +0200 <maerwald> so half of the time
2021-09-23 20:39:10 +0200 <Guest66> each time I boot into it I have to wait through 5mins of it burning my cpu running all kinds of weird things in the bg
2021-09-23 20:39:31 +0200 <Guest66> "Antimalware Service Executable"
2021-09-23 20:39:32 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 20:39:34 +0200 <Guest66> "System"
2021-09-23 20:39:36 +0200 <monochrom> I bet that gcc on windows will give you more questions, not answers.
2021-09-23 20:39:48 +0200 <maerwald> msys2 is a cluster...
2021-09-23 20:40:07 +0200 <yushyin> My windows workstation wakes up from suspend at random times and goes back into suspend mode after a while, a bit annoying i must say.
2021-09-23 20:40:12 +0200 <Guest66> I heard Peter Haskell say that they once has a bug on ghc for windows that made your src files get deleted
2021-09-23 20:40:50 +0200landonf(landonf@mac68k.info)
2021-09-23 20:41:20 +0200 <Guest66> It's Simon Peyton Jones ... for some reason I thought it was Peter (it was a talk)
2021-09-23 20:41:59 +0200Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-09-23 20:42:56 +0200 <geekosaur> yeh, it's not hard to find that bug in the gitlab issue tracker
2021-09-23 20:44:27 +0200 <maerwald> OpenSUSE?
2021-09-23 20:45:01 +0200 <monochrom> Are they still around?
2021-09-23 20:45:11 +0200lavaman(~lavaman@98.38.249.169)
2021-09-23 20:45:36 +0200 <Guest66> uhhh, yes they're a non-negligeable player in the commercial linux market
2021-09-23 20:45:39 +0200 <monochrom> Distant memory of OpenSuSE, Caldera, OS/2
2021-09-23 20:45:53 +0200 <monochrom> I still have a Caldera rubber penguin.
2021-09-23 20:46:56 +0200 <Guest66> I think arch is good if you prefer the devs not mess with upstream too much
2021-09-23 20:47:36 +0200 <maerwald> Guest66: the reason I wanna leave fedora is because maintainers push whatever upstream claims is stable
2021-09-23 20:47:44 +0200 <maerwald> arch does the same, constantly breaking your system
2021-09-23 20:48:14 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-09-23 20:48:32 +0200 <monochrom> I think ubuntu is better in that regard. They actually have hired devs to vet things.
2021-09-23 20:48:57 +0200 <Guest66> I think that's not very fair. What does breaking your system mean? if you have dev environemnts then yes I would agree (just use docker)
2021-09-23 20:49:12 +0200 <geekosaur> https://gitlab.haskell.org/ghc/ghc/-/issues/163
2021-09-23 20:49:13 +0200 <maerwald> Guest66: your desktop environment, kernel, suspend to ram etc etc
2021-09-23 20:49:19 +0200 <yushyin> Guest66: this channel has a general dislike for arch, don't bother mentioning it here
2021-09-23 20:49:20 +0200 <monochrom> At least unless you talk about the multiverse, but that one is vetted by the debian conservative people.
2021-09-23 20:49:26 +0200 <maerwald> Guest66: I've used arch for 3 years or so, every update broke something
2021-09-23 20:49:37 +0200 <Guest66> yushyin: hah, too late
2021-09-23 20:49:57 +0200 <awpr> I use arch whenever I have a choice, and don't plan to change that, but I totally agree that stuff constantly breaks
2021-09-23 20:50:04 +0200 <geekosaur> arch really messed up its ghc/haskell packaging
2021-09-23 20:50:14 +0200 <carbolymer> geekosaur: yes
2021-09-23 20:50:18 +0200 <Guest66> maerwald: I'm very curious about that, any examples of what broke?
2021-09-23 20:50:19 +0200 <geekosaur> arch itself is okay but use ghcup
2021-09-23 20:50:27 +0200 <carbolymer> geekosaur: yes
2021-09-23 20:50:33 +0200 <maerwald> Guest66: your deskopt environment
2021-09-23 20:50:41 +0200 <carbolymer> geekosaur: or static binaries of stack and cabal
2021-09-23 20:50:50 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 20:50:54 +0200 <maerwald> you don't expect me to have logs from those 200 incidents 10 years ago? :)
2021-09-23 20:51:09 +0200alzgh(~alzgh@user/alzgh)
2021-09-23 20:51:17 +0200 <maerwald> my KDE was constantly broken is all I know
2021-09-23 20:51:37 +0200 <Guest66> no no I don't mean in that way, it's just that my experience (from 2020 years) was different
2021-09-23 20:52:13 +0200 <geekosaur> 10 years ago? I think they instituted rawhide to iron those kinds of issues out
2021-09-23 20:52:24 +0200 <Guest66> oh yes KDE, they updated their _official_ themes and highlighted a bug as old as time: kwin can't handle rounded borders
2021-09-23 20:52:36 +0200 <Guest66> it annoys me immeasurably
2021-09-23 20:52:44 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) ()
2021-09-23 20:52:49 +0200 <maerwald> changing processes and attitude takes 10 years (minimum)
2021-09-23 20:53:02 +0200 <Guest66> but not enough to use GNOME, and def no where near going back to bspwm/xmonad
2021-09-23 20:53:04 +0200 <maerwald> I'm pretty confident I don't want arch
2021-09-23 20:53:15 +0200 <maerwald> it's sad that alpine linux abandoned desktop
2021-09-23 20:53:24 +0200 <maerwald> too few musl based distros for desktop
2021-09-23 20:53:31 +0200 <maerwald> building static haskell exes on the fly is nice
2021-09-23 20:53:37 +0200 <Guest66> what about Nix?
2021-09-23 20:53:47 +0200 <maerwald> Guest66: it's awful?
2021-09-23 20:53:59 +0200 <Guest66> I used it for a couple months, ran away from the FHS incompatibility
2021-09-23 20:54:22 +0200 <maerwald> Programmers not caring about complexity is when you should leave, yes
2021-09-23 20:54:53 +0200 <Guest66> "hey here is this tar.gz, just run make on it" is hell when you're on Nix. If it's not in nixpkgs, your will suffer
2021-09-23 20:54:59 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl)
2021-09-23 20:55:22 +0200kimjetwav(~user@2607:fea8:235f:9730:5dc1:21d2:283d:a2f8)
2021-09-23 20:55:33 +0200 <Guest66> and my system was noticeably slower with all the symlinks
2021-09-23 20:56:10 +0200shailangsa(~shailangs@host86-186-132-44.range86-186.btcentralplus.com) (Remote host closed the connection)
2021-09-23 20:56:56 +0200 <maerwald> everything is a file -> everything is a symlink
2021-09-23 20:57:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection)
2021-09-23 20:57:32 +0200 <awpr> I want to see an "everything is a CAF" OS
2021-09-23 20:58:01 +0200 <Clint> wht's a caf
2021-09-23 20:58:15 +0200 <carbolymer> calf without leg
2021-09-23 20:58:38 +0200 <awpr> Constant Applicative Form, a top-level Haskell binding that just applies something to some arguments
2021-09-23 20:59:31 +0200 <Guest66> awpr: well how would you implement "files" that way?
2021-09-23 20:59:47 +0200 <monochrom> Perhaps don't do files at all.
2021-09-23 21:00:00 +0200 <awpr> unsafePerformIO :)
2021-09-23 21:00:03 +0200 <monochrom> Have a different data model.
2021-09-23 21:00:39 +0200 <monochrom> PalmOS did not have files for example. It had a relational database. The way I heard it.
2021-09-23 21:00:50 +0200 <geekosaur> pick
2021-09-23 21:01:21 +0200 <geekosaur> https://en.wikipedia.org/wiki/Pick_operating_system
2021-09-23 21:02:04 +0200 <monochrom> Caldera and OS/2 and PalmOS. Anyone wanna try out NeXT or CP/M? Apple Integer BASIC?
2021-09-23 21:03:06 +0200nitrix(~nitrix@user/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration)
2021-09-23 21:03:23 +0200 <Guest66> I still can't believe CP/M was lost QDOS
2021-09-23 21:03:29 +0200 <Guest66> lost to*
2021-09-23 21:03:48 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 21:03:54 +0200max22-(~maxime@2a01cb088335980002701e26d2f7aa66.ipv6.abo.wanadoo.fr)
2021-09-23 21:04:46 +0200arpl(~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) ()
2021-09-23 21:05:23 +0200 <monochrom> A lot of CP/M spirits still live today. CRLF. 8-character filename plus 3-letter extension.
2021-09-23 21:07:52 +0200 <geekosaur> com files (memeory images starting at $0100) held on for a remarkably long time
2021-09-23 21:08:11 +0200 <monochrom> Yeah.
2021-09-23 21:10:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-09-23 21:10:50 +0200ubert(~Thunderbi@178.115.76.102.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2021-09-23 21:10:54 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 21:11:00 +0200 <monochrom> Interesting, the name "BIOS" may have come from CP/M too.
2021-09-23 21:11:28 +0200 <geekosaur> probably
2021-09-23 21:11:52 +0200nschoe(~quassel@2a01:e0a:8e:a190:b40e:d941:c021:f607) (Ping timeout: 252 seconds)
2021-09-23 21:13:10 +0200kimjetwav(~user@2607:fea8:235f:9730:5dc1:21d2:283d:a2f8) (Ping timeout: 260 seconds)
2021-09-23 21:13:29 +0200python47`(~user@88.160.31.174)
2021-09-23 21:14:40 +0200 <Guest66> I really don't understand the author's two arguments for writing the Parser type synonym here: https://markkarpov.com/tutorial/megaparsec.html#parsect-and-parsec-monads
2021-09-23 21:15:40 +0200 <Guest66> when they say "if your code stays polymorphic" do they mean I would write "Parsec Void Text Int" every time?
2021-09-23 21:16:50 +0200 <Guest66> because to me it's just a matter of not repeating the some composition (for "code beauty" ...)
2021-09-23 21:16:58 +0200 <geekosaur> no, when you reach that level Parser is just a shorthand. but lots of parser code doesn't refer to most of that so you'd just write an (unused) type variable, and then the excessive polymorphism bites
2021-09-23 21:17:14 +0200 <monochrom> "GHC cannot do much in terms of optimization if your parsers stay polymorphic"
2021-09-23 21:17:49 +0200 <monochrom> Type inference gives very polymorphic types.
2021-09-23 21:18:21 +0200 <Guest66> I'm sorry what's an unused type variable. Could your give me an example where the code stays polymorphic because that's what I'm missing
2021-09-23 21:18:23 +0200 <geekosaur> that too, if you just lket ghc infer the types it'll iinsert unused type vars
2021-09-23 21:18:54 +0200 <monochrom> However, I come from another angle.
2021-09-23 21:19:36 +0200 <monochrom> Most people who talk about code optimizations talk about of personal fantasy.
2021-09-23 21:19:52 +0200 <monochrom> s/talk about of/talk out of/
2021-09-23 21:20:07 +0200teddyc(theodorc@cassarossa.samfundet.no) (Ping timeout: 252 seconds)
2021-09-23 21:21:03 +0200 <monochrom> Both kinds of fantasies: how code optimizations work, how much you actually need.
2021-09-23 21:22:00 +0200notzmv(~zmv@user/notzmv) (Remote host closed the connection)
2021-09-23 21:22:07 +0200vicfred(~vicfred@user/vicfred)
2021-09-23 21:22:18 +0200 <mrianbloom> Is anyone successfully using a Haskell binding to Tensorflow?
2021-09-23 21:22:37 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2.1)
2021-09-23 21:22:53 +0200 <mrianbloom> Python is just causing so many problems, I've been hoping to phase it out.
2021-09-23 21:22:59 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-09-23 21:23:25 +0200nschoe(~quassel@2a01:e0a:8e:a190:6260:d0a4:612a:667e)
2021-09-23 21:23:39 +0200 <jpds> Seems to be an official thing: https://github.com/tensorflow/haskell
2021-09-23 21:25:11 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 21:25:17 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan)
2021-09-23 21:25:31 +0200alzgh(~alzgh@user/alzgh)
2021-09-23 21:25:31 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be)
2021-09-23 21:26:17 +0200 <monochrom> I look at this whole thing from the points of view of getting things done, teaching, learning.
2021-09-23 21:27:02 +0200python47`(~user@88.160.31.174) (Remote host closed the connection)
2021-09-23 21:27:05 +0200xff0x(~xff0x@2001:1a81:5223:600:7b8b:d6b9:4e09:bc2d) (Ping timeout: 264 seconds)
2021-09-23 21:27:12 +0200 <monochrom> If you're getting things done, the actual problem you're solving already determines how much/little polymorphism you should have. You shouldn't even have a choice there.
2021-09-23 21:27:48 +0200xff0x(~xff0x@2001:1a81:5223:600:5044:85d:79f3:4926)
2021-09-23 21:28:05 +0200 <monochrom> And then, in case you need much polymorphism, how to make it fast is a different issue, there are techniques.
2021-09-23 21:29:04 +0200 <monochrom> And in case you need much monomorphism, and if it means you have to handwrite very long types with like 10 type parameters, how to manage it is also a different issue.
2021-09-23 21:30:58 +0200 <monochrom> Type aliases shorten your type sigs but makes you remember more names. You are trading reading "speed" vs brain memory recall. The sweet spot depends on your actual code.
2021-09-23 21:31:11 +0200 <monochrom> s/remember/memorize/
2021-09-23 21:31:49 +0200\Nova(~novadev@2405:4802:11d:af70:55d5:5371:aee0:b50e)
2021-09-23 21:32:09 +0200 <monochrom> If you're teaching or learning, Piaget's theory: concrete before abstract, special before general, monomorphic before polymorphic.
2021-09-23 21:32:16 +0200 <monochrom> It's that simple.
2021-09-23 21:33:04 +0200 <[exa]> tangible colorful motivation
2021-09-23 21:34:33 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-09-23 21:35:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 21:36:30 +0200nschoe(~quassel@2a01:e0a:8e:a190:6260:d0a4:612a:667e) (Ping timeout: 260 seconds)
2021-09-23 21:39:36 +0200 <c_wraith> you can often add bounded polymorphism to just about anything.
2021-09-23 21:39:46 +0200 <c_wraith> So... probably best not to. :)
2021-09-23 21:39:50 +0200 <c_wraith> :t view
2021-09-23 21:39:51 +0200 <lambdabot> MonadReader s m => Getting a s a -> m a
2021-09-23 21:39:59 +0200 <c_wraith> I *still* don't like the type of that
2021-09-23 21:40:04 +0200 <c_wraith> even though it's clearly useful
2021-09-23 21:41:30 +0200 <c_wraith> or rather, I don't like that the MonadReader instance most frequently used with it is (->)
2021-09-23 21:41:55 +0200 <awpr> don't look at `Control.Lens.Indexed` then
2021-09-23 21:42:24 +0200 <c_wraith> I have on several occasions, because I made the mistake of thinking useful things were in that module
2021-09-23 21:42:38 +0200 <awpr> that thing is so delicately balanced on the van laarhoven lens types that it just seems like an astonishing bit of luck that it was possible
2021-09-23 21:43:02 +0200 <[exa]> I'm trying to get `llvm-hs` working in github ubuntu runner and it's telling me that it can't match `forall r1. ContT r1 m a` with `ContT r m a` during installation at some point (AnyCont.hs line 15). Did anyone see/solve that?
2021-09-23 21:43:14 +0200 <c_wraith> IIRC, that mess was mostly "there are only ever going to be two instances, so we felt fine adding all these other things"
2021-09-23 21:45:06 +0200 <awpr> [exa]: https://github.com/llvm-hs/llvm-hs/commit/227a33c183a4abc5dfbee50081ee793348e38355 perhaps?
2021-09-23 21:45:47 +0200Guest66(~Guest66@wificampus-023241.grenet.fr) (Ping timeout: 256 seconds)
2021-09-23 21:45:56 +0200 <[exa]> oh lovely that might be it
2021-09-23 21:48:12 +0200nehsou^(~nehsou@12.203.127.82) (Remote host closed the connection)
2021-09-23 21:48:46 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed)
2021-09-23 21:51:14 +0200python476(~user@88.160.31.174)
2021-09-23 21:52:21 +0200kayprish(~kayprish@46.240.130.158)
2021-09-23 21:54:19 +0200Pickchea(~private@user/pickchea)
2021-09-23 21:57:56 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2021-09-23 21:59:02 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20) (Remote host closed the connection)
2021-09-23 21:59:25 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4ca1:d414:dc00:5f20)
2021-09-23 22:00:04 +0200hiepph[m](~hiepphmat@2001:470:69fc:105::e3a8) ()
2021-09-23 22:00:13 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 252 seconds)
2021-09-23 22:04:27 +0200rond_(~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438)
2021-09-23 22:05:13 +0200xff0x(~xff0x@2001:1a81:5223:600:5044:85d:79f3:4926) (Ping timeout: 252 seconds)
2021-09-23 22:05:55 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-09-23 22:06:00 +0200xff0x(~xff0x@2001:1a81:5223:600:4c14:d9af:343:6bc3)
2021-09-23 22:06:21 +0200pera(~pera@5ec231fc.skybroadband.com)
2021-09-23 22:06:28 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-09-23 22:06:46 +0200peraGuest2276
2021-09-23 22:09:08 +0200mikoto-chan(~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-09-23 22:11:17 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-09-23 22:13:07 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Quit: Leaving)
2021-09-23 22:16:27 +0200jushur(~human@user/jushur)
2021-09-23 22:17:10 +0200kayprish(~kayprish@46.240.130.158) (Read error: Connection reset by peer)
2021-09-23 22:21:30 +0200aliosablack(~chomwitt@athedsl-351887.home.otenet.gr)
2021-09-23 22:21:46 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net)
2021-09-23 22:22:01 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-09-23 22:22:42 +0200chomwitt(~chomwitt@ppp-94-67-1-143.home.otenet.gr) (Ping timeout: 260 seconds)
2021-09-23 22:25:16 +0200max22-(~maxime@2a01cb088335980002701e26d2f7aa66.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-09-23 22:26:02 +0200max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-09-23 22:26:11 +0200yauhsien(~yauhsien@61-231-35-247.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-09-23 22:27:18 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-09-23 22:27:43 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-09-23 22:28:56 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
2021-09-23 22:29:21 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-09-23 22:35:04 +0200 <ixlun> Out of interest does GHC have the ability to fold 'trivial' functions that can then be the basis of compile time checks? I'm thinking something like https://hackage.haskell.org/package/safe-money-0.9.1/docs/Money.html#v:mkSeparators
2021-09-23 22:35:56 +0200 <ixlun> This returns a `Maybe Separators` but it would be nice if the compiler could do a compile-time check to ensure the critera matches and then the `Maybe` wouldn't be needed.
2021-09-23 22:36:12 +0200alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-09-23 22:36:17 +0200 <ixlun> Kind of similar to C++'s `constexpr`, I guess.
2021-09-23 22:36:22 +0200alzgh(~alzgh@user/alzgh)
2021-09-23 22:36:40 +0200acidjnk(~acidjnk@p200300d0c703cb1858335af67d16cb54.dip0.t-ipconnect.de)
2021-09-23 22:44:14 +0200teddyc(theodorc@cassarossa.samfundet.no)
2021-09-23 22:45:40 +0200shailangsa(~shailangs@host217-39-45-200.range217-39.btcentralplus.com)
2021-09-23 22:46:31 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 22:46:58 +0200TDANG(~TDANG@inet-177-7.ets.org)
2021-09-23 22:49:27 +0200 <TDANG> How can I translate following statement
2021-09-23 22:49:31 +0200 <TDANG> hello :: Contract () EmptySchema T.Text ()
2021-09-23 22:49:41 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 22:49:41 +0200cfricke(~cfricke@user/cfricke)
2021-09-23 22:51:08 +0200 <maerwald> translate?
2021-09-23 22:51:23 +0200 <monochrom> Translate to what?
2021-09-23 22:51:31 +0200 <TDANG> I mean, interprete
2021-09-23 22:51:42 +0200 <TDANG> How do I understand that statement
2021-09-23 22:51:44 +0200 <maerwald> TDANG: did you follow the plutus pioneer program?
2021-09-23 22:51:52 +0200 <TDANG> Not yet
2021-09-23 22:51:56 +0200 <maerwald> please do so
2021-09-23 22:51:59 +0200 <maerwald> it's explained there
2021-09-23 22:52:14 +0200 <monochrom> Contract is a type, but it takes 4 type parameters. Here the 4 type parameters are given: (), EmptySchema, T.Text, ().
2021-09-23 22:52:45 +0200System123(~System123@151.52.127.10)
2021-09-23 22:52:46 +0200 <c_wraith> ixlun: ghc will inline and simplify in several cases, which will often achieve the same result. Though it won't do that across recursive functions, and there are other limits too.
2021-09-23 22:52:59 +0200 <c_wraith> ixlun: if you want to guarantee it happens at compile-time, you need to involve template haskell
2021-09-23 22:53:08 +0200System123(~System123@151.52.127.10) (Read error: Connection reset by peer)
2021-09-23 22:53:14 +0200 <monochrom> At this point you can do worse than checking out the documentation of this Contract type for real.
2021-09-23 22:53:48 +0200Guest2921(~chris@81.96.113.213) (Remote host closed the connection)
2021-09-23 22:54:43 +0200 <TDANG> Oh, I got you
2021-09-23 22:55:59 +0200 <monochrom> Well, either that, or you should learn Haskell syntax for real.
2021-09-23 22:56:19 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 252 seconds)
2021-09-23 22:56:20 +0200 <monochrom> And at this point I just mean syntax.
2021-09-23 22:56:32 +0200 <TDANG> great
2021-09-23 22:56:48 +0200 <TDANG> Is the plutus-pioneer-program here: https://github.com/input-output-hk/plutus-pioneer-program
2021-09-23 22:57:10 +0200 <monochrom> https://soupi.github.io/rfc/reading_simple_haskell/ can get you to be able to read/guess pretty quickly.
2021-09-23 22:58:18 +0200vysn(~vysn@user/vysn)
2021-09-23 22:58:39 +0200chris(~chris@81.96.113.213)
2021-09-23 22:58:44 +0200chrisGuest4945
2021-09-23 22:59:06 +0200Guest51(~Guest51@93-172-101-61.bb.netvision.net.il)
2021-09-23 22:59:21 +0200 <Guest51> can anyone help me? https://discourse.haskell.org/t/couldnt-figure-out-what-ghc-version-the-project-is-using/3310/5
2021-09-23 22:59:29 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 264 seconds)
2021-09-23 23:02:58 +0200Guest4945(~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-09-23 23:06:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-09-23 23:08:56 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-09-23 23:09:08 +0200michalz(~michalz@185.246.204.33) (Remote host closed the connection)
2021-09-23 23:09:50 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2021-09-23 23:10:16 +0200Lord_of_Life_Lord_of_Life
2021-09-23 23:11:47 +0200wrengr_awaywrengr
2021-09-23 23:12:04 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Remote host closed the connection)
2021-09-23 23:14:04 +0200 <sshine> I'm trying to create a wrapper around 'req' that takes a 'ToJSON body => Maybe body' as argument. but my attempt fails because 'NoReqBody :: NoReqBody' and 'ReqBodyJson (toJSON body) :: ReqBodyJson Value' don't have the same type.
2021-09-23 23:15:09 +0200 <sshine> the 'req' function has a bunch of type-class constraints that allows it to take either one as argument, and I'm somehow failing to express some similar ones.
2021-09-23 23:15:41 +0200dextaa(~DV@user/dextaa) (Ping timeout: 252 seconds)
2021-09-23 23:15:50 +0200aliosablack(~chomwitt@athedsl-351887.home.otenet.gr) (Ping timeout: 265 seconds)
2021-09-23 23:16:59 +0200 <awpr> kinda sounds like you're doing something like `maybe NoReqBody ReqBodyJson` that's trying to unify those types
2021-09-23 23:17:14 +0200hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-09-23 23:17:35 +0200 <awpr> would probably need two different calls to `req` at different types instead
2021-09-23 23:18:33 +0200 <sshine> exactly that
2021-09-23 23:18:55 +0200 <sshine> I'll go with two.
2021-09-23 23:20:12 +0200 <sshine> thanks.
2021-09-23 23:20:50 +0200dextaa(~DV@user/dextaa)
2021-09-23 23:26:43 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-09-23 23:26:45 +0200sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com)
2021-09-23 23:27:57 +0200 <sneedsfeed> what should I use if I want to apply a function to a value, then apply that function again to the output repeatedly, each iteration evaluating that output for a condition?
2021-09-23 23:28:09 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 23:28:23 +0200Guest51(~Guest51@93-172-101-61.bb.netvision.net.il) (Quit: Client closed)
2021-09-23 23:28:36 +0200 <monochrom> Perhaps "until" helps. It's in Prelude.
2021-09-23 23:28:46 +0200 <sneedsfeed> thanks ill check it out
2021-09-23 23:32:42 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c) (Ping timeout: 260 seconds)
2021-09-23 23:33:10 +0200pbrisbin(~patrick@pool-173-49-147-250.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2021-09-23 23:33:57 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-09-23 23:34:22 +0200 <sshine> > until (> 1000) (* 2) 1
2021-09-23 23:34:24 +0200 <lambdabot> 1024
2021-09-23 23:34:59 +0200 <maerwald> > until (const False) (* 2) 1
2021-09-23 23:35:07 +0200 <lambdabot> mueval-core: Time limit exceeded
2021-09-23 23:35:26 +0200 <Franciman> coding in C++ after 5 years of haskell
2021-09-23 23:35:33 +0200 <maerwald> it's like dropping a stone into a deep well
2021-09-23 23:36:00 +0200 <monochrom> > until (\e -> e+1 == 1) (/ 2) 1 :: Double
2021-09-23 23:36:02 +0200 <lambdabot> 1.1102230246251565e-16
2021-09-23 23:36:06 +0200 <monochrom> > until (\e -> e+1 == 1) (/ 2) 1 :: Float
2021-09-23 23:36:08 +0200 <lambdabot> 5.9604645e-8
2021-09-23 23:36:15 +0200 <monochrom> Instant machine epsilon :)
2021-09-23 23:36:17 +0200 <awpr> > until odd (*2) (1 :: Int)
2021-09-23 23:36:19 +0200 <lambdabot> 1
2021-09-23 23:36:40 +0200 <monochrom> See also https://gist.github.com/AndrewBarfield/2557034
2021-09-23 23:37:24 +0200 <hpc> monochrom: not quite epsilon
2021-09-23 23:37:29 +0200 <monochrom> Or perhaps I need to look ahead:
2021-09-23 23:37:37 +0200 <monochrom> > until (\e -> e/2+1 == 1) (/ 2) 1 :: Float
2021-09-23 23:37:39 +0200 <lambdabot> 1.1920929e-7
2021-09-23 23:37:41 +0200 <hpc> > until (\e -> e/2 == e) (/2) 1
2021-09-23 23:37:42 +0200 <lambdabot> 0.0
2021-09-23 23:37:50 +0200 <hpc> > until (\e -> e/2 == 0) (/2) 1
2021-09-23 23:37:51 +0200 <lambdabot> 5.0e-324
2021-09-23 23:37:54 +0200 <hpc> there we go
2021-09-23 23:38:08 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2021-09-23 23:38:21 +0200 <monochrom> No, machine epsilon is not about e/2==0
2021-09-23 23:38:47 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-09-23 23:38:58 +0200 <hpc> oh, i see
2021-09-23 23:39:16 +0200 <hpc> it's about rounding error, not the smallest float
2021-09-23 23:40:24 +0200 <monochrom> e/2==0 tells you how much denormalized madness the machine goes out of its way to support.
2021-09-23 23:40:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-09-23 23:41:37 +0200 <hpc> > floor (1/0) -- the only number that matters
2021-09-23 23:41:38 +0200 <lambdabot> 1797693134862315907729305190789024733617976978942306572734300811577326758055...
2021-09-23 23:42:08 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-09-23 23:43:03 +0200 <monochrom> heh
2021-09-23 23:43:10 +0200 <monochrom> machine megatron
2021-09-23 23:45:20 +0200 <sshine> > toRational (read "NaN" :: Double)
2021-09-23 23:45:22 +0200 <lambdabot> (-26965397022934738615939577861835371004269654684134598591014512173659901370...
2021-09-23 23:45:36 +0200madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-09-23 23:46:13 +0200 <monochrom> machine batman. (because "nanananananana...")
2021-09-23 23:47:53 +0200 <hpc> meanwhile in marvel physics, doctor strange decays into doctor up
2021-09-23 23:47:57 +0200Cajun(~Cajun@user/cajun)
2021-09-23 23:48:25 +0200 <monochrom> haha
2021-09-23 23:54:59 +0200sneedsfeed(~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Ping timeout: 256 seconds)
2021-09-23 23:55:54 +0200Null_A(~null_a@2601:645:8700:2290:dc8f:40ba:7f6f:b65c)
2021-09-23 23:57:20 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-09-23 23:57:35 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)