Logs: liberachat/#haskell
| 2021-06-25 15:45:31 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-25 15:45:31 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-25 15:45:31 | → | Deide joins (~Deide@user/deide) |
| 2021-06-25 15:46:53 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 15:48:08 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-25 15:48:29 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 15:50:22 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-06-25 15:51:26 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 15:53:02 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 15:55:55 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 15:56:47 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 265 seconds) |
| 2021-06-25 15:57:08 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-25 15:57:30 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 15:58:23 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-25 16:00:25 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 16:01:59 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-06-25 16:04:03 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 250 seconds) |
| 2021-06-25 16:04:24 | × | poljar quits (~poljar@93-139-36-109.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-06-25 16:04:58 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-06-25 16:05:02 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 16:05:03 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-06-25 16:05:20 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-25 16:05:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-25 16:05:37 | → | poljar joins (~poljar@93-139-36-109.adsl.net.t-com.hr) |
| 2021-06-25 16:07:59 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-06-25 16:09:12 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 2021-06-25 16:11:53 | → | renzhi joins (~xp@2607:fa49:655f:a700::3902) |
| 2021-06-25 16:11:53 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-25 16:16:17 | → | thyriaen joins (~thyriaen@45.178.73.238) |
| 2021-06-25 16:17:06 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-25 16:17:18 | <thyriaen> | howdy, i would like to concatinate 2 lists together - what kind of function do i use for this ? concat takes a list of lists |
| 2021-06-25 16:17:46 | <adamCS> | thyriaen: ++ |
| 2021-06-25 16:18:10 | <thyriaen> | thanks |
| 2021-06-25 16:20:27 | <adamCS> | thyriaen: You could also use <> which is monoidal append, which for lists is concatenation. That would continue to work if you switched from lists to, e.g., Seq or DList or some such. |
| 2021-06-25 16:20:47 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-25 16:21:39 | <thyriaen> | i am wondering if i can get something similiar to http://zvon.org/ locally for haskell like man pages for times without internet connections - is there such a thing ? |
| 2021-06-25 16:22:21 | <thyriaen> | adamCS, is there a monoidal foldr/foldl too ? |
| 2021-06-25 16:22:39 | <adamCS> | thyriaen: There is a way to set up a local "hoogle" |
| 2021-06-25 16:23:15 | <adamCS> | yes. fold and foldMap |
| 2021-06-25 16:23:30 | <adamCS> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Foldable.html#v:foldMap |
| 2021-06-25 16:23:59 | × | dunkeln_ quits (~dunkeln@188.71.193.140) (Ping timeout: 250 seconds) |
| 2021-06-25 16:24:44 | <thyriaen> | adamCS, ah nice, "normal" fold must have slipped my search |
| 2021-06-25 16:25:20 | <adamCS> | thyriaen: Are you using stack? Apparently has a local hoogle feature. |
| 2021-06-25 16:25:45 | <adamCS> | I think there's a nix way to set that up as well. |
| 2021-06-25 16:25:50 | <thyriaen> | adamCS, what is stack ? fold is not found in Prelude |
| 2021-06-25 16:26:13 | <adamCS> | You might need to import "Data.Foldable" |
| 2021-06-25 16:27:49 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-06-25 16:27:51 | <adamCS> | stack is an alternative to "cabal the tool" as the user front-end to managing dependencies, in the stack case via internally consistent snapshots of most packages. |
| 2021-06-25 16:28:14 | × | stevenxl quits (~stevenlei@174.128.179.106) (Ping timeout: 244 seconds) |
| 2021-06-25 16:28:22 | <Franciman> | stack is not simply an alternative to cabal the tool, its UI is quite different |
| 2021-06-25 16:29:13 | <adamCS> | Franciman: Sure. I was trying for a minimal answer, given the context. |
| 2021-06-25 16:29:48 | <adamCS> | thyriaen: https://hackage.haskell.org/package/bhoogle might be helpful on the local hoogle front. |
| 2021-06-25 16:29:50 | → | stevenxl joins (~stevenlei@174.128.179.103) |
| 2021-06-25 16:30:29 | <thyriaen> | ty |
| 2021-06-25 16:30:50 | <adamCS> | np |
| 2021-06-25 16:33:32 | <maerwald> | Stack has no resolver, does it? |
| 2021-06-25 16:33:55 | × | tbd quits (~user@p200300d9df0f1f00e670b8fffeaa0fa5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-06-25 16:35:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-25 16:36:18 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-25 16:38:02 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-06-25 16:40:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-25 16:40:40 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-25 16:41:04 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-25 16:42:26 | → | Guest53__ joins (~textual@170.250.221.149) |
| 2021-06-25 16:42:44 | → | dunkeln joins (~dunkeln@188.71.193.140) |
| 2021-06-25 16:42:47 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 2021-06-25 16:42:48 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 272 seconds) |
| 2021-06-25 16:43:28 | × | Guest53__ quits (~textual@170.250.221.149) (Remote host closed the connection) |
| 2021-06-25 16:48:48 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-25 16:49:49 | × | winircuser-318 quits (~winircuse@170.250.221.149) (Read error: Connection reset by peer) |
| 2021-06-25 16:51:02 | → | alex3 joins (~alex3@BSN-77-82-41.static.siol.net) |
| 2021-06-25 16:51:05 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 16:51:40 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-25 16:55:54 | <qrpnxz> | stack is like cabal's cabal, kind of a clusterfuck tbh |
| 2021-06-25 16:57:41 | × | nschoe quits (~quassel@2a01:e0a:8e:a190:681:f80c:a16c:65d7) (Ping timeout: 244 seconds) |
| 2021-06-25 16:57:58 | <Clint> | cabal's cabal, you say |
| 2021-06-25 16:58:07 | <qrpnxz> | yes |
| 2021-06-25 16:58:58 | <qrpnxz> | Or maybe like a harness to cabal. Or actually kind of like apt is to dpkg, except if dpkg already did pretty much everything apt did |
| 2021-06-25 16:59:19 | <sclv> | lmao these metaphors are not helpful |
| 2021-06-25 16:59:45 | × | zmt00 quits (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-06-25 16:59:51 | <qrpnxz> | stack is indeed nonsense, nothing i can do about that |
| 2021-06-25 17:01:05 | <nitrix> | Isn't cabal v2, cabal's cabal? And what about: cabal new-install Cabal cabal-install? |
| 2021-06-25 17:01:25 | <qrpnxz> | cabal v2 is just cabal v2 afaik |
| 2021-06-25 17:03:04 | × | MorrowM quits (~MorrowM_@147.161.13.193) (Ping timeout: 272 seconds) |
| 2021-06-25 17:03:37 | <sclv> | anyway to run a local hoogle the best thing one can do is clone the current state of hoogle, then look at its auto-update script (https://github.com/ndmitchell/hoogle/blob/master/misc/Upgrade.hs) to try to understand how it fetches db info (its a bit underdocumented) and then use the cmd line exe directly |
| 2021-06-25 17:04:46 | <Las[m]> | can someone explain to me why `fromIntegral (maxBound :: Int) :: CInt` is equal to -1? |
| 2021-06-25 17:06:00 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 17:06:57 | <pavonia> | > fromIntegral (minBound :: Int) :: CInt |
| 2021-06-25 17:06:58 | <lambdabot> | error: |
| 2021-06-25 17:06:58 | <lambdabot> | Not in scope: type constructor or class ‘CInt’ |
| 2021-06-25 17:06:59 | <lambdabot> | Perhaps you meant one of these: |
| 2021-06-25 17:07:47 | × | Athas quits (~athas@2a01:7c8:aaac:1cf:8045:ce82:8893:4981) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-25 17:07:54 | <qrpnxz> | also on my terminal `fromIntegral (minBound :: Int)` prints 2^63-1 when the max for Int should be 2^29-1, weird |
| 2021-06-25 17:07:56 | → | Athas joins (athas@sigkill.dk) |
| 2021-06-25 17:08:27 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-25 17:08:40 | × | thyriaen quits (~thyriaen@45.178.73.238) (Remote host closed the connection) |
| 2021-06-25 17:09:01 | <Las[m]> | Even though it's 64 bits wide? |
| 2021-06-25 17:09:24 | <qrpnxz> | what is |
| 2021-06-25 17:09:38 | <qrpnxz> | Int has 23 bit range according to https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Int.html#t:Int |
| 2021-06-25 17:09:45 | <davean> | qrpnxz: no, no |
All times are in UTC.