Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 .. 5022
— 502,152 events total
2020-11-13 02:22:31 → conal joins (~conal@64.71.133.70)
2020-11-13 02:24:39 <bqv> unclechu: per my simple understanding, yes
2020-11-13 02:25:13 <unclechu> bqv: okay, thanks
2020-11-13 02:25:50 <unclechu> bqv: is there any chance you know whether it is supported in idris for instance?
2020-11-13 02:26:08 <bqv> No clue :p
2020-11-13 02:29:32 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-13 02:32:36 × xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 256 seconds)
2020-11-13 02:34:18 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2020-11-13 02:36:02 × dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-11-13 02:36:10 × lucasb quits (uid333435@gateway/web/irccloud.com/x-lsuvezrsvbepowff) (Quit: Connection closed for inactivity)
2020-11-13 02:36:23 → Unhammerd joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-11-13 02:38:23 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-11-13 02:41:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-13 02:45:28 <unclechu> to overcome this i added additional *promotable* type `data SBackend = SStdout | ...etc`
2020-11-13 02:46:05 <unclechu> and added a type class `class SBackendVal (α ∷ Operation) (β ∷ SBackend) where sBackendVal ∷ Proxy β → Backend α`
2020-11-13 02:46:49 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-13 02:47:07 × xff0x quits (~fox@2001:1a81:53be:a900:e888:cf37:a0ae:58b2) (Ping timeout: 260 seconds)
2020-11-13 02:49:01 → xff0x joins (~fox@2001:1a81:53f2:4b00:a4e6:ede5:b1af:2468)
2020-11-13 02:49:49 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-11-13 02:50:50 → jedws joins (~jedws@101.184.175.183)
2020-11-13 02:51:08 <MarcelineVQ> "<unclechu> bqv: is there any chance you know whether it is supported in idris for instance?" constraints on the actual "data ..." line or constraints on the data constructors that follow it? Could be more fruitful to say what/why you're wanting to do instead of whether it's possible
2020-11-13 02:51:49 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 264 seconds)
2020-11-13 02:52:21 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-13 02:52:59 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-13 02:59:27 <MarcelineVQ> That being said though yes you can use gadts with constraints at the type level in idris
2020-11-13 02:59:55 → Audentity joins (~Audentity@4e69b241.skybroadband.com)
2020-11-13 03:00:01 × hcchien quits (~hcchien@217.146.82.202) ()
2020-11-13 03:00:03 <MarcelineVQ> Do you need that class or would a type family do the job you're after?
2020-11-13 03:02:28 × solonarv quits (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr) (Ping timeout: 258 seconds)
2020-11-13 03:05:05 <unclechu> MarcelineVQ: less boilerplate for instance. more flexibility. in my case i had to add an another type which mostly just duplicates original type
2020-11-13 03:05:27 × g-belmonte quits (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) (Quit: Leaving)
2020-11-13 03:06:15 <unclechu> MarcelineVQ: type families do not exist in runtime. i was writing a type class in order to be able to make a runtime value from type-level value.
2020-11-13 03:06:34 <unclechu> just to shift it from type-level to runtime level in other words
2020-11-13 03:07:02 → dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-13 03:07:07 × clog quits (~nef@bespin.org) (Ping timeout: 260 seconds)
2020-11-13 03:07:23 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-13 03:08:26 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-13 03:10:35 → jakalx joins (~jakalx@base.jakalx.net)
2020-11-13 03:11:47 × dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-11-13 03:13:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-13 03:17:23 → aarvar joins (~foewfoiew@50.35.43.33)
2020-11-13 03:26:14 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 258 seconds)
2020-11-13 03:26:51 → Tario joins (~Tario@201.192.165.173)
2020-11-13 03:27:48 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-13 03:28:23 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-13 03:31:58 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Ping timeout: 246 seconds)
2020-11-13 03:35:50 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-13 03:38:09 → jedws joins (~jedws@101.184.175.183)
2020-11-13 03:38:51 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-91-208.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-11-13 03:43:25 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-11-13 03:43:35 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-91-208.revip7.asianet.co.th)
2020-11-13 03:47:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-13 03:49:22 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 272 seconds)
2020-11-13 03:50:08 × machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 260 seconds)
2020-11-13 03:50:18 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-13 03:55:39 → Guest87092 joins (~variable@139.28.218.148)
2020-11-13 03:57:59 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-13 03:58:01 lagothrix is now known as Guest77095
2020-11-13 03:58:01 × Guest77095 quits (~lagothrix@unaffiliated/lagothrix) (Killed (hitchcock.freenode.net (Nickname regained by services)))
2020-11-13 03:58:07 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-11-13 03:58:13 × theDon quits (~td@muedsl-82-207-238-200.citykom.de) (Ping timeout: 246 seconds)
2020-11-13 04:00:09 × haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-11-13 04:00:13 → xsperry joins (~as@unaffiliated/xsperry)
2020-11-13 04:00:16 → theDon joins (~td@muedsl-82-207-238-116.citykom.de)
2020-11-13 04:00:21 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-11-13 04:01:36 → haasn joins (~nand@mpv/developer/haasn)
2020-11-13 04:01:43 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-11-13 04:01:57 × howdoi quits (uid224@gateway/web/irccloud.com/x-ezpbwntcbzeneljs) (Quit: Connection closed for inactivity)
2020-11-13 04:08:06 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-11-13 04:08:35 × crdrost quits (~crdrost@2601:646:8280:85f0:6046:db55:79c6:4622) (Quit: This computer has gone to sleep)
2020-11-13 04:08:41 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-13 04:08:43 → Tario joins (~Tario@201.192.165.173)
2020-11-13 04:08:58 × erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving)
2020-11-13 04:09:21 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-13 04:09:41 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-13 04:11:37 × texasmynsted quits (~texasmyns@212.102.45.118) (Read error: Connection reset by peer)
2020-11-13 04:13:47 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds)
2020-11-13 04:15:49 × darjeeling_ quits (~darjeelin@122.245.210.116) (Ping timeout: 264 seconds)
2020-11-13 04:16:14 → darjeeling_ joins (~darjeelin@122.245.210.116)
2020-11-13 04:18:48 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:d89f:d10e:927a:2962)
2020-11-13 04:21:06 → jakob_ joins (~textual@p200300f49f16220035a786c99145f1b1.dip0.t-ipconnect.de)
2020-11-13 04:22:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-13 04:24:28 × texasmynsted_ quits (~texasmyns@99.96.221.112) (Ping timeout: 246 seconds)
2020-11-13 04:26:42 × verement quits (~anonymous@cpe-76-167-229-223.san.res.rr.com) (Quit: verement)
2020-11-13 04:27:26 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-13 04:27:48 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-13 04:27:51 → texasmynsted joins (~texasmyns@99.96.221.112)
2020-11-13 04:32:27 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-91-208.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-11-13 04:33:20 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-13 04:33:27 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-13 04:34:11 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-13 04:34:27 × acidjnk_new quits (~acidjnk@p200300d0c718f66175ef21b7256ec1f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-13 04:34:46 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-13 04:35:39 → verement joins (~anonymous@cpe-76-167-229-223.san.res.rr.com)
2020-11-13 04:35:48 → jedws joins (~jedws@101.184.175.183)
2020-11-13 04:35:57 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-11-13 04:38:50 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving)
2020-11-13 04:39:06 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-13 04:39:43 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-11-13 04:42:02 <jakob_> Hey people, beginner question here: I want to look for a specific constructor in a list and i'm not sure whats the elegant way to do it. Here is what i came up with https://pastebin.com/e5QX1wpr Is there a nicer way to achieve what i want?
←Prev  Next→
Page 1 .. 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 .. 5022

All times are in UTC.