Logs: liberachat/#haskell
| 2021-06-16 16:41:40 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-16 16:42:35 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-16 16:44:42 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:b257:2b:ea5f:da94) (Ping timeout: 240 seconds) |
| 2021-06-16 16:46:02 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-16 16:46:04 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:8b36:948d:3300:375b) |
| 2021-06-16 16:48:44 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-06-16 16:48:59 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-16 16:50:03 | × | benin036 quits (~benin@183.82.207.180) (Quit: The Lounge - https://thelounge.chat) |
| 2021-06-16 16:50:57 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-16 16:50:57 | <lyxia> | they key is that you don't get a value of type Int# (unlike undefined :: Int) |
| 2021-06-16 16:51:56 | → | sbmsr joins (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) |
| 2021-06-16 16:52:26 | <safinaskar> | % 0 |
| 2021-06-16 16:52:26 | <yahb> | safinaskar: 0 |
| 2021-06-16 16:53:21 | <safinaskar> | i am not registered on libera.char . and i can write yahb on-channel, but cannot write it directly. this is very good |
| 2021-06-16 16:53:33 | <safinaskar> | this forces me to flood yahb on channel |
| 2021-06-16 16:53:52 | <lyxia> | % let x = undefined :: Int# in () |
| 2021-06-16 16:53:53 | <yahb> | lyxia: *** Exception: Prelude.undefined; CallStack (from HasCallStack):; error, called at libraries/base/GHC/Err.hs:75:14 in base:GHC.Err; undefined, called at <interactive>:13:9 in interactive:Ghci11 |
| 2021-06-16 16:53:57 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 16:53:59 | <lyxia> | % let x = undefined :: Int in () |
| 2021-06-16 16:53:59 | <yahb> | lyxia: () |
| 2021-06-16 16:54:05 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-16 16:54:11 | × | fvr quits (uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-16 16:54:55 | → | Obo joins (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) |
| 2021-06-16 16:55:39 | → | fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) |
| 2021-06-16 16:55:59 | <safinaskar> | lyxia: okey |
| 2021-06-16 16:56:29 | <dminuoso> | slack1256: Not in base. I find myself writing `hush :: Either a b -> Maybe b` and `note :: a -> Maybe b -> Either a b` in many of the applications here. |
| 2021-06-16 16:57:30 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-06-16 16:57:42 | <c_wraith> | you prefer to not use the errors package? |
| 2021-06-16 16:58:32 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-16 17:01:38 | × | fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Remote host closed the connection) |
| 2021-06-16 17:02:13 | → | hololeap joins (hololeap@user/hololeap) |
| 2021-06-16 17:02:52 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-16 17:04:00 | <dminuoso> | c_wraith: For 2 functions? No. |
| 2021-06-16 17:04:22 | <dminuoso> | Their implementation is far too trivial to incur an extra dependency, and potentially introduce transformers/exceptions into my transitive dependencies. |
| 2021-06-16 17:04:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) |
| 2021-06-16 17:05:53 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-16 17:06:34 | ← | safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-16 17:06:35 | × | abbie quits (~abbie@user/abbie) (Changing host) |
| 2021-06-16 17:06:35 | → | abbie joins (~abbie@offtopia/offtopian/abbie) |
| 2021-06-16 17:08:39 | → | MQ-17J joins (~MQ-17J@8.21.10.64) |
| 2021-06-16 17:09:10 | <justsomeguy> | What motivated Alonzo Chruch to create the lambda calculus? |
| 2021-06-16 17:10:46 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:e4f6:1a3d:3782:7bbb) |
| 2021-06-16 17:11:18 | <justsomeguy> | ...ah, I should have just kept on reading, the wikipedia page on the church-turing thesis has some background... |
| 2021-06-16 17:11:23 | <dolio> | He was trying to create a formal system for logic. |
| 2021-06-16 17:12:02 | <dminuoso> | As far as I can make it out, he created it to have a formal system to talk about computations and algorithms in order to disprove the Entscheidungsproblem (see Church's theorem) |
| 2021-06-16 17:12:22 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-16 17:12:39 | <dolio> | The computation part actually came after the logic part. |
| 2021-06-16 17:13:02 | × | MQ-17J quits (~MQ-17J@8.21.10.64) (Read error: Connection reset by peer) |
| 2021-06-16 17:13:46 | × | alx741 quits (~alx741@186.178.108.66) (Ping timeout: 268 seconds) |
| 2021-06-16 17:15:12 | <dolio> | At least, publication-wise. |
| 2021-06-16 17:15:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-16 17:17:27 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-06-16 17:17:55 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-06-16 17:18:01 | → | MQ-17J joins (~MQ-17J@8.21.10.64) |
| 2021-06-16 17:18:59 | × | Obo quits (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (Quit: WeeChat 2.8) |
| 2021-06-16 17:20:33 | × | muto quits (~muto@d75-159-225-7.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2021-06-16 17:21:15 | → | fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) |
| 2021-06-16 17:21:23 | → | gxt joins (~gxtmatrix@2001:470:69fc:105::3513) |
| 2021-06-16 17:21:47 | × | Guest3991 quits (~pera@137.221.132.196) (Ping timeout: 268 seconds) |
| 2021-06-16 17:22:11 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-16 17:22:16 | → | econo joins (uid147250@user/econo) |
| 2021-06-16 17:22:28 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2021-06-16 17:22:44 | <justsomeguy> | I'm vaguely aware that there was a sort of open problem in mathematics that Hilbert proposed, called Hilberts program, which was to find an algorithm to prove whether any arbitrary mathematical statement can eventually be proved true (or decided). |
| 2021-06-16 17:23:19 | <justsomeguy> | I guess I'm just spinning my wheels here, but it's interesting stuff ^_^. |
| 2021-06-16 17:23:53 | <dminuoso> | If wikipedia is to be believed, this was later. |
| 2021-06-16 17:24:11 | <sm[m]> | how do you tell stack and cabal to build one package at a time, again ? To save ram |
| 2021-06-16 17:24:11 | <dminuoso> | At least that summary suggests that this dates back to Gottfriend Leibniz. |
| 2021-06-16 17:24:30 | <tomsmeding> | sm[m]: -j1 |
| 2021-06-16 17:25:11 | <tomsmeding> | @tell merijn You told me ereyesterday that Profunctor, Applicative, Category and Bifunctor pretty much obsolete Arrow; where do I find (&&&)? :p |
| 2021-06-16 17:25:12 | <lambdabot> | Consider it noted. |
| 2021-06-16 17:25:31 | <justsomeguy> | There's a talk on the ACM website called "lambda calculus then & now", which outlines a timeline, but it's a bit confusing. |
| 2021-06-16 17:25:40 | <sm[m]> | thanks tomsmeding ! |
| 2021-06-16 17:26:29 | → | alx741 joins (~alx741@181.196.68.42) |
| 2021-06-16 17:26:30 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection) |
| 2021-06-16 17:26:35 | × | sbmsr quits (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) (Ping timeout: 252 seconds) |
| 2021-06-16 17:27:21 | <maerwald> | ncpu is a crazy default imo |
| 2021-06-16 17:27:24 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-16 17:27:34 | <maerwald> | I opened tickets for both stack and cabal about it, but nothing happened :> |
| 2021-06-16 17:27:59 | <tomsmeding> | maerwald: it's not a crazy default if you have lots of ram |
| 2021-06-16 17:28:02 | <dminuoso> | tomsmeding: that's just profunctors |
| 2021-06-16 17:28:16 | <maerwald> | ncpu is a metric from gcc, which doesn't translate to GHC *at all* |
| 2021-06-16 17:28:40 | <dminuoso> | tomsmeding: Should be captured by Strong |
| 2021-06-16 17:28:52 | <dolio> | The actual history kind of makes people talking about how 'miraculous' the connection between logic and computation is kind of silly, since several of the big computational systems grew out of attempts to formalize logic. |
| 2021-06-16 17:30:21 | <tomsmeding> | maerwald: what would your suggested default be? |
| 2021-06-16 17:30:23 | <dminuoso> | tomsmeding: it's basically just first' + second' + dimap for massaging. |
| 2021-06-16 17:30:23 | → | fizbin_ joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-16 17:30:44 | <tomsmeding> | dminuoso: right, and it's also \f g x -> (f x, g x) |
| 2021-06-16 17:30:55 | <sm[m]> | I have someone building things on a 2G machine, so I'm recalling the low mem tips |
| 2021-06-16 17:30:57 | → | muto joins (~muto@d75-159-225-7.abhsia.telus.net) |
| 2021-06-16 17:30:59 | <sm[m]> | @where lowmem |
| 2021-06-16 17:30:59 | <lambdabot> | I know nothing about lowmem. |
| 2021-06-16 17:30:59 | <maerwald> | tomsmeding: 1 |
| 2021-06-16 17:31:21 | <tomsmeding> | maerwald: is that a sane default on my 32GB ram machine? |
| 2021-06-16 17:31:31 | <maerwald> | yes |
| 2021-06-16 17:31:36 | <tomsmeding> | dminuoso: but I see, thanks :) |
| 2021-06-16 17:31:56 | <tomsmeding> | maerwald: it sure goes faster if I let it use more cores, so why 1 |
| 2021-06-16 17:31:59 | <monochrom> | The history of GHC, Cabal, and cabal-install are full of provably wrong analogies from gcc, make, and autoconf+automake+etc. |
| 2021-06-16 17:32:13 | <sm[m]> | @where+ lowmem stack build ONEPKG -j1 --ghc-options='+RTS -M1G -RTS' |
| 2021-06-16 17:32:13 | <lambdabot> | I will remember. |
| 2021-06-16 17:32:13 | <monochrom> | For example -O1 and -O2 |
All times are in UTC.