Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 .. 5022
— 502,152 events total
2021-03-12 07:10:20 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-03-12 07:11:21 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds)
2021-03-12 07:13:11 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-12 07:13:33 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-03-12 07:14:39 → knupfer joins (~Thunderbi@200116b82c66870084b49eef325535f8.dip.versatel-1u1.de)
2021-03-12 07:16:17 → coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-03-12 07:17:58 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 245 seconds)
2021-03-12 07:18:55 → ezrakilty joins (~ezrakilty@75-172-115-167.tukw.qwest.net)
2021-03-12 07:19:37 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-12 07:23:23 × ezrakilty quits (~ezrakilty@75-172-115-167.tukw.qwest.net) (Ping timeout: 245 seconds)
2021-03-12 07:24:30 × Khisanth quits (~Khisanth@24.sub-174-244-147.myvzw.com) (Ping timeout: 256 seconds)
2021-03-12 07:27:51 investing is now known as creamking
2021-03-12 07:31:06 × johannes quits (~johannes@i577BCD21.versanet.de) (Ping timeout: 246 seconds)
2021-03-12 07:31:41 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-12 07:31:56 × skdjnsdfknkjn quits (4962725d@c-73-98-114-93.hsd1.nm.comcast.net) (Quit: Connection closed)
2021-03-12 07:33:38 creamking is now known as cream
2021-03-12 07:36:57 → Khisanth joins (~Khisanth@24.sub-174-244-147.myvzw.com)
2021-03-12 07:37:09 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 264 seconds)
2021-03-12 07:39:37 × tfl^ quits (tfl@ip98-184-89-2.mc.at.cox.net) ()
2021-03-12 07:40:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-12 07:43:14 → CodeAlways joins (uid272474@gateway/web/irccloud.com/x-joqrqepywiyvdqbk)
2021-03-12 07:45:29 × dansho quits (~dansho@ec2-52-194-244-43.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving)
2021-03-12 07:45:34 → michalz joins (~user@185.246.204.112)
2021-03-12 07:46:12 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-12 07:47:13 → frozenErebus joins (~frozenEre@94.128.82.20)
2021-03-12 07:48:34 × PragCypher_ quits (~cypher@li1507-98.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in)
2021-03-12 07:48:49 → PragCypher joins (~cypher@li1507-98.members.linode.com)
2021-03-12 07:51:48 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-12 07:56:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-12 07:57:46 × haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 265 seconds)
2021-03-12 07:58:14 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 264 seconds)
2021-03-12 07:59:33 → haritz joins (~hrtz@62.3.70.206)
2021-03-12 07:59:34 × haritz quits (~hrtz@62.3.70.206) (Changing host)
2021-03-12 07:59:34 → haritz joins (~hrtz@unaffiliated/haritz)
2021-03-12 08:00:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-12 08:00:23 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:7bb5:9401:98a2:564d) (Ping timeout: 265 seconds)
2021-03-12 08:00:27 → Yumasi joins (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr)
2021-03-12 08:04:03 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-03-12 08:10:10 × howdoi quits (uid224@gateway/web/irccloud.com/x-sqjdgtmozwssawhg) (Quit: Connection closed for inactivity)
2021-03-12 08:12:22 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:ca74:2b42:54ac:7ebf)
2021-03-12 08:13:17 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-12 08:22:13 → kuribas joins (~user@ptr-25vy0iacnrjbfn1sihk.18120a2.ip6.access.telenet.be)
2021-03-12 08:24:17 × knupfer quits (~Thunderbi@200116b82c66870084b49eef325535f8.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-03-12 08:26:48 → ezrakilty joins (~ezrakilty@75-172-115-167.tukw.qwest.net)
2021-03-12 08:29:02 → timCF joins (~i.tkachuk@m91-129-99-43.cust.tele2.ee)
2021-03-12 08:29:55 × graf_blutwurst quits (~user@2001:171b:226e:adc0:51ba:fe70:8240:4759) (Read error: Connection reset by peer)
2021-03-12 08:30:31 <ukari> @lortabac thanks, finally I got to know what is the ConstraintKinds way https://gist.github.com/ukari/527531c4e23de7ad5d6d94613bbed9d2#file-constraintkinds-hs
2021-03-12 08:30:31 <lambdabot> Unknown command, try @list
2021-03-12 08:31:45 × ezrakilty quits (~ezrakilty@75-172-115-167.tukw.qwest.net) (Ping timeout: 264 seconds)
2021-03-12 08:31:45 → fendor joins (~fendor@77.119.131.133.wireless.dyn.drei.com)
2021-03-12 08:32:30 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 256 seconds)
2021-03-12 08:32:49 <timCF> Hello! Let's say I have a type `data Foo = Foo (Maybe A) (Maybe B) (Maybe C)`. Is there any way to express on type level that at least one field should be `Just`? Of cource, I can declare big sum type like `data Foo = Foo0 A (Maybe B) (Maybe C) | Foo1 A B (Maybe C) | ...` but it does not look pretty or convenient to use
2021-03-12 08:34:17 → gitgood joins (~gitgood@82-132-217-25.dab.02.net)
2021-03-12 08:34:52 <tomsmeding> timCF: currently those three fields are values; whether they are Just or not is not reflected at all on the type level, so you can't force anything via types: Haskell isn't (yet?) a dependently-typed language
2021-03-12 08:35:19 <tomsmeding> so to get what you want, you'd have to reflect Just-ness on the type level; at that point you can do filtering
2021-03-12 08:36:18 → bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-12 08:36:26 × blackjid quits (~blackjid@178.239.168.171) (Remote host closed the connection)
2021-03-12 08:36:35 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-12 08:36:38 → graf_blutwurst joins (~user@2001:171b:226e:adc0:51ba:fe70:8240:4759)
2021-03-12 08:37:38 <timCF> tomsmeding: thanks!
2021-03-12 08:38:57 × stree quits (~stree@68.36.8.116) (Ping timeout: 264 seconds)
2021-03-12 08:40:07 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-12 08:40:19 <tomsmeding> timCF: for example like this: https://paste.tomsmeding.com/OxhKFSTl
2021-03-12 08:40:26 × makergrl quits (~ident@29.201.4.46.bc.googleusercontent.com) (Ping timeout: 260 seconds)
2021-03-12 08:40:39 <tomsmeding> but whether that's what you want is a different question :p
2021-03-12 08:40:45 → gzj joins (~gzj@unaffiliated/gzj)
2021-03-12 08:41:08 → Varis joins (~Tadas@unaffiliated/varis)
2021-03-12 08:41:21 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-03-12 08:41:34 × bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-12 08:41:46 <tomsmeding> to prevent even being able to construct a Foo with three Nothings, you'll have to use a type with three constructors I'm afraid
2021-03-12 08:42:04 <tomsmeding> as in data Foo = Foo1 A (Maybe B) (Maybe C) | Foo2 (Maybe A) B (Maybe C) | Foo3 (Maybe A) (Maybe B) C
2021-03-12 08:42:16 <tomsmeding> or put it in a module and export only smart constructors?
2021-03-12 08:42:43 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2021-03-12 08:43:47 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-12 08:44:29 <timCF> tomsmeding: smart constructor seems the easiest solution. I don't understand type families (yet) :)
2021-03-12 08:44:45 <tomsmeding> then please don't use them! It was also a nice exercise for me :p
2021-03-12 08:44:50 × heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection)
2021-03-12 08:45:19 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds)
2021-03-12 08:46:40 × poscat quits (~poscat@123.116.89.28) (Ping timeout: 256 seconds)
2021-03-12 08:46:41 × Sigyn quits (sigyn@freenode/utility-bot/sigyn) (*.net *.split)
2021-03-12 08:46:42 → poscat1 joins (~poscat@123.116.89.28)
2021-03-12 08:47:38 × graf_blutwurst quits (~user@2001:171b:226e:adc0:51ba:fe70:8240:4759) (Read error: Connection reset by peer)
2021-03-12 08:47:48 × timCF quits (~i.tkachuk@m91-129-99-43.cust.tele2.ee) (Quit: leaving)
2021-03-12 08:48:38 → secdragon joins (~secdragon@185.204.1.185)
2021-03-12 08:48:51 <lortabac> ukari: if you only define a synonym for the context you can reuse it and compose it with other constraints
2021-03-12 08:48:56 × nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 256 seconds)
2021-03-12 08:49:42 <lortabac> whereas 'type Signal a = forall t m . ...' can only be used for that exact type signature
2021-03-12 08:49:46 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
2021-03-12 08:49:46 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-12 08:49:46 → mouseghost joins (~draco@wikipedia/desperek)
2021-03-12 08:49:47 × APugNamedPugsley quits (~13052@2601:58a:8300:f6a0:b0f3:7fc2:6f5f:380c) (Read error: Connection reset by peer)
2021-03-12 08:51:09 → chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-12 08:51:44 → stree joins (~stree@68.36.8.116)
2021-03-12 08:52:37 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-12 08:53:33 → dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net)
2021-03-12 08:53:43 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2021-03-12 08:54:20 → Boomerang joins (~Boomerang@2a05:f6c7:2179:0:ccd0:d305:d616:ff16)
2021-03-12 08:54:36 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2021-03-12 08:55:00 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2021-03-12 08:55:19 → aggin joins (~ecm@103.88.87.123)
←Prev  Next→
Page 1 .. 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 .. 5022

All times are in UTC.