Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 .. 5022
— 502,152 events total
2021-03-18 21:38:04 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-03-18 21:38:21 × MrMobius quits (~MrMobius@208.58.206.154) (Ping timeout: 264 seconds)
2021-03-18 21:38:22 [1]MrMobius is now known as MrMobius
2021-03-18 21:41:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-18 21:41:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 21:42:23 → acidjnk_new joins (~acidjnk@p200300d0c72b9511759421c9ddfcc58f.dip0.t-ipconnect.de)
2021-03-18 21:42:44 × gues62271 quits (~username@185.234.208.208.r.toneticgroup.pl) (Quit: gues62271)
2021-03-18 21:43:18 × caubert quits (~caubert@136.244.111.235) (Read error: Connection reset by peer)
2021-03-18 21:43:54 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-18 21:43:55 → caubert joins (~caubert@136.244.111.235)
2021-03-18 21:44:43 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-18 21:45:02 × dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-03-18 21:45:45 × Guest95 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 256 seconds)
2021-03-18 21:46:14 × poscat quits (~poscat@2408:8207:4825:c7c0::1) (Ping timeout: 264 seconds)
2021-03-18 21:46:32 → poscat joins (~poscat@123.112.148.153)
2021-03-18 21:46:58 × xlei quits (znc@unaffiliated/xlei) (Excess Flood)
2021-03-18 21:47:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-18 21:48:51 → lep_ joins (~lep@94.31.86.183)
2021-03-18 21:50:52 → xlei joins (znc@unaffiliated/xlei)
2021-03-18 21:51:06 × zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 264 seconds)
2021-03-18 21:51:06 × lep-delete quits (~lep@94.31.86.183) (Ping timeout: 264 seconds)
2021-03-18 21:51:11 × fendor quits (~fendor@178.115.131.140.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-18 21:51:29 → zaquest joins (~notzaques@5.128.210.178)
2021-03-18 21:53:20 → merijn joins (~merijn@83.160.49.249)
2021-03-18 21:53:35 × cafce25 quits (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-18 21:54:58 × alx741 quits (~alx741@186.178.109.138) (Ping timeout: 265 seconds)
2021-03-18 21:55:10 × sayola quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-03-18 21:55:21 → knupfer joins (~Thunderbi@mue-88-130-61-178.dsl.tropolys.de)
2021-03-18 21:55:41 → sayola joins (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-03-18 21:57:25 × wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 264 seconds)
2021-03-18 21:57:25 × aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 264 seconds)
2021-03-18 21:57:25 → aweinstock joins (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2021-03-18 21:58:05 → wagle joins (~wagle@quassel.wagle.io)
2021-03-18 21:58:09 × merijn quits (~merijn@83.160.49.249) (Ping timeout: 246 seconds)
2021-03-18 21:58:30 × so quits (~so@unaffiliated/so) (Ping timeout: 246 seconds)
2021-03-18 21:59:06 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 21:59:36 → so joins (~so@unaffiliated/so)
2021-03-18 22:00:28 → Rudd0 joins (~Rudd0@185.189.115.98)
2021-03-18 22:00:38 × Rudd0 quits (~Rudd0@185.189.115.98) (K-Lined)
2021-03-18 22:01:20 × supercoven_ quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-03-18 22:03:11 → motersen joins (~user@2001-4dd1-d88a-0-5338-d0f4-6eda-2a0f.ipv6dyn.netcologne.de)
2021-03-18 22:04:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-18 22:04:27 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-18 22:04:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:05:05 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Quit: Leaving)
2021-03-18 22:05:10 → Rudd0 joins (~Rudd0@185.189.115.103)
2021-03-18 22:05:49 → sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca)
2021-03-18 22:07:24 → alx741 joins (~alx741@181.196.68.246)
2021-03-18 22:08:57 × conal quits (~conal@66.115.157.150) (Quit: Computer has gone to sleep.)
2021-03-18 22:10:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-18 22:10:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:13:29 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-18 22:13:58 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-18 22:14:31 → cosimone joins (~user@93-47-228-249.ip115.fastwebnet.it)
2021-03-18 22:15:09 → conal joins (~conal@66.115.157.150)
2021-03-18 22:15:39 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-18 22:16:11 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:19:17 → DavidEichmann joins (~david@234.109.45.217.dyn.plus.net)
2021-03-18 22:19:59 <slack1256> Do BangPatterns do anything on newtypes?
2021-03-18 22:21:43 → sgibber2018 joins (d055ed90@208.85.237.144)
2021-03-18 22:22:07 → comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:22:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-18 22:23:41 hololeap_ is now known as hololeap
2021-03-18 22:26:21 × Cathy quits (~Cathy@unaffiliated/cathy) (Ping timeout: 264 seconds)
2021-03-18 22:26:44 <Uniaika> slack1256: do you know how to use them, first?
2021-03-18 22:27:14 × comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-18 22:27:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:28:48 <slack1256> Yep, at runtime they ought not to exist so the isomorphism between Foo undefined and undefined holds.
2021-03-18 22:28:55 → Cathy joins (~Cathy@unaffiliated/cathy)
2021-03-18 22:31:03 × knupfer quits (~Thunderbi@mue-88-130-61-178.dsl.tropolys.de) (Ping timeout: 246 seconds)
2021-03-18 22:31:05 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-03-18 22:31:57 <Uniaika> slack1256: do you know about the strictness difference between newtypes and strict data-types ?
2021-03-18 22:32:02 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-18 22:32:23 → redmp joins (~redmp@172.58.30.211)
2021-03-18 22:32:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-18 22:33:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:33:37 <slack1256> Yeah, if you have single datatypes with strictness and use them only on let matching, they equivalent to newtypes. Case expressions don't do work on newtypes.
2021-03-18 22:33:55 × hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-03-18 22:34:19 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-18 22:35:37 × redmp_ quits (~redmp@172.58.27.184) (Ping timeout: 256 seconds)
2021-03-18 22:38:38 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:4243:d03e:128:ecd8) (Remote host closed the connection)
2021-03-18 22:39:18 × SegFaultAX quits (SegFaultAX@unaffiliated/segfaultax) (Quit: ZNC - http://znc.in)
2021-03-18 22:39:51 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3a03:ce0e:5f24:853e)
2021-03-18 22:41:32 × Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-18 22:44:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-18 22:44:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-18 22:45:58 → maroloccio joins (~marolocci@pousada3ja.mma.com.br)
2021-03-18 22:49:00 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-03-18 22:49:19 × slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-03-18 22:49:24 <monochrom> seq and therefore BangPatterns does something to newtype too.
2021-03-18 22:49:48 <monochrom> % newtype MonoN = MonoN Int deriving (Show, Eq)
2021-03-18 22:49:48 <yahb> monochrom:
2021-03-18 22:50:13 <monochrom> > let { n :: MonoN; !n = undefined } in ()
2021-03-18 22:50:15 <lambdabot> error:
2021-03-18 22:50:16 <lambdabot> Not in scope: type constructor or class ‘MonoN’
2021-03-18 22:50:24 <monochrom> oops wrong bot
2021-03-18 22:50:30 <monochrom> % let { n :: MonoN; !n = undefined } in ()
2021-03-18 22:50:30 <yahb> monochrom: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:43:24 in interactive:Ghci17
2021-03-18 22:50:35 <monochrom> % let { n :: MonoN; n = undefined } in ()
2021-03-18 22:50:35 <yahb> monochrom: ()
←Prev  Next→
Page 1 .. 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 .. 5022

All times are in UTC.