Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4892 4893 4894 4895 4896 4897 4898 4899 4900 4901 4902 .. 5022
— 502,152 events total
2021-05-15 08:01:51 × shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 08:03:20 → kuribas joins (~user@ptr-25vy0i815a71ox79ixp.18120a2.ip6.access.telenet.be)
2021-05-15 08:03:54 <kuribas> I want to generate haskell types for my database schema.
2021-05-15 08:04:39 <kuribas> There are several options: to load the information schema, and generate haskell source code, to use template haskell to create the types from the information schema, or to use template haskell with a haskell ADT representing the database schema.
2021-05-15 08:04:50 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-15 08:05:28 <kuribas> The last option looks the most flexible to me.
2021-05-15 08:05:37 <kuribas> However with the first I could generate documentation.
2021-05-15 08:06:20 <kuribas> or can you generate haddock from TH?
2021-05-15 08:06:41 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-15 08:06:54 → kenran joins (~kenran@i577BCDEC.versanet.de)
2021-05-15 08:08:39 → zaquest joins (~notzaques@5.128.210.178)
2021-05-15 08:10:51 → mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-15 08:12:21 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-15 08:13:00 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-15 08:15:38 → Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-05-15 08:16:13 → hendursaga joins (~weechat@gateway/tor-sasl/hendursaga)
2021-05-15 08:17:25 → _noblegas joins (uid91066@gateway/web/irccloud.com/x-mtzrtyjcpxczquke)
2021-05-15 08:20:24 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds)
2021-05-15 08:21:39 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-dollewrwtlzsdbco)
2021-05-15 08:23:17 × chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-15 08:25:38 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-15 08:26:24 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-15 08:26:48 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-15 08:27:45 → shanemikel joins (~shanemike@desk.roadwar.net)
2021-05-15 08:30:27 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-05-15 08:30:44 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-15 08:30:51 × Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-15 08:31:20 × shanemikel quits (~shanemike@desk.roadwar.net) (Client Quit)
2021-05-15 08:31:28 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-15 08:34:00 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 08:36:14 × gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 245 seconds)
2021-05-15 08:38:19 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds)
2021-05-15 08:38:44 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds)
2021-05-15 08:42:31 × Guest88420 quits (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) (Ping timeout: 260 seconds)
2021-05-15 08:43:47 → shanemikel joins (~shanemike@143.198.136.99)
2021-05-15 08:44:14 × shanemikel quits (~shanemike@143.198.136.99) (Client Quit)
2021-05-15 08:45:14 × drbean_ quits (~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-15 08:45:50 → kritzefitz joins (~kritzefit@212.86.56.80)
2021-05-15 08:46:55 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-15 08:47:19 → shanemikel joins (~shanemike@desk.roadwar.net)
2021-05-15 08:47:25 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds)
2021-05-15 08:47:29 → z88 joins (~z88@82.85-87-220.dynamic.clientes.euskaltel.es)
2021-05-15 08:48:45 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2021-05-15 08:48:46 → alexander joins (~alexander@athedsl-32112.home.otenet.gr)
2021-05-15 08:49:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-15 08:49:15 alexander is now known as Guest40497
2021-05-15 08:49:26 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-15 08:49:54 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-15 08:50:53 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 08:52:43 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-15 08:53:40 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-15 08:58:15 → chimera joins (~chimera@120-192-113-92.pool.ukrtel.net)
2021-05-15 08:58:37 × chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Client Quit)
2021-05-15 08:59:35 × shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-15 09:00:07 → shanemikel joins (~shanemike@desk.roadwar.net)
2021-05-15 09:02:58 → invaser joins (~Thunderbi@91.226.34.177)
2021-05-15 09:03:35 → gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d)
2021-05-15 09:04:35 <invaser> Hi, I've recently read somewhere that there's a distinction between types of monads: there are ones like State, Identity or Maybe that you can "leave" (there's something like m a -> a function), and there monads that you can
2021-05-15 09:04:42 <invaser> *can't, like IO
2021-05-15 09:05:07 <invaser> Is there a specific name for such a distinction?
2021-05-15 09:09:05 <kuribas> invaser: Monad doesn't say anything about leaving or not. The Monad Typeclass itself doesn't provide for "leaving", however it doesn't prevent it either.
2021-05-15 09:10:09 <kuribas> The fact that "IO a -> a" doesn't exist is particular to IO, it is not a feature or Monads.
2021-05-15 09:10:11 → m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-15 09:11:31 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-15 09:11:41 × xcmw quits (~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-15 09:13:18 × fendor_ quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Quit: Leaving)
2021-05-15 09:13:36 → fendor joins (~fendor@91.141.1.123.wireless.dyn.drei.com)
2021-05-15 09:14:11 × son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds)
2021-05-15 09:14:37 → fendor_ joins (~fendor@91.141.1.123.wireless.dyn.drei.com)
2021-05-15 09:14:39 × fendor quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Client Quit)
2021-05-15 09:14:39 × fendor_ quits (~fendor@91.141.1.123.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-15 09:14:58 → fendor joins (~fendor@91.141.1.123.wireless.dyn.drei.com)
2021-05-15 09:15:53 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-15 09:17:34 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828)
2021-05-15 09:17:58 <invaser> kuribas: Yes, you are right. I am aware that Monad doesn't impose any limitation on that. But I'd like to know if it's a thing that has a name? This "ability to leave".
2021-05-15 09:18:10 <kuribas> not that I know of
2021-05-15 09:18:21 × Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
2021-05-15 09:18:39 <Arahael> I don't think Monad defines `M a -> a` at all.
2021-05-15 09:18:50 <Arahael> (If it did, we'd be able to leave IO)
2021-05-15 09:19:39 <kuribas> it looks a bit comonad-ish...
2021-05-15 09:19:43 <kuribas> extract :: w a -> a
2021-05-15 09:19:59 <kuribas> Identity is both a Monad and Comonad
2021-05-15 09:20:37 <kuribas> But there isn't "Maybe a -> a" or "StateT s a -> a" either
2021-05-15 09:20:41 → Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
2021-05-15 09:20:44 <kuribas> not a total one at least
2021-05-15 09:20:55 → knupfer joins (~Thunderbi@200116b82b53960088be04fffe7c1aec.dip.versatel-1u1.de)
2021-05-15 09:21:12 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-15 09:21:23 × knupfer quits (~Thunderbi@200116b82b53960088be04fffe7c1aec.dip.versatel-1u1.de) (Remote host closed the connection)
2021-05-15 09:21:32 → knupfer joins (~Thunderbi@200116b82b53960000706a519d769a83.dip.versatel-1u1.de)
2021-05-15 09:21:41 <kuribas> So the act of "extracting" is quite different for State, Identity or Maybe.
2021-05-15 09:22:17 → ukari joins (~ukari@unaffiliated/ukari)
2021-05-15 09:23:27 <Arahael> Which is to say, it's not part of the Monad type class.
2021-05-15 09:25:04 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 09:27:04 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds)
2021-05-15 09:27:50 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-15 09:28:04 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-15 09:29:28 × shanemikel quits (~shanemike@desk.roadwar.net) (Ping timeout: 265 seconds)
2021-05-15 09:33:13 × eb quits (1fcb326c@31.203.50.108) (Quit: Connection closed)
2021-05-15 09:36:53 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-15 09:37:34 → pera joins (~pera@unaffiliated/pera)
←Prev  Next→
Page 1 .. 4892 4893 4894 4895 4896 4897 4898 4899 4900 4901 4902 .. 5022

All times are in UTC.