Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4970 4971 4972 4973 4974 4975 4976 4977 4978 4979 4980 .. 5022
— 502,152 events total
2021-05-19 17:32:12 <lyxia> you have to give up the notion that State# is an unlifted unit
2021-05-19 17:32:19 <dminuoso> mmm
2021-05-19 17:32:22 <lyxia> Core just doesn't know what it is so it is forced to thread it around
2021-05-19 17:32:29 <dminuoso> oh
2021-05-19 17:32:32 <wz1000> I don't know , unsafeCoerce () :: State# is probably illegal
2021-05-19 17:32:37 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:bd2:c65:4ec0:2a3c) (Ping timeout: 250 seconds)
2021-05-19 17:32:39 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
2021-05-19 17:32:44 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-19 17:32:45 × pjb quits (~pjb@2a01cb04063ec500440b12cee508cc2a.ipv6.abo.wanadoo.fr) (Quit: ERC (IRC client for Emacs 27.2))
2021-05-19 17:32:56 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-19 17:33:03 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-19 17:33:03 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-19 17:33:08 → zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt)
2021-05-19 17:33:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-19 17:33:19 × ubert quits (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-05-19 17:33:25 × theDon quits (~td@muedsl-82-207-238-018.citykom.de) (Quit: waking up from the american dream ...)
2021-05-19 17:33:44 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-wqixhekxsvskzkxd) (Ping timeout: 245 seconds)
2021-05-19 17:33:59 → ystael joins (~ystael@69.sub-174-242-65.myvzw.com)
2021-05-19 17:34:00 <dminuoso> Prelude GHC.Prim Unsafe.Coerce> unsafeCoerce () :: State# RealWorld
2021-05-19 17:34:02 <dminuoso> • Couldn't match a lifted type with an unlifted type
2021-05-19 17:34:03 → lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-qfwcnofzmnqulyyc)
2021-05-19 17:34:04 <dminuoso> Ah yes.
2021-05-19 17:35:03 × tose quits (55a009dc@ip-85-160-9-220.eurotel.cz) (Ping timeout: 240 seconds)
2021-05-19 17:35:31 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
2021-05-19 17:35:34 <wz1000> try unsafeCoerce#
2021-05-19 17:35:51 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-19 17:36:02 <dminuoso> Highly, terribly dangerous coercion from one representation type to another.
2021-05-19 17:36:07 <dminuoso> Yes, lets do that!
2021-05-19 17:36:31 <dminuoso> f :: Int# -> State# RealWorld; f a = unsafeCoerce# a
2021-05-19 17:36:33 <dminuoso> This works
2021-05-19 17:36:37 <lyxia> also the equivalence between (() -> a) and a might make sense in a very handwavy sense but you can get very different runtime behavior because you can call (() -> a) many times to recompute stuff, which might sometimes be preferable to a single long-lived a which holds on to a lot of resources
2021-05-19 17:36:48 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-19 17:37:07 <dminuoso> sure, I can see the difference there
2021-05-19 17:37:27 <dminuoso> I was merely wondering, whether we couldnt use unsafeCoerce to pierce the newtype of IO and conjure up a State# RealWorld token
2021-05-19 17:37:31 ← kaol parts (~kaol@178.62.241.234) ()
2021-05-19 17:37:42 <dminuoso> Because that's all it takes to make an accursedUnutterablePerformIO
2021-05-19 17:37:44 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-19 17:37:45 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
2021-05-19 17:37:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-19 17:37:52 <lyxia> that sounds like a sound idea
2021-05-19 17:38:02 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-19 17:38:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
2021-05-19 17:39:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-19 17:40:00 ← tomku parts (~tomku@unaffiliated/tomku) ()
2021-05-19 17:41:24 × qwerty2o_ quits (~qwerty2o@89-138-23-24.bb.netvision.net.il) (Ping timeout: 252 seconds)
2021-05-19 17:42:39 → ChaoticSun joins (~chaoticsu@209.64.40.130)
2021-05-19 17:43:43 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:9584:183a:ef58:a92d)
2021-05-19 17:44:11 × zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!)
2021-05-19 17:44:28 → zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt)
2021-05-19 17:44:31 ← ChaoticSun parts (~chaoticsu@209.64.40.130) ()
2021-05-19 17:44:58 ← cohn parts (~noone@unaffiliated/cohn) ()
2021-05-19 17:45:53 × kuribas quits (~user@ptr-25vy0i99e25a1oh0tqt.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-05-19 17:46:53 ← zmagii parts (~zmagii@unaffiliated/zmagii) ("ERC (IRC client for Emacs 28.0.50)")
2021-05-19 17:46:54 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-19 17:48:08 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-xejzonnyjopklvnr)
2021-05-19 17:48:39 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-05-19 17:48:58 → pluto_ joins (~pluto@117.222.68.136)
2021-05-19 17:49:19 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-19 17:49:20 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-05-19 17:50:03 <monochrom> "lets do that!" "sounds like a sound idea" are very encouraging :)
2021-05-19 17:50:29 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-19 17:51:00 → involans joins (~involans@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net)
2021-05-19 17:51:10 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
2021-05-19 17:52:15 → ddellacosta joins (~ddellacos@86.106.143.139)
2021-05-19 17:52:20 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-19 17:53:15 × LKoen quits (~LKoen@2a01cb0407597a0078d2c65eb7791f2b.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-05-19 17:53:43 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-19 17:54:40 <lyxia> What could go wrong :)
2021-05-19 17:54:43 × boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-05-19 17:55:08 <cdsmith> enikar: The link you posted earlier, https://www.seas.upenn.edu/~cis194/fall16/, is obsolete and cannot be updated as Joachim has left UPenn. You probably want to recommend https://haskell-via-sokoban.nomeata.de/ instead, which Joachim is keeping up to date.
2021-05-19 17:55:15 ← pluto_ parts (~pluto@117.222.68.136) ()
2021-05-19 17:55:44 → jrp joins (0550efe4@5.80.239.228)
2021-05-19 17:56:14 → bitmagie joins (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de)
2021-05-19 17:56:14 <enikar> cdsmith: thank you!
2021-05-19 17:56:21 × bitmagie quits (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de) (Client Quit)
2021-05-19 17:56:47 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-05-19 17:57:07 × ddellacosta quits (~ddellacos@86.106.143.139) (Ping timeout: 268 seconds)
2021-05-19 17:58:00 × jneira quits (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) (Quit: Connection closed)
2021-05-19 17:58:05 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-05-19 17:58:50 <edwardk> as a general announcement, there's been no official move or anything, but we have set up a mirror of the #haskell channel and namespace over on irc.libera.chat I'm moving a bunch of my personal development efforts over there, (#haskell-lens in particular) and a maybe 130-150 folks from this channel have already moved. It might be worth creating an account, registering with nickserv, etc. just in case there is a larger exodus even if
2021-05-19 17:58:50 <edwardk> you don't plan to move today.
2021-05-19 17:59:51 <edwardk> i'm personally somewhat nervous about how well this channel will run now that we don't have 2-3 ircops sitting in the channel alongside us when the spambots come, but currently intend to do what i can to help keep the lights on.
2021-05-19 18:00:21 <jrp> Grateful for some help with migrating to ghc 9.0.1 (typeapplications, I think) https://paste.tomsmeding.com/jPpmbVEp
2021-05-19 18:01:03 <mjrosenb> oohh, 9.0, is there anything that's actually deserving of a major version bump, or did the minors just get too big?
2021-05-19 18:01:12 <geekosaur> linear types
2021-05-19 18:01:28 <mjrosenb> niiiiiice.
2021-05-19 18:01:38 <mjrosenb> guess I'll have to finally learn how to use those.
2021-05-19 18:02:13 <jrp> https://downloads.haskell.org/ghc/9.0.1/docs/html/users_guide/9.0.1-notes.html  (2.1.2.1 is what bites, I think)
2021-05-19 18:02:48 → altern joins (~altern@altern.corbina.com.ua)
2021-05-19 18:02:51 → johnw joins (~johnw@haskell/developer/johnw)
2021-05-19 18:03:47 <altern> johnw, hi!
2021-05-19 18:04:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-19 18:04:33 <altern> johnw, is there any chance that you developed gitlib?
2021-05-19 18:04:36 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-19 18:06:47 <lyxia> jrp: fmap f (unAnyContT p) instead of . and $
2021-05-19 18:07:13 × ego_ quits (~ego@2604:a880:800:a1::1b:b001) (Ping timeout: 258 seconds)
2021-05-19 18:07:30 <jrp> @lyxia
2021-05-19 18:07:30 <lambdabot> Unknown command, try @list
2021-05-19 18:07:41 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-05-19 18:07:45 <jrp> @lyxia thanks, let me see....
←Prev  Next→
Page 1 .. 4970 4971 4972 4973 4974 4975 4976 4977 4978 4979 4980 .. 5022

All times are in UTC.