Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4703 4704 4705 4706 4707 4708 4709 4710 4711 4712 4713 .. 5022
— 502,152 events total
2021-05-02 19:38:05 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 19:38:59 × tsandstr quits (~user@nat-130-132-173-221.central.yale.edu) (Ping timeout: 252 seconds)
2021-05-02 19:43:19 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-02 19:43:54 → minoru_shiraeesh joins (~shiraeesh@109.166.56.14)
2021-05-02 19:44:15 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection)
2021-05-02 19:44:17 × __minoru__shirae quits (~shiraeesh@109.166.57.8) (Ping timeout: 265 seconds)
2021-05-02 19:44:34 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-05-02 19:44:57 → henninb joins (~henninb@63-226-190-31.mpls.qwest.net)
2021-05-02 19:46:01 × jneira quits (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) (Quit: Ping timeout (120 seconds))
2021-05-02 19:46:45 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-05-02 19:46:47 → jneira joins (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250)
2021-05-02 19:49:54 × juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-02 19:50:02 → pera joins (~pera@unaffiliated/pera)
2021-05-02 19:50:21 → nicholasbulka joins (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-05-02 19:50:26 → vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
2021-05-02 19:51:16 <nut> When do people use Data.Coerce ?
2021-05-02 19:51:32 <nut> i saw a c lib wrapper using it, but can't understand why
2021-05-02 19:52:36 <nut> solveOde fun x0 f0 xend =
2021-05-02 19:52:38 <nut> coerce $ solveOdeC (coerce fun) (coerce x0) (coerce f0) (coerce xend)
2021-05-02 19:54:41 × nicholasbulka quits (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds)
2021-05-02 19:55:16 × v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 19:56:18 → HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
2021-05-02 19:59:50 × gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome)
2021-05-02 20:00:06 → Alleria joins (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com)
2021-05-02 20:00:31 Alleria is now known as Guest757
2021-05-02 20:00:35 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-02 20:02:57 <chisui> nut: It's a type safe way to convert between data types that have the same runtime representation. Instances of `Coercible` are generated by the compiler and usages of `coerce` introduce no actual runtime code executions (for the most part). See the documentation for more info.
2021-05-02 20:02:57 <chisui> https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Coerce.html#t:Coercible
2021-05-02 20:03:59 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-02 20:04:25 × Guest757 quits (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-02 20:05:25 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2021-05-02 20:06:07 × electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2021-05-02 20:07:13 → petersen joins (~petersen@redhat/juhp)
2021-05-02 20:07:14 × darjeeling_ quits (~darjeelin@115.215.40.212) (Ping timeout: 246 seconds)
2021-05-02 20:07:55 → wnbehsklr joins (~wnbehsklr@97-119-109-245.omah.qwest.net)
2021-05-02 20:08:15 <hololeap> the bigger question is when do you use Data.Typeable.cast vs Data.Coerce.coerce ?
2021-05-02 20:09:30 → mceier joins (~mceier@89-68-132-187.dynamic.chello.pl)
2021-05-02 20:10:52 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-02 20:11:56 → cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-02 20:13:08 <cdsmith> I don't understand why 'a' isn't in scope here.  Anyone want to convince me this makes sense?  https://gist.github.com/cdsmith/d8d7876f4a978edca62d05dd454c7b9d
2021-05-02 20:13:11 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-05-02 20:14:05 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-02 20:14:12 → v01d4lph4 joins (~v01d4lph4@171.48.62.25)
2021-05-02 20:15:09 <geekosaur> I'm not sure what you typed makes sense. "forall."?
2021-05-02 20:15:19 × erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving)
2021-05-02 20:15:27 <cdsmith> geekosaur: That's just to rpevent implicity quanitification
2021-05-02 20:15:38 <cdsmith> Okay, I cannot type today, it seems
2021-05-02 20:15:47 <cdsmith> prevent implicit quantification
2021-05-02 20:16:28 <cdsmith> Without that, it compiles, but only because there's an implicit `forall a.` on the constructor.
2021-05-02 20:16:48 × nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection)
2021-05-02 20:18:26 <dmj`> llvm-hs is a great package
2021-05-02 20:18:26 × v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds)
2021-05-02 20:19:17 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2021-05-02 20:20:55 → darjeeling_ joins (~darjeelin@115.215.40.84)
2021-05-02 20:21:22 → nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 20:22:16 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 252 seconds)
2021-05-02 20:22:52 → RusAlex joins (~Chel@unaffiliated/rusalex)
2021-05-02 20:23:52 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-02 20:24:01 → stree joins (~stree@68.36.8.116)
2021-05-02 20:25:55 × nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 248 seconds)
2021-05-02 20:27:18 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-02 20:27:46 × wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 252 seconds)
2021-05-02 20:30:28 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-02 20:33:46 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-02 20:35:17 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-05-02 20:35:47 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-02 20:36:37 → jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net)
2021-05-02 20:37:51 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-05-02 20:38:46 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-02 20:39:15 → hc joins (~hc@fsfe/hc)
2021-05-02 20:41:36 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2021-05-02 20:43:11 × supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-05-02 20:46:46 <cdsmith> Oh, never mind about my forall question.  I realized that even though I need to include 'a' in the forall of the constructor, because it also occurs in the result, it unifies the way I wanted anyway.
2021-05-02 20:48:21 → acidjnk_new2 joins (~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de)
2021-05-02 20:52:06 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-05-02 20:52:20 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving)
2021-05-02 20:54:33 → nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 20:57:10 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-wuxcwfzdtkwlmcjg) ()
2021-05-02 20:58:57 → ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 20:59:32 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-05-02 21:00:45 hackage dimensional 1.4 - Statically checked physical dimensions https://hackage.haskell.org/package/dimensional-1.4 (BjornBuckwalter)
2021-05-02 21:00:49 × nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds)
2021-05-02 21:01:12 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 21:02:16 × wnbehsklr quits (~wnbehsklr@97-119-109-245.omah.qwest.net) (Remote host closed the connection)
2021-05-02 21:02:38 × henninb quits (~henninb@63-226-190-31.mpls.qwest.net) (Quit: Lost terminal)
2021-05-02 21:02:54 → notzmv joins (~zmv@unaffiliated/zmv)
2021-05-02 21:09:00 → philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca)
2021-05-02 21:09:40 → safinaskar joins (~user@109-252-90-136.nat.spd-mgts.ru)
2021-05-02 21:09:41 <safinaskar> hi
2021-05-02 21:10:27 <safinaskar> when i type multiple words at http://hackage.haskell.org/packages/search , it seems they are connected using OR. how to connect them using AND?
2021-05-02 21:11:55 × LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-05-02 21:12:20 <lyxia> safinaskar: have you considered using Google instead
2021-05-02 21:15:34 <safinaskar> well, i found what i want
2021-05-02 21:15:39 ← safinaskar parts (~user@109-252-90-136.nat.spd-mgts.ru) ()
2021-05-02 21:19:56 × elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-05-02 21:21:10 → elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-02 21:21:34 → britva joins (~britva@2a02:aa13:7240:2980:517d:e116:307a:ffc)
2021-05-02 21:23:05 × pera quits (~pera@unaffiliated/pera) (Quit: leaving)
2021-05-02 21:23:10 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-02 21:23:41 → nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
←Prev  Next→
Page 1 .. 4703 4704 4705 4706 4707 4708 4709 4710 4711 4712 4713 .. 5022

All times are in UTC.