Home liberachat/#haskell: Logs Calendar

Logs on 2024-02-12 (liberachat/#haskell)

00:07:01 × hippoid quits (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.1.1)
00:12:42 × Tuplanolla quits (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.)
00:30:24 → pavonia joins (~user@user/siracusa)
00:31:55 → bilegeek joins (~bilegeek@2600:1008:b0a2:1276:e568:11d7:194c:6060)
00:34:45 × masterbuilder quits (~quassel@user/masterbuilder) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
00:36:25 × cods_ quits (~fred@tuxee.net) (Ping timeout: 264 seconds)
00:45:58 × bzm3r quits (~bzm3r@d205-250-253-229.bchsia.telus.net) (Ping timeout: 250 seconds)
00:48:37 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds)
00:55:12 → rvalue joins (~rvalue@user/rvalue)
01:03:34 × Goodbye_Vincent quits (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds))
01:03:59 × davl quits (~davl@207.154.228.18) (Quit: ...)
01:04:28 × ouroboros quits (~ouroboros@user/ouroboros) (Quit: Bye.)
01:04:50 × acro quits (~acro@user/acro) (Quit: Bye.)
01:05:16 × quintasan quits (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.)
01:05:18 × Dykam quits (Dykam@dykam.nl) (Remote host closed the connection)
01:05:40 × mht-wtf quits (~mht@mht.wtf) (Ping timeout: 246 seconds)
01:06:11 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 260 seconds)
01:06:22 × disconnect3d quits (~disconnec@user/disconnect3d) (Ping timeout: 260 seconds)
01:06:30 × ringo___ quits (~ringo@157.230.117.128) (Ping timeout: 268 seconds)
01:06:43 × peutri quits (~peutri@bobo.desast.re) (Ping timeout: 246 seconds)
01:06:49 → davl joins (~davl@207.154.228.18)
01:06:49 × bah quits (~bah@l1.tel) (Ping timeout: 260 seconds)
01:06:59 → acro joins (~acro@user/acro)
01:07:03 × enikar quits (~enikar@chezlefab.net) (Ping timeout: 256 seconds)
01:07:04 → disconnect3d joins (~disconnec@user/disconnect3d)
01:07:07 → Goodbye_Vincent joins (cyvahl@freakshells.net)
01:07:18 × robbert-vdh quits (~robbert@robbertvanderhelm.nl) (Ping timeout: 260 seconds)
01:07:18 → masterbuilder joins (~quassel@user/masterbuilder)
01:07:20 → ouroboros joins (~ouroboros@user/ouroboros)
01:07:21 → Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
01:07:22 → ringo___ joins (~ringo@157.230.117.128)
01:07:35 → enikar joins (~enikar@chezlefab.net)
01:07:39 → quintasan joins (~quassel@quintasan.pl)
01:07:46 → bah joins (~bah@l1.tel)
01:07:47 → peutri joins (~peutri@bobo.desast.re)
01:07:57 → Dykam joins (Dykam@dykam.nl)
01:08:04 → robbert-vdh joins (~robbert@robbertvanderhelm.nl)
01:11:02 → mht-wtf joins (~mht@2a03:b0c0:3:e0::1e2:c001)
01:13:17 → hlone9860 joins (~Italian@42.108.27.138)
01:18:20 × hlone9860 quits (~Italian@42.108.27.138) (Quit: You can take math with commerce)
01:26:41 <Axman6> Anyone know how to fix this issue with cabal on am M1 mac? https://paste.tomsmeding.com/yVAu4AUQ I'm using cabal installed via ghcup, and it looks like it's trying to dependon something installed by an old homebrew install (which has now moved to /opt/homebrew from /usr/local)
01:30:02 → average joins (uid473595@user/average)
01:31:38 <Axman6> ah nevermind, I was using an old cabal executable
01:34:44 → cods joins (~fred@tuxee.net)
01:36:14 → Erutuon joins (~Erutuon@user/erutuon)
01:45:39 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
01:47:32 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
01:55:08 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
01:59:13 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
02:08:10 × SAJAT quits (~sajat@77-234-80-211.pool.digikabel.hu) (Ping timeout: 276 seconds)
02:10:20 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds)
02:11:59 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
02:12:32 × yoo quits (~yo0O0o@user/mobivme) (Ping timeout: 252 seconds)
02:17:19 × otto_s quits (~user@p4ff27640.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
02:18:45 → otto_s joins (~user@p5b044082.dip0.t-ipconnect.de)
02:27:40 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
02:31:47 × Square quits (~Square@user/square) (Ping timeout: 252 seconds)
02:42:05 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
02:43:37 × mulk quits (~mulk@pd95144c1.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
02:43:48 → benkard joins (~mulk@p5b112376.dip0.t-ipconnect.de)
02:44:12 benkard is now known as mulk
02:54:03 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
02:54:06 → Sgeo_ joins (~Sgeo@user/sgeo)
02:57:07 × ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection)
03:10:27 × mikess quits (~mikess@user/mikess) (Quit: zzz)
03:13:23 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
03:15:28 → rembo10 joins (~rembo10@main.remulis.com)
03:21:59 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
03:30:33 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
03:32:23 × td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 264 seconds)
03:34:00 → td_ joins (~td@i53870937.versanet.de)
03:41:08 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
03:45:24 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
04:00:00 × Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
04:01:06 → Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
04:04:28 × JordiGH quits (~jordi@user/jordigh) (Ping timeout: 256 seconds)
04:08:43 → Guest|22 joins (~Guest|22@36.73.33.51)
04:09:53 ← Guest|22 parts (~Guest|22@36.73.33.51) ()
04:15:23 → mikess joins (~mikess@user/mikess)
04:20:00 × jargon quits (~jargon@157.sub-174-205-162.myvzw.com) (Remote host closed the connection)
04:27:19 → JordiGH joins (~jordi@user/jordigh)
04:36:50 → bilegeek_ joins (~bilegeek@60.sub-174-228-102.myvzw.com)
04:39:33 × bilegeek quits (~bilegeek@2600:1008:b0a2:1276:e568:11d7:194c:6060) (Ping timeout: 268 seconds)
04:46:41 → aforemny joins (~aforemny@i59F516D4.versanet.de)
04:46:55 × aforemny_ quits (~aforemny@i59F516F6.versanet.de) (Ping timeout: 260 seconds)
04:48:34 → Silver_X joins (~Silver_X@182.178.231.13)
04:49:17 × JordiGH quits (~jordi@user/jordigh) (Ping timeout: 240 seconds)
04:52:35 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
04:58:38 × Silver_X quits (~Silver_X@182.178.231.13) (Remote host closed the connection)
05:01:50 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
05:08:03 → michalz joins (~michalz@185.246.207.222)
05:34:31 × michalz quits (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in)
05:37:25 → michalz joins (~michalz@185.246.207.197)
05:42:29 → igemnace joins (~ian@user/igemnace)
05:56:49 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
06:02:16 → zetef joins (~quassel@95.77.17.251)
06:02:20 → benkard joins (~mulk@p5b2dc94d.dip0.t-ipconnect.de)
06:03:09 × mulk quits (~mulk@p5b112376.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
06:03:09 benkard is now known as mulk
06:03:56 → Axman6 joins (~Axman6@user/axman6)
06:09:56 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
06:11:22 → stiell joins (~stiell@gateway/tor-sasl/stiell)
06:20:08 → dibblego joins (~dibblego@220.233.36.84)
06:20:08 × dibblego quits (~dibblego@220.233.36.84) (Changing host)
06:20:08 → dibblego joins (~dibblego@haskell/developer/dibblego)
06:32:23 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 272 seconds)
06:35:31 → acidjnk_new joins (~acidjnk@p200300d6e737e782e5c367a16a93f510.dip0.t-ipconnect.de)
06:35:57 → tomboy64 joins (~tomboy64@user/tomboy64)
06:36:32 × mikess quits (~mikess@user/mikess) (Ping timeout: 252 seconds)
06:39:55 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
06:39:55 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
06:40:07 → euleritian joins (~euleritia@77.22.252.56)
06:41:57 × son0p quits (~ff@186.121.50.114) (Ping timeout: 256 seconds)
06:48:31 → RaspbellySwirl joins (~Raspbelly@host-213-235-142-6.ip.topnet.cz)
06:51:50 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 268 seconds)
07:00:55 → pruiz joins (~user@user/pruiz)
07:05:50 × bilegeek_ quits (~bilegeek@60.sub-174-228-102.myvzw.com) (Quit: Leaving)
07:07:52 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
07:08:49 × euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 264 seconds)
07:11:09 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:12:26 → euleritian joins (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de)
07:12:26 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
07:12:39 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:34:52 × euleritian quits (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
07:35:13 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
07:35:25 × benjaminl quits (~benjaminl@user/benjaminl) (Ping timeout: 255 seconds)
07:37:23 <tomsmeding> irregularsphere: it's also a good way to make ghc emit invalid assembly https://paste.tomsmeding.com/AofqoE4E
07:42:38 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
07:45:56 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
07:52:50 → fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
07:55:11 × dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
07:55:59 → zetef joins (~quassel@95.77.17.251)
08:00:21 × califax quits (~califax@user/califx) (Remote host closed the connection)
08:00:35 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 260 seconds)
08:01:54 → califax joins (~califax@user/califx)
08:06:29 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
08:06:53 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
08:07:48 → euleritian joins (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de)
08:13:46 × ft quits (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving)
08:19:46 × average quits (uid473595@user/average) (Quit: Connection closed for inactivity)
08:25:29 × Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:27:10 × jle` quits (~jle`@2603-8001-3b02-84d4-658e-bfb3-e53b-7a11.res6.spectrum.com) (Ping timeout: 255 seconds)
08:28:07 → jle` joins (~jle`@2603-8001-3b02-84d4-b11a-e819-2d37-28bf.res6.spectrum.com)
08:28:59 → danza joins (~danza@151.37.246.166)
08:29:52 × xff0x quits (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 255 seconds)
08:31:35 → xff0x joins (~xff0x@2405:6580:b080:900:5590:b97:b004:865a)
08:34:12 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
08:38:57 → Midjak joins (~MarciZ@82.66.147.146)
08:47:21 × euleritian quits (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
08:47:50 → euleritian joins (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de)
08:50:35 → son0p joins (~ff@191.104.6.115)
08:50:43 × danza quits (~danza@151.37.246.166) (Ping timeout: 256 seconds)
08:53:47 → random-jellyfish joins (~developer@82.76.54.109)
08:53:47 × random-jellyfish quits (~developer@82.76.54.109) (Changing host)
08:53:47 → random-jellyfish joins (~developer@user/random-jellyfish)
08:55:28 × random-jellyfish quits (~developer@user/random-jellyfish) (Client Quit)
08:59:07 × euleritian quits (~euleritia@dynamic-046-114-089-240.46.114.pool.telefonica.de) (Ping timeout: 255 seconds)
08:59:21 → euleritian joins (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de)
09:04:37 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
09:05:11 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:14:04 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
09:21:26 → danse-nr3 joins (~danse@151.37.246.166)
09:22:30 × danse-nr3 quits (~danse@151.37.246.166) (Remote host closed the connection)
09:22:54 → danse-nr3 joins (~danse@151.37.246.166)
09:32:44 → oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
09:48:29 × danse-nr3 quits (~danse@151.37.246.166) (Ping timeout: 252 seconds)
09:50:41 → chele joins (~chele@user/chele)
09:50:50 × euleritian quits (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
09:51:49 → danse-nr3 joins (~danse@151.37.246.166)
09:53:09 → euleritian joins (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de)
09:57:25 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds)
10:03:06 → Guest|56 joins (~Guest|56@167.205.0.235)
10:16:09 × picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1)
10:17:38 → picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
10:18:50 × picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Client Quit)
10:20:29 → picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
10:23:12 × pruiz quits (~user@user/pruiz) (Remote host closed the connection)
10:28:12 → average joins (uid473595@user/average)
10:31:50 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:37:33 → __monty__ joins (~toonn@user/toonn)
10:39:46 → pruiz joins (~user@user/pruiz)
10:47:58 × Guest|56 quits (~Guest|56@167.205.0.235) (Ping timeout: 264 seconds)
10:58:30 × Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
10:59:33 → Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
11:01:47 × mei quits (~mei@user/mei) (Remote host closed the connection)
11:04:12 → mei joins (~mei@user/mei)
11:05:26 → gehmehgeh joins (~user@user/gehmehgeh)
11:06:09 gehmehgeh is now known as gmg
11:17:20 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
11:18:54 × causal quits (~eric@50.35.85.7) (Quit: WeeChat 4.1.1)
11:29:17 × euleritian quits (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
11:29:40 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
11:31:00 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds)
11:34:05 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
11:35:15 → euleritian joins (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de)
11:36:37 → Lycurgus joins (~georg@user/Lycurgus)
11:51:33 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
11:53:25 <haskellbridge> <i​rregularsphere> I wonder what functions are needed to characterize a monad composition to be a monad
11:53:34 <haskellbridge> <i​rregularsphere> what functions are there*
11:53:48 <danse-nr3> ?
11:54:18 <haskellbridge> <i​rregularsphere> certainly the needed function is `(>>=) :: m (n a) -> (a -> m (n b)) -> m (n b)` ofc
11:54:50 <ncf> it's again easier to reason about join: you want mnmn ~> mn, but you only have mm ~> m and nn ~> n
11:54:59 <danse-nr3> there are the minimal definition in the class, plus they should follow the laws
11:55:09 <ncf> so, one sufficient condition for mn to be a monad is to have a *distributive law* nm ~> mn
11:55:13 <haskellbridge> <i​rregularsphere> danse-nr3: what functions are there that can make any `Monad (Compose m n)` `(Monad m, Monad n)`
11:55:16 <haskellbridge> <i​rregularsphere> ncf: yea
11:55:46 <danse-nr3> not sure, not familiar with Compose
11:55:47 <haskellbridge> <i​rregularsphere> ncf: I wonder if `mn` can be a monad without the *ehrm* commutative law
11:55:52 <danse-nr3> @hoogle Compose
11:55:52 <lambdabot> module Data.Functor.Compose
11:55:53 <lambdabot> Data.Functor.Compose newtype Compose f g a
11:55:53 <lambdabot> Data.Functor.Compose Compose :: f (g a) -> Compose f g a
11:55:53 <haskellbridge> <i​rregularsphere> distributive*
11:56:08 <haskellbridge> <i​rregularsphere> danse-nr3: newtype wrapper of composing functors
11:56:49 <ncf> you should have a look at "Composing monads" https://web.cecs.pdx.edu/~mpj/pubs/RR-1004.pdf
12:01:42 <haskellbridge> <i​rregularsphere> ncf: ah, thanks for the reading resources :P
12:01:50 <haskellbridge> <i​rregularsphere> where'd you get this from anyway? google scholar?
12:02:01 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
12:02:22 × euleritian quits (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
12:02:51 → euleritian joins (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de)
12:03:24 <haskellbridge> <i​rregularsphere> find*
12:04:32 <ncf> i don't remember where i learned of it, but google finds it easily
12:07:26 <haskellbridge> <i​rregularsphere> wait does the paper you sent prove one can construct a distributive law from join
12:07:34 <haskellbridge> <i​rregularsphere> seems like it
12:07:36 <haskellbridge> <i​rregularsphere> nice
12:08:09 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
12:09:29 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
12:09:31 <ncf> yes, just insert units wherever appropriate
12:10:11 <ncf> (note that "distributive law", as the name implies, also has laws that one must verify, but they should be easy enough)
12:11:14 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
12:13:29 → azimut joins (~azimut@gateway/tor-sasl/azimut)
12:17:44 <haskellbridge> <i​rregularsphere> right
12:28:01 × sprout quits (~quassel@2a02-a448-3a80-0-55d5-d61-58e7-1351.fixed6.kpn.net) (Ping timeout: 264 seconds)
12:32:59 × danse-nr3 quits (~danse@151.37.246.166) (Ping timeout: 264 seconds)
12:36:14 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
12:36:38 × euleritian quits (~euleritia@dynamic-176-006-187-070.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
12:37:21 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
12:37:39 × average quits (uid473595@user/average) (Quit: Connection closed for inactivity)
12:48:37 → erty joins (~user@user/aeroplane)
12:50:54 × tinjamin quits (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat)
12:51:35 → Guest|71 joins (~Guest|71@46.143.123.230)
12:52:01 → tinjamin joins (~tinjamin@banshee.h4x0r.space)
12:53:01 <Guest|71> Would you please recommend some learning resources for Haskell as the first programming language?
12:59:26 × AlexZenon quits (~alzenon@94.233.241.194) (Quit: ;-)
13:02:18 × AlexNoo quits (~AlexNoo@94.233.241.194) (Quit: Leaving)
13:16:40 → alexherbo2 joins (~alexherbo@2a02-8440-3341-0cf0-45ab-1750-7acf-2621.rev.sfr.net)
13:19:53 → danse-nr3 joins (~danse@151.57.163.65)
13:19:55 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
13:26:44 → AlexNoo joins (~AlexNoo@94.233.241.194)
13:29:25 → Square3 joins (~Square4@user/square)
13:29:54 × igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1)
13:30:38 → igemnace joins (~ian@user/igemnace)
13:32:18 → AlexZenon joins (~alzenon@94.233.241.194)
13:38:49 → ricardo__ joins (~ricardo@shabang.toppoint.de)
13:40:31 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:40:41 × Guest|71 quits (~Guest|71@46.143.123.230) (Ping timeout: 268 seconds)
13:42:28 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:47:42 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
13:48:26 → rosco joins (~rosco@175.136.156.77)
13:53:31 → ell15 joins (~ellie@user/ellie)
13:54:45 × ell15 quits (~ellie@user/ellie) (Client Quit)
13:55:15 → ell15 joins (~ellie@user/ellie)
13:55:26 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:56:19 ell15 is now known as ell
13:59:17 → JordiGH joins (~jordi@user/jordigh)
14:05:58 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
14:09:17 → k_hachig joins (~k_hachig@138-51-71-31-lsn-2.nat.utoronto.ca)
14:10:52 → ystael joins (~ystael@user/ystael)
14:14:39 × pruiz quits (~user@user/pruiz) (Remote host closed the connection)
14:26:58 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
14:30:00 → pruiz joins (~user@user/pruiz)
14:35:15 × __monty__ quits (~toonn@user/toonn) (Ping timeout: 256 seconds)
14:38:19 → __monty__ joins (~toonn@user/toonn)
14:40:33 × __monty__ quits (~toonn@user/toonn) (*.net *.split)
14:40:33 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (*.net *.split)
14:40:33 × AlexNoo quits (~AlexNoo@94.233.241.194) (*.net *.split)
14:40:33 × chele quits (~chele@user/chele) (*.net *.split)
14:40:33 × Midjak quits (~MarciZ@82.66.147.146) (*.net *.split)
14:40:33 × xff0x quits (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (*.net *.split)
14:40:33 × tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split)
14:40:33 × Feuermagier quits (~Feuermagi@user/feuermagier) (*.net *.split)
14:40:33 × mjs2600 quits (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (*.net *.split)
14:40:33 × phma quits (phma@2001:5b0:210d:fe68:e240:a279:f60d:a263) (*.net *.split)
14:40:33 × tabemann quits (~tabemann@2600:1700:7990:24e0:5d57:406e:8f63:35e6) (*.net *.split)
14:40:33 × pounce quits (~pounce@user/cute/pounce) (*.net *.split)
14:40:33 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (*.net *.split)
14:40:33 × MironZ quits (~MironZ@nat-infra.ehlab.uk) (*.net *.split)
14:40:33 × actioninja quits (~actioninj@user/actioninja) (*.net *.split)
14:40:33 × energizer quits (~energizer@user/energizer) (*.net *.split)
14:40:33 × Flow quits (~none@gentoo/developer/flow) (*.net *.split)
14:40:34 × iteratee_ quits (~kyle@162.218.222.207) (*.net *.split)
14:40:34 × inedia quits (~irc@2602:2da:0:80:5054:ff:fe3c:8d93) (*.net *.split)
14:40:34 × Typedfern quits (~Typedfern@82.red-83-37-31.dynamicip.rima-tde.net) (*.net *.split)
14:40:34 × andjjj23 quits (~irc@107.170.228.47) (*.net *.split)
14:40:34 × kronicmage quits (~kronicmag@neotame.csclub.uwaterloo.ca) (*.net *.split)
14:40:34 × remexre quits (~remexre@user/remexre) (*.net *.split)
14:40:34 × shachaf quits (~shachaf@user/shachaf) (*.net *.split)
14:40:34 × Ekho quits (~Ekho@user/ekho) (*.net *.split)
14:40:34 × phaazon quits (~phaazon@2001:41d0:a:fe76::1) (*.net *.split)
14:40:34 × carbolymer quits (~carbolyme@dropacid.net) (*.net *.split)
14:40:34 × caasih quits (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
14:40:34 × gmc quits (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split)
14:40:34 × kritzefitz quits (~kritzefit@debian/kritzefitz) (*.net *.split)
14:40:34 × bgamari_ quits (~bgamari@64.223.175.94) (*.net *.split)
14:40:34 × dumptruckman quits (~dumptruck@23-239-13-136.ip.linodeusercontent.com) (*.net *.split)
14:40:34 × andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split)
14:40:34 × astra quits (sid289983@user/amish) (*.net *.split)
14:40:34 × bjs quits (sid190364@user/bjs) (*.net *.split)
14:40:34 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split)
14:40:34 × mankyKitty quits (sid31287@id-31287.helmsley.irccloud.com) (*.net *.split)
14:40:34 × riatre quits (~quassel@2001:310:6000:f::5198:1) (*.net *.split)
14:40:46 → caasih joins (sid13241@id-13241.ilkley.irccloud.com)
14:40:47 → kritzefitz joins (~kritzefit@debian/kritzefitz)
14:40:48 → iteratee joins (~kyle@162.218.222.207)
14:40:49 → mjs2600 joins (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net)
14:40:49 → phaazon joins (~phaazon@2001:41d0:a:fe76::1)
14:40:50 → mankyKitty joins (sid31287@id-31287.helmsley.irccloud.com)
14:40:50 → shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
14:40:50 → inedia joins (~irc@2602:2da:0:80:5054:ff:fe3c:8d93)
14:40:51 → xff0x joins (~xff0x@2405:6580:b080:900:5590:b97:b004:865a)
14:40:53 → andjjj23 joins (~irc@107.170.228.47)
14:40:53 → bgamari joins (~bgamari@64.223.175.94)
14:40:55 → chele joins (~chele@user/chele)
14:40:55 → Feuermagier joins (~Feuermagi@user/feuermagier)
14:40:56 → MironZ joins (~MironZ@nat-infra.ehlab.uk)
14:40:56 → kronicmage joins (~kronicmag@neotame.csclub.uwaterloo.ca)
14:40:57 → Typedfern joins (~Typedfern@82.red-83-37-31.dynamicip.rima-tde.net)
14:40:57 → tabemann joins (~tabemann@2600:1700:7990:24e0:b2e3:8083:a451:548a)
14:40:57 → AlexNoo joins (~AlexNoo@94.233.241.194)
14:40:59 → astra joins (sid289983@id-289983.hampstead.irccloud.com)
14:40:59 → gmc joins (sid58314@id-58314.ilkley.irccloud.com)
14:41:00 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
14:41:00 → tomboy64 joins (~tomboy64@user/tomboy64)
14:41:02 → phma joins (~phma@host-67-44-208-104.hnremote.net)
14:41:03 → actioninja joins (~actioninj@user/actioninja)
14:41:13 → bjs joins (sid190364@user/bjs)
14:41:31 → Ekho joins (~Ekho@user/ekho)
14:41:51 → Midjak joins (~MarciZ@82.66.147.146)
14:42:13 → Flow joins (~none@gentoo/developer/flow)
14:42:42 → riatre joins (~quassel@2001:310:6000:f::5198:1)
14:42:55 × ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 246 seconds)
14:43:17 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
14:43:19 → __monty__ joins (~toonn@user/toonn)
14:43:21 → ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac)
14:43:47 → carbolymer joins (~carbolyme@dropacid.net)
14:44:15 → dumptruckman joins (~dumptruck@23-239-13-136.ip.linodeusercontent.com)
14:44:38 → energizer joins (~energizer@user/energizer)
14:44:57 → remexre joins (~remexre@user/remexre)
14:45:00 → pounce joins (~pounce@user/cute/pounce)
14:45:44 → shachaf joins (~shachaf@user/shachaf)
14:46:11 → andreas303 joins (andreas303@is.drunk.and.ready-to.party)
14:47:54 → sprout joins (~quassel@2a02-a448-3a80-0-fc36-35dd-11a2-cd35.fixed6.kpn.net)
14:51:25 × JordiGH quits (~jordi@user/jordigh) (Ping timeout: 264 seconds)
14:54:10 × pruiz quits (~user@user/pruiz) (Ping timeout: 255 seconds)
14:54:49 → CiaoSen joins (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03)
14:57:33 × alexherbo2 quits (~alexherbo@2a02-8440-3341-0cf0-45ab-1750-7acf-2621.rev.sfr.net) (Remote host closed the connection)
14:58:22 → alexherbo2 joins (~alexherbo@2a02-8440-3341-0cf0-dcc0-7f98-829f-845d.rev.sfr.net)
15:00:11 × danse-nr3 quits (~danse@151.57.163.65) (Remote host closed the connection)
15:00:35 → danse-nr3 joins (~danse@151.57.163.65)
15:03:06 × alexherbo2 quits (~alexherbo@2a02-8440-3341-0cf0-dcc0-7f98-829f-845d.rev.sfr.net) (Ping timeout: 250 seconds)
15:10:49 × __monty__ quits (~toonn@user/toonn) (Ping timeout: 256 seconds)
15:18:47 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
15:18:47 ChanServ sets mode +v haskellbridge
15:21:22 → alexherbo2 joins (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net)
15:32:20 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
15:34:14 → JordiGH joins (~jordi@user/jordigh)
15:38:01 × CiaoSen quits (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
15:40:07 → AlexNoo_ joins (~AlexNoo@178.34.163.241)
15:40:32 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
15:41:13 × xff0x quits (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (Ping timeout: 264 seconds)
15:41:59 → xff0x joins (~xff0x@2405:6580:b080:900:5590:b97:b004:865a)
15:42:46 × AlexZenon quits (~alzenon@94.233.241.194) (Ping timeout: 255 seconds)
15:43:07 × AlexNoo quits (~AlexNoo@94.233.241.194) (Ping timeout: 256 seconds)
15:44:33 × JordiGH quits (~jordi@user/jordigh) (Remote host closed the connection)
15:44:54 AlexNoo_ is now known as AlexNoo
15:44:58 → JordiGH joins (~jordi@user/jordigh)
15:46:56 → Erutuon joins (~Erutuon@user/erutuon)
15:48:44 × JordiGH quits (~jordi@user/jordigh) (Remote host closed the connection)
15:49:07 → JordiGH joins (~jordi@user/jordigh)
15:49:36 → __monty__ joins (~toonn@user/toonn)
15:50:35 → AlexZenon joins (~alzenon@178.34.163.241)
16:02:26 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
16:02:39 × xff0x quits (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (Ping timeout: 260 seconds)
16:02:51 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
16:03:19 → xff0x joins (~xff0x@2405:6580:b080:900:5590:b97:b004:865a)
16:04:35 × JordiGH quits (~jordi@user/jordigh) (Remote host closed the connection)
16:05:13 × k_hachig quits (~k_hachig@138-51-71-31-lsn-2.nat.utoronto.ca) (Ping timeout: 264 seconds)
16:09:25 × danse-nr3 quits (~danse@151.57.163.65) (Ping timeout: 264 seconds)
16:13:07 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
16:16:08 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
16:16:39 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
16:17:12 → euleritian joins (~euleritia@dynamic-176-006-181-115.176.6.pool.telefonica.de)
16:22:33 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
16:24:33 × euleritian quits (~euleritia@dynamic-176-006-181-115.176.6.pool.telefonica.de) (Ping timeout: 272 seconds)
16:25:52 → euleritian joins (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de)
16:27:34 × mei quits (~mei@user/mei) (Ping timeout: 246 seconds)
16:28:31 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
16:30:07 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
16:30:36 × alexherbo2 quits (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net) (Remote host closed the connection)
16:30:49 × euleritian quits (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
16:31:16 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
16:34:30 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds)
16:35:52 × mulk quits (~mulk@p5b2dc94d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
16:37:07 → danza joins (~danza@151.57.163.65)
16:38:22 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
16:38:35 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Ping timeout: 268 seconds)
16:38:42 → alexherbo2 joins (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net)
16:39:13 → euleritian joins (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de)
16:42:04 → Erutuon joins (~Erutuon@user/erutuon)
16:44:06 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:44:24 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
16:46:35 × danza quits (~danza@151.57.163.65) (Quit: Leaving)
16:48:34 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds)
16:49:33 × euleritian quits (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) (Read error: Connection reset by peer)
16:49:50 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
16:52:00 → Guest99 joins (~Guest99@vm-exclusive-1.la.net.ua)
16:55:38 → mulk joins (~mulk@pd9514320.dip0.t-ipconnect.de)
16:59:22 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
17:03:49 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
17:05:59 × alexherbo2 quits (~alexherbo@2a02-8440-3341-0cf0-757c-0518-283c-59f5.rev.sfr.net) (Remote host closed the connection)
17:06:12 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
17:08:23 <sp1ff> Guest|71: I'm currently reading "Learn You a Haskell", but eyeing "Real World Haskell"
17:08:27 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:10:04 <sp1ff> Tho Haskell as a *first* language may be a bit challenging
17:11:18 → k_hachig joins (~k_hachig@138-51-87-178-lsn-2.nat.utoronto.ca)
17:17:42 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
17:18:34 → euleritian joins (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de)
17:22:54 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
17:27:38 <EvanR> yes haskell before you can speak english or whatever would be pretty hard
17:27:51 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
17:29:12 <EvanR> but there's been speculation that you could teach it as a first programming language before the student has been ruined forever by imperative OOP
17:30:40 <sp1ff> I think trying to teach Haskell as a first *programming* language without some mathematical background would be tough
17:31:20 <haskellbridge> <s​m> "Haskell" covers a lot. A subset would be easier
17:31:45 <haskellbridge> <s​m> g'day all o/
17:32:00 <EvanR> yeah the simple subset of haskell according to some wise person
17:33:04 <haskellbridge> <s​m> GHC Haskell with no imports or extensions, eg. (But that's still pretty large)
17:33:10 → gentauro joins (~gentauro@user/gentauro)
17:33:35 × mulk quits (~mulk@pd9514320.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
17:33:46 <haskellbridge> <s​m> https://code.world 's simplified haskell variant
17:34:08 <haskellbridge> <s​m> elm ? maybe
17:34:38 → mulk joins (~mulk@pd9514245.dip0.t-ipconnect.de)
17:34:58 <EvanR> I don't know about no imports, but definitely more sub than all that
17:35:06 <EvanR> elm isn't lazy
17:36:08 <EvanR> and elm doesn't have type classes?!
17:36:47 <EvanR> beginner programmers are told to #include <stdio.h> so importing something should be a big deal
17:37:03 <EvanR> shouldn't
17:39:25 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
17:41:56 <haskellbridge> <s​m> the idea was to focus on a smaller area to learn first. Haskell + prelude is still quite a lot !
17:42:15 <haskellbridge> <s​m> helium has figured this out already I guess
17:43:46 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:43:46 <EvanR> yes though without Control.Monad you might have to reimplement some of the world for control flow
17:44:02 <EvanR> or Data.List
17:44:42 <EvanR> the prelude and non-prelude "base" is kind of a mess
17:49:41 <haskellbridge> <s​m> helium must have a better learning-organised prelude
17:50:04 → ft joins (~ft@p508db2e6.dip0.t-ipconnect.de)
17:50:14 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
17:50:26 × euleritian quits (~euleritia@dynamic-176-005-137-198.176.5.pool.telefonica.de) (Ping timeout: 268 seconds)
17:55:08 × Guest99 quits (~Guest99@vm-exclusive-1.la.net.ua) (Ping timeout: 250 seconds)
17:56:27 → tri joins (~tri@ool-43564db8.dyn.optonline.net)
18:03:21 → Tuplanolla joins (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi)
18:11:53 → tri_ joins (~tri@2607:fb90:b119:4646:4ef:dbe0:4f14:52b5)
18:15:45 × tri quits (~tri@ool-43564db8.dyn.optonline.net) (Ping timeout: 255 seconds)
18:20:28 × rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal)
18:21:36 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 255 seconds)
18:22:17 → AlexNoo_ joins (~AlexNoo@94.233.241.30)
18:24:15 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
18:25:37 × AlexNoo quits (~AlexNoo@178.34.163.241) (Ping timeout: 260 seconds)
18:25:53 × AlexZenon quits (~alzenon@178.34.163.241) (Ping timeout: 268 seconds)
18:26:27 → monochrom joins (trebla@216.138.220.146)
18:29:02 <Logio> we had a few people starting Haskell as their first programming language at our uni class, they fared better than the people who had been doing c++ in industry for years. Much less unlearning to do
18:30:25 <geekosaur> also it's entirely possible to pick up the mathematical basis of Haskell from Haskell rather than having to know it up front. (I did.)
18:31:06 × igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1)
18:34:24 → AlexZenon joins (~alzenon@94.233.241.30)
18:36:58 sphynx is now known as xnyhps
18:37:11 × erty quits (~user@user/aeroplane) (Ping timeout: 264 seconds)
18:38:27 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:40:00 AlexNoo_ is now known as AlexNoo
18:42:04 → target_i joins (~target_i@217.175.14.39)
18:44:32 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
18:48:09 × AlexZenon quits (~alzenon@94.233.241.30) (Ping timeout: 255 seconds)
18:48:27 → AlexNoo_ joins (~AlexNoo@94.233.241.30)
18:50:22 × AlexNoo quits (~AlexNoo@94.233.241.30) (Ping timeout: 264 seconds)
18:50:30 → kupi joins (uid212005@id-212005.hampstead.irccloud.com)
18:58:35 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
18:58:36 → AlexZenon joins (~alzenon@94.233.241.30)
19:02:21 AlexNoo_ is now known as AlexNoo
19:05:55 → JordiGH joins (~jordi@user/jordigh)
19:06:15 × tri_ quits (~tri@2607:fb90:b119:4646:4ef:dbe0:4f14:52b5) (Remote host closed the connection)
19:10:35 × chele quits (~chele@user/chele) (Remote host closed the connection)
19:10:47 × k_hachig quits (~k_hachig@138-51-87-178-lsn-2.nat.utoronto.ca) (Ping timeout: 264 seconds)
19:14:32 × xff0x quits (~xff0x@2405:6580:b080:900:5590:b97:b004:865a) (Ping timeout: 256 seconds)
19:16:53 → xff0x joins (~xff0x@ai099196.d.east.v6connect.net)
19:20:45 <johnw> in my c++ days, a "variable" was an alias for a RAM address
19:21:55 <Hecate> johnw: you'll never believe what has happened since then
19:21:56 → mechap joins (~mechap@user/mechap)
19:22:41 <glguy> When did computers get registers?
19:22:56 <johnw> I think Guy Steele talks about that in his presentation on computing history
19:23:26 <johnw> https://www.youtube.com/watch?app=desktop&v=dPK6t7echuA
19:26:04 × Square3 quits (~Square4@user/square) (Ping timeout: 246 seconds)
19:28:45 → Square joins (~Square@user/square)
19:29:09 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
19:31:29 × Midjak quits (~MarciZ@82.66.147.146) (Ping timeout: 256 seconds)
19:32:40 → Midjak joins (~MarciZ@82.66.147.146)
19:32:59 × Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving)
19:35:55 <probie> I used to tutor a first year, first semester university course that uses Haskell. In my experience, there was little difference between those who had done some programming before, and those who never had. However, those who had substantial experience programming picked it up much faster, even if it was their first functional language
19:38:11 → Lycurgus joins (~georg@user/Lycurgus)
19:46:40 → euleritian joins (~euleritia@dynamic-176-006-186-216.176.6.pool.telefonica.de)
19:48:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:49:27 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
19:53:36 → fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
19:53:49 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds)
19:54:45 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:57:58 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
20:04:57 → tri_ joins (~tri@172.59.9.246)
20:08:34 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
20:12:16 × ricardo__ quits (~ricardo@shabang.toppoint.de) (Read error: Connection reset by peer)
20:12:18 × mechap quits (~mechap@user/mechap) (Ping timeout: 255 seconds)
20:14:48 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
20:15:11 → Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::d02f)
20:15:32 → ru0mad joins (~ru0mad@moon.ruomad.net)
20:18:09 → noumenon joins (~noumenon@113.51-175-156.customer.lyse.net)
20:18:11 × caconym quits (~caconym@user/caconym) (Remote host closed the connection)
20:20:10 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
20:21:00 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
20:21:35 → chiselfu1e joins (~chiselfus@user/chiselfuse)
20:28:16 × cheater quits (~Username@user/cheater) (Read error: Connection reset by peer)
20:30:24 → wootehfoot joins (~wootehfoo@user/wootehfoot)
20:39:55 × michalz quits (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in)
20:45:27 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:51:27 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:52:03 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
20:52:21 → jargon joins (~jargon@157.sub-174-205-162.myvzw.com)
20:54:11 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds)
20:54:28 → chexum joins (~quassel@gateway/tor-sasl/chexum)
20:59:40 → zetef joins (~quassel@95.77.17.251)
21:00:18 × kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
21:01:11 × noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
21:09:00 × zetef quits (~quassel@95.77.17.251) (Remote host closed the connection)
21:11:08 → rscastilho2024 joins (rscastilho@189.61.140.215)
21:11:16 × rscastilho2024 quits (rscastilho@189.61.140.215) (Remote host closed the connection)
21:13:30 × euleritian quits (~euleritia@dynamic-176-006-186-216.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
21:13:47 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
21:14:45 × RaspbellySwirl quits (~Raspbelly@host-213-235-142-6.ip.topnet.cz) (Ping timeout: 256 seconds)
21:15:22 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
21:16:55 → Erutuon joins (~Erutuon@user/erutuon)
21:17:03 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
21:24:12 <haskellbridge> <J​ade> can you show the "result" of a constraint in GHCi? I want to see if two types are `Coercible`
21:26:17 <ncf> :t coerce @A @B
21:26:18 <lambdabot> error:
21:26:18 <lambdabot> Pattern syntax in expression context: coerce@A
21:26:18 <lambdabot> Did you mean to enable TypeApplications?
21:26:40 × Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::d02f) (Read error: Connection reset by peer)
21:26:49 <int-e> :t () :: Coercible (Sum ()) (Product ()) => ()
21:26:50 <lambdabot> error:
21:26:50 <lambdabot> Not in scope: type constructor or class ‘Coercible’
21:26:51 → Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::d02f)
21:27:29 <int-e> Oh right, Data.Coerce is "Unsafe".
21:27:35 ← JordiGH parts (~jordi@user/jordigh) (Leaving)
21:28:38 <int-e> Anyway, that's clumsy but it does induce GHCi to try to resolve that constraint.
21:29:20 <int-e> % :k Coercible (Sum ()) (Product ()) => ()
21:29:20 <yahb2> <interactive>:1:1: error: ; Not in scope: type constructor or class ‘Coercible’
21:29:44 <int-e> % :m +Data.Coerce Data.Monoid
21:29:44 <yahb2> <no output>
21:29:46 <int-e> % :k Coercible (Sum ()) (Product ()) => ()
21:29:46 <yahb2> Coercible (Sum ()) (Product ()) => () :: *
21:29:56 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
21:30:27 <int-e> Err
21:31:07 <int-e> (the :k one doesn't)
21:31:25 <haskellbridge> <J​ade> maybe `:k!`?
21:31:44 <int-e> % :t () :: Coercible Int Float => ()
21:31:44 <yahb2> <interactive>:1:1: error: ; • Couldn't match representation of type ‘Int’ with that of ‘Float’ ; arising from an expression type signature ; • In the expression: () :: Coercible Int...
21:31:58 <int-e> % :k Coercible Int Float => ()
21:31:58 <yahb2> Coercible Int Float => () :: *
21:32:03 <int-e> % :k! Coercible Int Float => ()
21:32:03 <yahb2> Coercible Int Float => () :: * ; = Coercible Int Float => ()
21:32:23 <int-e> % () :: Coercible Int Float => () -- final variant
21:32:23 <yahb2> <interactive>:143:1: error: ; • Couldn't match representation of type ‘Int’ with that of ‘Float’ ; arising from an expression type signature ; • In the expression: () :: Coercible I...
21:33:08 × Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::d02f) (Quit: Where is it)
21:38:47 <tomsmeding> % :t () :: Coercible (Sum ()) (Product ()) => ()
21:38:47 <yahb2> () :: Coercible (Sum ()) (Product ()) => () :: ()
21:40:53 <tomsmeding> % :set -XTypeApplications -XExplicitForAll -XAllowAmbiguousTypes
21:40:53 <yahb2> <no output>
21:41:10 <tomsmeding> % doesItCoerce :: forall a b. Coercible a b => () ; doesItCoerce = ()
21:41:10 <yahb2> <no output>
21:41:17 <tomsmeding> % doesItCoerce @Int @Float
21:41:17 <yahb2> <interactive>:151:1: error: ; • Couldn't match representation of type ‘Int’ with that of ‘Float’ ; arising from a use of ‘doesItCoerce’ ; • In the expression: doesItCoerce @Int @Flo...
21:41:57 <tomsmeding> % :unset -XAllowAmbiguousTypes
21:41:57 <yahb2> <no output>
21:42:16 <int-e> tomsmeding: tbh I can't really explain why my `:t` bothers with solving the constraint, only to replicate it in the final type.
21:42:59 <tomsmeding> but it doesn't, right?
21:43:10 <tomsmeding> % :t () :: Coercible (Sum ()) (Product ()) => ()
21:43:10 <yahb2> () :: Coercible (Sum ()) (Product ()) => () :: ()
21:43:11 <int-e> It does.
21:43:16 <tomsmeding> the inferred type here is ()
21:43:25 <tomsmeding> % :t (((() :: Coercible (Sum ()) (Product ()) => ())))
21:43:25 <yahb2> (((() :: Coercible (Sum ()) (Product ()) => ()))) :: ()
21:43:31 <int-e> Ah! I can't read.
21:43:36 <int-e> Thanks.
21:43:41 <tomsmeding> well, it wasn't very readable in the first place :p
21:43:56 <tomsmeding> it needs some showPrec with a precedence > 0
21:43:58 <int-e> And I misattributed "it".
21:44:04 <tomsmeding> that was also my fault
21:45:08 <tomsmeding> it's funny how in ghci you can (apparently, TIL) define an ambiguous function with -XAllowAmbiguousTypes, and then proceed to turn that extension off again and use the previously-defined function
21:45:37 <tomsmeding> it would be nice if the whole extension was a per-function attribute in the first place
21:46:28 <tomsmeding> other languages have neat syntax for this like '@ambiguous foo :: ...', but I guess I'd be satisfied with {-# AMBIGUOUS foo #-} foo :: ...
21:50:41 <EvanR> your dare question whether any and all languages features can take the form of a type class
21:50:54 <tomsmeding> I do not?
21:52:02 <EvanR> don't risk being recommended to the haskell ethics committee
21:52:03 <geekosaur> not actually that strange since it only needs to be in effect when the function is compiled
21:52:43 <tomsmeding> EvanR: oh you mean that one is supposed to take the opinion that all features _can_ take the form of a type class
21:52:47 <geekosaur> and each (possibly extended) line in ghc is compiled individually
21:52:59 <tomsmeding> sure
21:53:18 <tomsmeding> just funny that the ghci behaviour is closer to what I'd want in a source file as well :p
21:53:35 <tomsmeding> I end up making a tiny file just to house a few small definitions if I need -XAllowAmbiguousTypes on them
21:53:55 <EvanR> it's crazy how unreasonably effective the type class system is
21:54:04 <tomsmeding> fur sure
21:54:06 <tomsmeding> *for
21:54:09 <EvanR> and how everything else is RankN types
21:54:34 tomsmeding glances at my list of 13 language extensions
21:54:54 <tomsmeding> it was more until I removed some that were implied by others in the list
21:55:10 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
21:57:32 × johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
21:58:29 → johnw joins (~johnw@69.62.242.138)
22:04:08 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
22:05:29 → chexum joins (~quassel@gateway/tor-sasl/chexum)
22:09:55 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:10:09 → zetef joins (~quassel@95.77.17.251)
22:12:49 × lottaquestions quits (~nick@2607:fa49:503d:b200:4163:3ce9:6b9:1e91) (Remote host closed the connection)
22:13:15 → lottaquestions joins (~nick@2607:fa49:503d:b200:d22b:7da7:bae:91de)
22:19:36 → Square3 joins (~Square4@user/square)
22:22:21 × Square quits (~Square@user/square) (Ping timeout: 255 seconds)
22:38:49 × raym quits (~ray@user/raym) (Ping timeout: 264 seconds)
22:40:22 → raym joins (~ray@user/raym)
22:47:42 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:52:01 → CiaoSen joins (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03)
22:54:54 × zetef quits (~quassel@95.77.17.251) (Remote host closed the connection)
22:56:49 × CiaoSen quits (~Jura@2a05:5800:291:cb00:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds)
23:05:53 → acidjnk_new3 joins (~acidjnk@p5dd87f44.dip0.t-ipconnect.de)
23:08:13 × acidjnk_new quits (~acidjnk@p200300d6e737e782e5c367a16a93f510.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
23:14:41 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
23:23:43 × whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
23:23:56 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:28:51 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
23:32:38 × hamster quits (~ham@user/ham) (Quit: WeeChat 3.5)
23:39:34 × Tuplanolla quits (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) (Quit: Leaving.)
23:43:03 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
23:54:11 → Sgeo joins (~Sgeo@user/sgeo)

All times are in UTC on 2024-02-12.