Logs: freenode/#haskell
| 2021-04-13 14:07:27 | <hypercube> | id just do something like |
| 2021-04-13 14:07:33 | <hypercube> | brew install ghc |
| 2021-04-13 14:07:37 | <merijn> | I wouldn't |
| 2021-04-13 14:07:43 | <hypercube> | and then run ghci when it's done |
| 2021-04-13 14:07:47 | <hypercube> | :c why not |
| 2021-04-13 14:07:52 | <merijn> | Homebrew is...kinda into the "bleeding" part of "bleeding edge" |
| 2021-04-13 14:08:03 | → | cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 2021-04-13 14:08:04 | <merijn> | They upgrade GHC versions *waaay* to eagerly imo |
| 2021-04-13 14:08:31 | <merijn> | Guest42754: What did you download? |
| 2021-04-13 14:08:51 | <hypercube> | really merijn? i dont use a mac but never imagined homebrew to be "bleeding edge" per se |
| 2021-04-13 14:09:07 | <merijn> | hypercube: They insist on being "up to date" |
| 2021-04-13 14:09:19 | <merijn> | hypercube: Which means that as soon as a new GHC is released, they switch to that |
| 2021-04-13 14:09:40 | <merijn> | Personally I'd lag GHC releases by at least 6 months unless you have a good reason to upgrade |
| 2021-04-13 14:10:10 | <hypercube> | merijn: i agree, even the new releases adhere to the same standards anyway |
| 2021-04-13 14:11:06 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-04-13 14:12:54 | → | malumore_ joins (~malumore@151.62.122.89) |
| 2021-04-13 14:14:03 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-04-13 14:14:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-13 14:15:06 | × | malumore quits (~malumore@151.62.122.89) (Ping timeout: 240 seconds) |
| 2021-04-13 14:15:42 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-13 14:16:12 | → | alexm_ joins (~alexm_@161.8.254.229) |
| 2021-04-13 14:17:52 | × | Sornaensis quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 240 seconds) |
| 2021-04-13 14:18:00 | → | curlybangs joins (185a6b4e@cpe-24-90-107-78.nyc.res.rr.com) |
| 2021-04-13 14:18:51 | <Guest42754> | I tried downloading brew, but when I want to install ghc from brew it says "zsh: command not found: brew" |
| 2021-04-13 14:19:31 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 2021-04-13 14:19:49 | <Guest42754> | I think it has something to do with the path, that is why I can't open ghci in terminal |
| 2021-04-13 14:20:00 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-04-13 14:20:12 | × | alexm_ quits (~alexm_@161.8.254.229) (Ping timeout: 240 seconds) |
| 2021-04-13 14:20:20 | <Guest42754> | thank you for the reply! |
| 2021-04-13 14:20:22 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-04-13 14:20:39 | → | AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:2d2a:c15d:f996:c56f) |
| 2021-04-13 14:21:12 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 268 seconds) |
| 2021-04-13 14:21:15 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 2021-04-13 14:24:22 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-13 14:25:58 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 2021-04-13 14:26:30 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-13 14:27:46 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 252 seconds) |
| 2021-04-13 14:29:25 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-13 14:29:37 | → | Guest_55 joins (5473e122@84-115-225-34.cable.dynamic.surfer.at) |
| 2021-04-13 14:30:06 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-modavknqpmqvbcri) |
| 2021-04-13 14:30:27 | × | gienah_ quits (~mwright@119-18-3-62.771203.syd.nbn.aussiebb.net) (Ping timeout: 268 seconds) |
| 2021-04-13 14:30:37 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-13 14:31:44 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 2021-04-13 14:33:19 | <Guest_55> | I'm trying to install the Haskell platform with cup but when I run the command in terminal it tells me bad CPU type in executable. |
| 2021-04-13 14:33:43 | × | Guest42754 quits (5473e122@84-115-225-34.cable.dynamic.surfer.at) (Ping timeout: 240 seconds) |
| 2021-04-13 14:33:43 | → | amerigo joins (uid331857@gateway/web/irccloud.com/x-nxarbmfdflgljuos) |
| 2021-04-13 14:34:04 | → | ubert joins (~Thunderbi@77.119.128.21.wireless.dyn.drei.com) |
| 2021-04-13 14:34:12 | <merijn> | No clue what cup is, but that error suggests you are installing x86 executables on the new M1 ARM macOS? |
| 2021-04-13 14:35:17 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-04-13 14:35:32 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-13 14:37:00 | <Guest_55> | I meant ghcup, but yes I'm using the new M1 ARM macOS |
| 2021-04-13 14:37:56 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-13 14:38:08 | <maerwald> | Guest_55: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash |
| 2021-04-13 14:41:01 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-13 14:41:31 | <Guest_55> | arch: posix_spawnp: /bin/bash: Bad CPU type in executable |
| 2021-04-13 14:41:31 | <Guest_55> | (23) Failed writing body |
| 2021-04-13 14:41:42 | <Guest_55> | this is what it tells me now |
| 2021-04-13 14:43:39 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-nmdbocjlxmbwafmr) (Quit: Connection closed for inactivity) |
| 2021-04-13 14:43:44 | → | ram19890 joins (~ram@49.207.130.109) |
| 2021-04-13 14:44:23 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-04-13 14:47:53 | <maerwald> | Guest_55: softwareupdate --install-rosetta |
| 2021-04-13 14:48:08 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-13 14:49:26 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-13 14:51:44 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-13 14:52:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-13 14:52:25 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-13 14:52:38 | → | grimpeux joins (~textual@modemcable153.12-178-173.mc.videotron.ca) |
| 2021-04-13 14:52:40 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-13 14:52:44 | <Guest_55> | thank you |
| 2021-04-13 14:52:48 | × | Guest_55 quits (5473e122@84-115-225-34.cable.dynamic.surfer.at) (Quit: Connection closed) |
| 2021-04-13 14:53:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-13 14:53:27 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-13 14:56:00 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-13 14:57:04 | → | __minoru__shirae joins (~shiraeesh@109.166.56.189) |
| 2021-04-13 15:00:16 | → | gienah_ joins (~mwright@119-18-3-62.771203.syd.nbn.aussiebb.net) |
| 2021-04-13 15:02:45 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-13 15:02:58 | × | gienah quits (~mwright@gentoo/developer/gienah) (Ping timeout: 252 seconds) |
| 2021-04-13 15:03:26 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-04-13 15:06:20 | × | jlamothe quits (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-04-13 15:10:32 | × | __minoru__shirae quits (~shiraeesh@109.166.56.189) (Ping timeout: 240 seconds) |
| 2021-04-13 15:13:29 | × | curlybangs quits (185a6b4e@cpe-24-90-107-78.nyc.res.rr.com) (Quit: Ping timeout (120 seconds)) |
| 2021-04-13 15:14:18 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-13 15:15:16 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-13 15:18:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-13 15:19:56 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-13 15:20:32 | → | __minoru__shirae joins (~shiraeesh@109.166.56.189) |
| 2021-04-13 15:21:29 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 2021-04-13 15:24:09 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-13 15:24:49 | → | roconnor joins (~roconnor@host-45-78-202-80.dyn.295.ca) |
| 2021-04-13 15:26:33 | × | ksamak quits (~ksamak@185.169.233.12) (Remote host closed the connection) |
| 2021-04-13 15:26:56 | × | kini quits (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-04-13 15:28:15 | → | kini joins (~kini@unaffiliated/kini) |
| 2021-04-13 15:29:03 | <fiedlr> | Is there a "dual term" to reduction? That is, in a -- particular/concrete -- calculation. E.g. if we have f x = 5 and we reduce f 4 ~> 5, what do we call the inverse arrow 5 ~> f 4? |
| 2021-04-13 15:30:16 | <dolio> | Expansion. |
| 2021-04-13 15:31:01 | × | proteusguy quits (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) (Remote host closed the connection) |
| 2021-04-13 15:31:19 | <fiedlr> | I thought so, thanks. Just checking others' opinion. |
| 2021-04-13 15:32:28 | <dolio> | It's rarely used for that sort of example, though. |
| 2021-04-13 15:34:23 | <fiedlr> | I think it's kind of counterintuitive in some cases, because the expression can get longer with reduction. |
| 2021-04-13 15:34:57 | <ski> | it's somewhat of a misnomer, one could argue, yea |
| 2021-04-13 15:35:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
All times are in UTC.