Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 .. 5022
— 502,152 events total
2020-11-23 08:12:22 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-11-23 08:13:05 × andos quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 240 seconds)
2020-11-23 08:14:43 → toorevitimirp joins (~tooreviti@117.182.183.18)
2020-11-23 08:14:51 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-23 08:17:15 → Lycurgus joins (~niemand@98.4.114.74)
2020-11-23 08:18:27 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-23 08:19:55 → alp joins (~alp@2a01:e0a:58b:4920:21cf:ab8e:85fd:bb5c)
2020-11-23 08:20:56 × toorevitimirp quits (~tooreviti@117.182.183.18) (Remote host closed the connection)
2020-11-23 08:22:05 × Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 240 seconds)
2020-11-23 08:22:39 → toorevitimirp joins (~tooreviti@117.182.183.18)
2020-11-23 08:22:42 × cur8or quits (~cur8or@2c0f:fbe1:3:17:d58e:e362:b2fa:46da) (Ping timeout: 260 seconds)
2020-11-23 08:22:46 → Jonkimi727406120 joins (~Jonkimi@113.87.161.66)
2020-11-23 08:22:47 → _linker_ joins (~linker@2a02:a31a:a041:9a80:1550:ab25:bf6f:9a3a)
2020-11-23 08:26:00 hackage mu-protobuf 0.4.0.3 - Protocol Buffers serialization and gRPC schema import for Mu microservices https://hackage.haskell.org/package/mu-protobuf-0.4.0.3 (AlejandroSerrano)
2020-11-23 08:27:27 <Xnuk> What are the benefits of the Monad concept in other language, if you have to explain?
2020-11-23 08:27:34 → cur8or joins (~cur8or@2c0f:fbe1:3:17:d58e:e362:b2fa:46da)
2020-11-23 08:28:38 × toorevitimirp quits (~tooreviti@117.182.183.18) (Remote host closed the connection)
2020-11-23 08:28:56 × drbean quits (~drbean@TC210-63-209-85.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-11-23 08:30:32 → toorevitimirp joins (~tooreviti@117.182.183.18)
2020-11-23 08:30:47 <merijn> almost none, since most other languages don't have typeclasses nor type inference
2020-11-23 08:31:25 <Xnuk> Lots of people say "Monad is good and important concept", but I still think Monad is just one of typeclasses satisfying `(>>=)` and `return`.
2020-11-23 08:32:25 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-11-23 08:32:43 <Xnuk> merijn: I completely agree
2020-11-23 08:34:00 hackage typesafe-precure 0.7.10.1 - Type-safe transformations and purifications of PreCures (Japanese Battle Heroine) https://hackage.haskell.org/package/typesafe-precure-0.7.10.1 (igrep)
2020-11-23 08:34:35 <dminuoso> 09:31:25 Xnuk | Lots of people say "Monad is good and important concept", but I still think Monad is just one of typeclasses satisfying `(>>=)` and `return`.
2020-11-23 08:34:39 <dminuoso> You're thinking just right. :)
2020-11-23 08:34:56 <dminuoso> The usefulness of monad comes from not using it, but writing code polymorphically over it.
2020-11-23 08:35:43 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-11-23 08:36:25 × fxg quits (~fxg@unaffiliated/fxg) (Ping timeout: 240 seconds)
2020-11-23 08:36:33 <dminuoso> Well and not having to remember different names for functions that all follow the same shape, the same reason we have say `<>` and `mempty`
2020-11-23 08:36:47 → wonko7 joins (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52)
2020-11-23 08:37:00 hackage hlint 3.2.3 - Source code suggestions https://hackage.haskell.org/package/hlint-3.2.3 (NeilMitchell)
2020-11-23 08:37:30 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-23 08:37:43 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2020-11-23 08:37:43 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2020-11-23 08:37:49 <Xnuk> dminuoso: "The usefulness of monad comes from not using it" Can I steal your words
2020-11-23 08:37:52 <[exa]> Xnuk: 'first-class overloaded code sequencing with assignment' is the main feature the other languages should be after, imo
2020-11-23 08:38:03 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-11-23 08:38:04 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2020-11-23 08:38:09 <dminuoso> Xnuk: Oh haha sorry. That was supposed to read "not from using it"
2020-11-23 08:38:32 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-11-23 08:38:42 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-23 08:38:50 <tomsmeding> 23:16:42 maerwald | hmm, we need latex support on tomsmeding paste
2020-11-23 08:38:55 <tomsmeding> I await your case maerwald
2020-11-23 08:39:06 <dminuoso> tomsmeding: I think it was cheek-in-tongue..
2020-11-23 08:39:12 <tomsmeding> :p I think so too
2020-11-23 08:39:13 <dminuoso> Considering the surrounding discussion. :p
2020-11-23 08:39:23 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-23 08:39:24 <dminuoso> Oh haha. tongue-in-cheek
2020-11-23 08:39:34 <dminuoso> Doing it the other way is anatomically difficult
2020-11-23 08:39:46 <tomsmeding> kind of
2020-11-23 08:42:11 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-11-23 08:43:43 → stu002 joins (77120261@119-18-2-97.771202.syd.nbn.aussiebb.net)
2020-11-23 08:44:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-23 08:46:27 → raichoo joins (~raichoo@dslb-178-001-144-018.178.001.pools.vodafone-ip.de)
2020-11-23 08:49:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-23 08:51:35 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 260 seconds)
2020-11-23 08:51:50 → danvet_ joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453)
2020-11-23 08:52:00 → solonarv joins (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr)
2020-11-23 08:54:01 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-23 08:55:03 × denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2020-11-23 08:55:17 → f-a joins (~f-a@151.68.193.237)
2020-11-23 08:55:57 → SanchayanM joins (~Sanchayan@171.76.82.54)
2020-11-23 08:57:34 × SanchayanMaity quits (~Sanchayan@106.200.254.25) (Ping timeout: 256 seconds)
2020-11-23 09:00:00 hackage servant-openapi3 2.0.1.1 - Generate a Swagger/OpenAPI/OAS 3.0 specification for your servant API. https://hackage.haskell.org/package/servant-openapi3-2.0.1.1 (maksbotan)
2020-11-23 09:00:07 × sureyeaah quits (shauryab98@gateway/shell/matrix.org/x-mqricolhiyievodh) (Quit: Idle for 30+ days)
2020-11-23 09:00:48 × ph88^ quits (~ph88@2a02:8109:9e00:7e5c:31ca:eef6:b3d5:eefb) (Quit: Leaving)
2020-11-23 09:01:45 → plutoniix joins (~q@ppp-27-55-84-13.revip3.asianet.co.th)
2020-11-23 09:01:48 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-23 09:02:48 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-23 09:03:58 → Yumasi joins (~guillaume@2a01cb09b06b29ea1c5ab82b3b485150.ipv6.abo.wanadoo.fr)
2020-11-23 09:07:06 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-ndxrdxmbozimfblk) (Quit: Connection closed for inactivity)
2020-11-23 09:07:08 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-23 09:08:23 tinwood_ is now known as tinwood
2020-11-23 09:08:35 → czwartyeon joins (~czwartyeo@77-45-55-99.sta.asta-net.com.pl)
2020-11-23 09:09:05 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-23 09:11:16 × Lord_of_Life quits (~Lord@46.217.221.12) (Changing host)
2020-11-23 09:11:16 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-11-23 09:12:10 × plutoniix quits (~q@ppp-27-55-84-13.revip3.asianet.co.th) (Quit: Leaving)
2020-11-23 09:13:50 <dminuoso> For associated tyfams, would you rather write `f :: n ~ TyF t => Proxy t -> n -> ...` or `t :: Proxy t -> TyF t -> ...`?
2020-11-23 09:15:29 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2020-11-23 09:15:58 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-23 09:16:48 → kuribas joins (~user@ptr-25vy0i8kkf9triykmnn.18120a2.ip6.access.telenet.be)
2020-11-23 09:18:07 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-23 09:18:35 <kuribas> I don't understand how you can make effects independent of the order.
2020-11-23 09:18:56 <kuribas> For example ExceptT and StateT, at one point you have to decide which one takes precedence right?
2020-11-23 09:19:20 <kuribas> like, is state passed when throwing an exception?
2020-11-23 09:19:30 → supercoven joins (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi)
2020-11-23 09:19:58 <kuribas> both are valid IMO
2020-11-23 09:21:46 → borne joins (~fritjof@200116b864880200394a967dc8ef4e61.dip.versatel-1u1.de)
2020-11-23 09:22:16 × danvet_ quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving)
2020-11-23 09:22:25 × hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds)
2020-11-23 09:23:16 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds)
2020-11-23 09:24:09 × supercoven quits (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi) (Max SendQ exceeded)
2020-11-23 09:24:23 → supercoven joins (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi)
2020-11-23 09:24:23 × supercoven quits (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi) (Max SendQ exceeded)
2020-11-23 09:24:38 → supercoven joins (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi)
2020-11-23 09:24:38 × supercoven quits (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi) (Max SendQ exceeded)
2020-11-23 09:24:53 → supercoven joins (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi)
2020-11-23 09:24:53 × supercoven quits (~Supercove@dsl-hkibng31-54fae3-133.dhcp.inet.fi) (Max SendQ exceeded)
←Prev  Next→
Page 1 .. 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 .. 5022

All times are in UTC.