Logs: freenode/#haskell
| 2021-05-19 16:49:18 | × | ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Client Quit) |
| 2021-05-19 16:49:35 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-19 16:49:38 | → | Iceland_jack joins (~user@95.149.219.38) |
| 2021-05-19 16:49:53 | → | ptrcmd joins (~ptrcmd@unaffiliated/petercommand) |
| 2021-05-19 16:50:08 | × | mitchellsalad quits (uid40617@gateway/web/irccloud.com/x-wojllcxnqpqyxkiy) (Quit: Connection closed for inactivity) |
| 2021-05-19 16:50:33 | × | usr25 quits (~usr25@4.red-83-63-129.staticip.rima-tde.net) (Quit: Leaving) |
| 2021-05-19 16:51:31 | × | nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org) |
| 2021-05-19 16:51:59 | × | ystael quits (~ystael@242.sub-174-242-76.myvzw.com) (Read error: Connection reset by peer) |
| 2021-05-19 16:52:10 | × | kapil_ quits (~kapil@o-k.website) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-19 16:52:13 | → | platz joins (~platz@unaffiliated/platz) |
| 2021-05-19 16:52:46 | ← | platz parts (~platz@unaffiliated/platz) () |
| 2021-05-19 16:52:48 | → | kapil_ joins (~kapil@2a01:4f9:c010:c9c3::1) |
| 2021-05-19 16:54:02 | <boxscape> | @where learnhaskell |
| 2021-05-19 16:54:03 | <lambdabot> | https://wiki.haskell.org/Learning_Haskell |
| 2021-05-19 16:54:14 | <boxscape> | not actually what I wanted but might be an okay link |
| 2021-05-19 16:54:35 | → | nckx joins (~nckx@tobias.gr) |
| 2021-05-19 16:54:36 | <boxscape> | https://github.com/bitemyapp/learnhaskell |
| 2021-05-19 16:54:49 | <boxscape> | oh LinVon isn't here anymore, whoopos |
| 2021-05-19 16:55:48 | ← | ridcully parts (~ridcully@pd951f269.dip0.t-ipconnect.de) ("WeeChat 3.1") |
| 2021-05-19 16:56:06 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 2021-05-19 16:56:29 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-19 16:57:31 | → | sphalerite joins (~sphalerit@NixOS/user/lheckemann) |
| 2021-05-19 16:58:33 | × | julm quits (~julm@revolt129.abo.ilico.org) (Quit: leaving) |
| 2021-05-19 16:58:34 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-19 16:58:49 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-05-19 16:59:22 | → | killsushi_ joins (~killsushi@2607:fea8:3d40:767:a43a:b464:d0c6:6044) |
| 2021-05-19 16:59:27 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-19 16:59:33 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 2021-05-19 17:00:11 | ← | dminuoso parts (~dminuoso@unaffiliated/dminuoso) ("WeeChat 2.9") |
| 2021-05-19 17:00:13 | → | dminuoso joins (~dminuoso@unaffiliated/dminuoso) |
| 2021-05-19 17:00:14 | × | JanBessai quits (~JanB@85-22-27-105.ip.dokom21.de) (Quit: leaving) |
| 2021-05-19 17:00:55 | × | nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org) |
| 2021-05-19 17:01:48 | → | nckx joins (~nckx@tobias.gr) |
| 2021-05-19 17:03:01 | × | killsushi quits (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Ping timeout: 258 seconds) |
| 2021-05-19 17:03:33 | × | ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Quit: leaving) |
| 2021-05-19 17:03:42 | → | ptrcmd joins (~ptrcmd@unaffiliated/petercommand) |
| 2021-05-19 17:03:49 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-19 17:04:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-19 17:05:33 | × | spatchkaa quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Quit: Leaving) |
| 2021-05-19 17:05:54 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) |
| 2021-05-19 17:08:12 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-19 17:09:31 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-05-19 17:12:17 | → | ransom joins (~c4264035@70-59-14-200.hlrn.qwest.net) |
| 2021-05-19 17:12:30 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-05-19 17:13:10 | × | urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 252 seconds) |
| 2021-05-19 17:13:17 | <superstar64> | is it possible to use `unsafeCoerce` to violate referential transparency? |
| 2021-05-19 17:13:23 | → | urdh_ joins (~urdh@unaffiliated/urdh) |
| 2021-05-19 17:13:54 | urdh_ | is now known as urdh |
| 2021-05-19 17:14:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 17:14:44 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Quit: ZNC - http://znc.in) |
| 2021-05-19 17:15:15 | fendor_ | is now known as fendor |
| 2021-05-19 17:15:32 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-19 17:16:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-19 17:17:39 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds) |
| 2021-05-19 17:17:51 | → | nuncanada joins (~dude@179.235.160.168) |
| 2021-05-19 17:18:40 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-19 17:19:23 | → | chris___ joins (~chris@155.138.161.121) |
| 2021-05-19 17:19:30 | <lyxia> | unsafeCoerce + runST gives you a kind of unsafePerformIO |
| 2021-05-19 17:19:34 | ← | chris___ parts (~chris@155.138.161.121) () |
| 2021-05-19 17:19:36 | <lyxia> | I dunno about without runST |
| 2021-05-19 17:19:46 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) |
| 2021-05-19 17:20:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-19 17:20:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-19 17:22:17 | <dminuoso> | Was there a decision to officially move #haskell to libera yet? |
| 2021-05-19 17:22:37 | × | newsham quits (~ubuntu@ec2-18-218-216-88.us-east-2.compute.amazonaws.com) (Quit: leaving) |
| 2021-05-19 17:23:10 | desperek | is now known as mouseghost |
| 2021-05-19 17:23:44 | × | ubert quits (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-05-19 17:23:46 | ← | remexre parts (~nathan@207-153-38-50.fttp.usinternet.com) ("WeeChat 3.0.1") |
| 2021-05-19 17:24:10 | → | ubert joins (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-05-19 17:24:57 | → | timCF joins (~i.tkachuk@m91-129-99-246.cust.tele2.ee) |
| 2021-05-19 17:25:07 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-05-19 17:25:31 | <cohn> | dminuoso: I'm on there now |
| 2021-05-19 17:25:41 | <dminuoso> | lyxia: also, cant you do `accursedUnutterablePerformIO = unsafeCoerce` straight away? |
| 2021-05-19 17:26:16 | <dminuoso> | Or does GHC actually generate a function for IO under the hood? |
| 2021-05-19 17:27:36 | <lyxia> | I'm pretty sure it's a function otherwise you could just use `seq` to run IO |
| 2021-05-19 17:28:27 | → | DTZUZU joins (~DTZUZO@207.81.119.43) |
| 2021-05-19 17:28:35 | <wz1000> | dminuoso: its a function State# -> (# a, State# #) |
| 2021-05-19 17:28:55 | <dminuoso> | wz1000: yeah, but thats an unlifted unit.. |
| 2021-05-19 17:28:58 | <dminuoso> | so.. |
| 2021-05-19 17:29:08 | <dminuoso> | what is even the runtime representation of that? |
| 2021-05-19 17:29:17 | <dminuoso> | I mean, couldnt we just unsafeCoerce anything to State#? |
| 2021-05-19 17:29:21 | <dminuoso> | say |
| 2021-05-19 17:29:28 | <wz1000> | nothing, but it is still a function (i.e a bit of executable code), not just a value |
| 2021-05-19 17:29:36 | <wz1000> | think of it as a c function(void) |
| 2021-05-19 17:29:43 | × | zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!) |
| 2021-05-19 17:30:07 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-yclfsmlhxdjxzaas) |
| 2021-05-19 17:30:09 | <dminuoso> | my function, do you mean a function closure? |
| 2021-05-19 17:30:21 | × | z0k quits (~user@101.50.108.132) (Quit: WeeChat 3.0) |
| 2021-05-19 17:30:32 | <wz1000> | yes |
| 2021-05-19 17:30:41 | × | DTZUZU_ quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-05-19 17:30:43 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-05-19 17:30:50 | <dminuoso> | well, how about |
| 2021-05-19 17:31:10 | <wz1000> | foo :: IO Int is roughly equivalent to `int foo(void)` in C |
| 2021-05-19 17:31:16 | ← | koz_ parts (~koz@121.99.240.58) ("WeeChat 3.1") |
| 2021-05-19 17:31:22 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-05-19 17:31:49 | <dminuoso> | x :: Int; x = unsafeCoerce randomInt (unsafeCoerce () :: State# ) |
| 2021-05-19 17:31:49 | <wz1000> | and the actual value *after* you force it is still a closure |
| 2021-05-19 17:31:52 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-19 17:31:56 | <dminuoso> | Plus some more type annotations, maybe |
| 2021-05-19 17:32:08 | <dminuoso> | maybe add another unsafeCoerce too |
All times are in UTC.