Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 830 831 832 833 834 835 836 837 838 839 840 .. 5022
— 502,152 events total
2020-10-23 22:39:50 → thir joins (~thir@p200300f27f19de00fc7cfd1eb4863dd1.dip0.t-ipconnect.de)
2020-10-23 22:40:08 <maerwald> also, we call `Maybe` a type constructor and Just and Nothing a data constructor
2020-10-23 22:40:27 <maerwald> often they have the same name, don't mix them up
2020-10-23 22:41:18 <maerwald> data Foo = Foo Int
2020-10-23 22:44:05 → MarcelineVQ joins (~anja@198.254.202.72)
2020-10-23 22:44:34 × MarcelineVQ quits (~anja@198.254.202.72) (Remote host closed the connection)
2020-10-23 22:44:42 × thir quits (~thir@p200300f27f19de00fc7cfd1eb4863dd1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-23 22:44:57 <crestfallen> maerwald, thanks. yeah this was very helpful, what you said at the end: "instance Monad Maybe where" not "instance Monad Maybe a where." And in the definition we know nothing about the value, and just do stuff with constructors. If you call constructors effects, then yeah, sure
2020-10-23 22:45:20 → MarcelineVQ joins (~anja@198.254.202.72)
2020-10-23 22:46:27 × jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-23 22:46:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-23 22:46:57 × pomiiu quits (d46625ca@212.102.37.202) (Remote host closed the connection)
2020-10-23 22:51:05 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-23 22:55:08 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-23 22:56:24 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-23 22:56:28 → mbomba joins (~mbomba@142.114.9.241)
2020-10-23 23:00:32 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-23 23:01:10 → Katarushisu4 joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-23 23:01:12 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-23 23:01:36 × Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-23 23:01:37 Katarushisu4 is now known as Katarushisu
2020-10-23 23:07:47 × erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-23 23:08:37 × acidjnk_new3 quits (~acidjnk@p200300d0c7237805143004c29cad477d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-23 23:08:58 → erolm_a joins (~erolm_a@62.18.213.68)
2020-10-23 23:09:36 → mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-23 23:09:48 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-23 23:14:16 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-23 23:15:13 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-23 23:15:48 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-23 23:16:05 × ericsagnes quits (~ericsagne@2405:6580:0:5100:c0a:b447:b123:a55a) (Ping timeout: 272 seconds)
2020-10-23 23:16:37 → christo joins (~chris@81.96.113.213)
2020-10-23 23:18:17 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-23 23:20:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-23 23:25:12 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Quit: WeeChat 2.9)
2020-10-23 23:26:07 → JohnnyL joins (~john@unaffiliated/johnnyl)
2020-10-23 23:26:27 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-23 23:26:28 <JohnnyL> Are there any plans to make haskell for the browser or perhaps a 'mini' version of haskell?
2020-10-23 23:26:57 <monsterchrom> Does GHCJS count?
2020-10-23 23:27:40 × erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-23 23:27:42 <monsterchrom> And the multitude of functional/typed languages like purescript.
2020-10-23 23:28:14 → erolm_a joins (~erolm_a@62.18.213.68)
2020-10-23 23:28:34 → ericsagnes joins (~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061)
2020-10-23 23:28:47 <JohnnyL> ok
2020-10-23 23:28:49 <JohnnyL> i'll have to check.
2020-10-23 23:29:31 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2020-10-23 23:30:13 × jlamothe quits (~jlamothe@dev.jlamothe.net) (Ping timeout: 260 seconds)
2020-10-23 23:30:47 <JohnnyL> Is ghcjs stable? Or is it same shady buggy product?
2020-10-23 23:31:02 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-23 23:31:05 <monsterchrom> stable
2020-10-23 23:32:12 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-23 23:36:44 <simon> apparently much better than before
2020-10-23 23:36:44 <JohnnyL> ok thanks.
2020-10-23 23:36:52 <yushyin> 'same' as what?
2020-10-23 23:37:33 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-10-23 23:37:33 <JohnnyL> yushyin: s/same/some
2020-10-23 23:37:43 <yushyin> ah
2020-10-23 23:38:16 <simon> JohnnyL, haskell for the browser: https://github.com/tweag/asterius#asterius-a-haskell-to-webassembly-compiler
2020-10-23 23:39:49 <simon> yushyin, I thought he referred to GHCJS being hard to install and based on GHC 7.x for a long time.
2020-10-23 23:40:29 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-23 23:41:51 <simon> JohnnyL, apparently less mature than GHCJS, but definitely promising. :)
2020-10-23 23:46:25 × erolm_a quits (~erolm_a@62.18.213.68) (Ping timeout: 240 seconds)
2020-10-23 23:46:25 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2020-10-23 23:47:21 → erolm_a joins (~erolm_a@62.18.213.68)
2020-10-23 23:49:12 × taurux quits (~taurux@net-188-152-78-51.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2020-10-23 23:49:13 → tito_04 joins (~taurux@net-188-152-78-51.cust.dsl.teletu.it)
2020-10-23 23:49:47 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-23 23:50:20 <JohnnyL> I cannot for the sake of me see the entire industry *not* going pure.
2020-10-23 23:51:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-23 23:53:14 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-23 23:54:07 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-23 23:54:11 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-10-23 23:54:27 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-23 23:54:39 → thir joins (~thir@p200300f27f19de002cecd531afedd8d6.dip0.t-ipconnect.de)
2020-10-23 23:54:57 × crestfallen quits (~john@128.32.176.159) (Remote host closed the connection)
2020-10-23 23:56:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-24 00:00:01 × ericbsd1 quits (~ericbsd@178.162.204.214) ()
2020-10-24 00:01:07 × thir quits (~thir@p200300f27f19de002cecd531afedd8d6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 00:02:55 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 00:03:43 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab)
2020-10-24 00:04:17 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 00:05:36 → thir joins (~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de)
2020-10-24 00:06:42 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 00:07:39 → p8m_ joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 00:07:48 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 00:08:44 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-24 00:10:27 × thir quits (~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 00:10:40 × Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 272 seconds)
2020-10-24 00:13:44 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 00:13:50 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 00:15:23 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 00:15:44 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-24 00:16:18 × tanuki_ quits (~quassel@173.168.154.189) (Ping timeout: 260 seconds)
2020-10-24 00:16:34 → tanuki joins (~quassel@173.168.154.189)
2020-10-24 00:17:29 → Jonno_FTW joins (~come@api.carswap.me)
2020-10-24 00:22:01 → milky1 joins (~milky@185.204.1.185)
2020-10-24 00:22:16 × jsynacek_ quits (~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 00:22:33 → vacm joins (~vacwm@70.23.92.191)
2020-10-24 00:23:25 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-24 00:25:07 → laserpants joins (c59d001b@197.157.0.27)
2020-10-24 00:26:30 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
←Prev  Next→
Page 1 .. 830 831 832 833 834 835 836 837 838 839 840 .. 5022

All times are in UTC.