Logs: freenode/#haskell
| 2021-04-15 15:57:33 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-15 15:57:44 | <Franciman> | shapr, stackage is quite cool for example |
| 2021-04-15 15:57:52 | <Franciman> | but it does not require stack |
| 2021-04-15 15:57:57 | Alleria | is now known as Guest53443 |
| 2021-04-15 15:57:59 | <shapr> | Franciman: good point! |
| 2021-04-15 15:58:05 | <Franciman> | stack's ability to choose a ghc is not unique |
| 2021-04-15 15:58:15 | <shapr> | Last time I was teaching Haskell on windows stack was the best choice |
| 2021-04-15 15:58:16 | <Franciman> | you can use ghcup or vabal |
| 2021-04-15 15:58:24 | <shapr> | Franciman: I don't think ghcup works on windows |
| 2021-04-15 15:58:34 | <Franciman> | yup, that is a selling point for stack |
| 2021-04-15 15:58:38 | <shapr> | but I also don't have a wsl2 for testing |
| 2021-04-15 15:59:00 | <sclv> | ok can we Not have the big discussion again, lol |
| 2021-04-15 15:59:03 | <shapr> | Franciman: Yea, I prefer an explicit list of what tool is better for which situation |
| 2021-04-15 15:59:12 | <Franciman> | that makes sense |
| 2021-04-15 15:59:28 | <sclv> | that said -- on windows for heavy duty use the chocolatey way is really nice and idiomatic to windows ways of doing things |
| 2021-04-15 15:59:40 | <shapr> | that also makes it easier for me to update my list when features are added |
| 2021-04-15 15:59:43 | <sclv> | its only a bit problematic for extremely new users who are afraid of using like cmd line stuff |
| 2021-04-15 15:59:53 | → | JanBessai joins (~JanB@85-22-21-116.ip.dokom21.de) |
| 2021-04-15 15:59:54 | <shapr> | sclv: I haven't done any Haskell dev on Windows, what's it like? |
| 2021-04-15 16:00:13 | <sclv> | chocolatey? its just the equivalent of brew for windows |
| 2021-04-15 16:00:17 | <shapr> | oh, neato |
| 2021-04-15 16:00:27 | <shapr> | I recently started using brew at work, it's ... okay |
| 2021-04-15 16:00:36 | <sclv> | tamar did a lot of work to make it work really cleanly with haskell |
| 2021-04-15 16:00:52 | <shapr> | I've found it easier to use nix to install things on mac |
| 2021-04-15 16:01:09 | <shapr> | well, not easier at first maybe, but to get consistently working installations of multiple tools |
| 2021-04-15 16:01:22 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-04-15 16:01:35 | <shapr> | Franciman: you writing any cool Haskell code? |
| 2021-04-15 16:01:45 | <Franciman> | I hope so :P |
| 2021-04-15 16:01:52 | <shapr> | ooh, what is it? |
| 2021-04-15 16:02:05 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 16:02:14 | <Franciman> | I am writing my programming language |
| 2021-04-15 16:02:17 | <shapr> | edwardk: so you need to parameterize your backpack builds and produce a pile of resulting artifacts? |
| 2021-04-15 16:02:23 | <Franciman> | and stuff for work which is less exciting |
| 2021-04-15 16:02:31 | <Franciman> | and you? |
| 2021-04-15 16:02:45 | <edwardk> | i use backpack to get code reuse for lots of unpacked data structures and the like |
| 2021-04-15 16:02:54 | <edwardk> | and to make lots of little compilers that all share logic |
| 2021-04-15 16:03:13 | <shapr> | I've written several things, but this weekend I want to figure out how to tune Haskell for command line utilities. I want to make this faster: https://github.com/shapr/bloohm |
| 2021-04-15 16:03:24 | <Franciman> | cool |
| 2021-04-15 16:03:56 | <shapr> | I want to write a blog post on "how to tune your Haskell for speedy command line utilities" |
| 2021-04-15 16:04:03 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-04-15 16:04:09 | <shapr> | but nothing like the usual edwardk post |
| 2021-04-15 16:04:26 | <Franciman> | it would be pretty interesting for me. Are you going to cover ghc profiler and laziness inspection? |
| 2021-04-15 16:04:31 | <shapr> | more like "single threaded runtime will give you better latency" |
| 2021-04-15 16:04:38 | <shapr> | Franciman: I want to! |
| 2021-04-15 16:04:47 | <shapr> | I could certainly talk about profiling |
| 2021-04-15 16:04:55 | → | apep11 joins (~nikola@178.220.246.127) |
| 2021-04-15 16:04:57 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-ylxdmaadjlaxocvo) |
| 2021-04-15 16:05:13 | <shapr> | I'm not sure of the best way to talk about laziness inspection, I just learned about nothunks but that might be overkill? |
| 2021-04-15 16:05:27 | <shapr> | this https://well-typed.com/blog/2020/09/nothunks/ |
| 2021-04-15 16:05:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 16:06:23 | <Franciman> | i would definitely read it, then |
| 2021-04-15 16:06:23 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-04-15 16:06:47 | ← | pippijn parts (~pippijn@unixcorps/staff/pippijn) () |
| 2021-04-15 16:07:24 | <shapr> | edwardk: when will the comonad reader get new posts? |
| 2021-04-15 16:07:33 | <shapr> | I'm considering rebooting The Monad.Reader |
| 2021-04-15 16:07:35 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-15 16:07:36 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 16:07:51 | <shapr> | but first, the international obfuscated haskell code contest will soon be announced! |
| 2021-04-15 16:07:57 | × | coeus quits (~coeus@p200300d0273ad90060e5967a49164cd4.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-15 16:08:20 | <shapr> | This IRC channel turns twenty on April 30th ! w00! |
| 2021-04-15 16:10:36 | <edwardk> | shapr: not sure. might work on an actual paper first |
| 2021-04-15 16:11:03 | <shapr> | ah, fair enough |
| 2021-04-15 16:11:06 | <edwardk> | and miri is keeping me busy, plus i'm now engaged over at groq |
| 2021-04-15 16:11:23 | <sclv> | groq? |
| 2021-04-15 16:12:54 | → | Javier12 joins (5882311d@mue-88-130-49-029.dsl.tropolys.de) |
| 2021-04-15 16:13:13 | <Javier12> | Hello |
| 2021-04-15 16:13:26 | <Javier12> | I'm trying to understand a bit more the source code of the Reader Monad |
| 2021-04-15 16:13:33 | <Javier12> | here: https://hackage.haskell.org/package/mtl-2.2.2/docs/src/Control.Monad.Reader.Class.html#asks |
| 2021-04-15 16:14:05 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-15 16:14:47 | <Javier12> | But I don't understand how the class is defined `class Monad m => MonadReader r m | m -> r where` |
| 2021-04-15 16:14:47 | <Javier12> | what does "| m -> r " mean here? |
| 2021-04-15 16:15:32 | <kuribas> | Javier12: it means the type variable r is completely determined by the type variable m |
| 2021-04-15 16:15:40 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-15 16:15:49 | → | qwerty2o joins (~qwerty2o@93-172-139-92.bb.netvision.net.il) |
| 2021-04-15 16:15:54 | <kuribas> | Javier12: in other words, give some type m, there is only one possible value of r |
| 2021-04-15 16:16:13 | <qwerty2o> | hi |
| 2021-04-15 16:16:58 | <qwerty2o> | i remeber there was a function that would clamp numbers like if its bigger than 0 then it would return 1, and if it's smaller, than -1 |
| 2021-04-15 16:17:12 | <qwerty2o> | can anyone tell me what that function's name is? |
| 2021-04-15 16:17:28 | <Rembane> | Sounds like something in Num |
| 2021-04-15 16:18:18 | <kuribas> | qwerty2o: min 1 . max (-1) ? |
| 2021-04-15 16:18:32 | <falsifian> | signum |
| 2021-04-15 16:19:08 | <falsifian> | It can be called the "sign function" if you want to search for it. |
| 2021-04-15 16:19:12 | <qwerty2o> | yess signum |
| 2021-04-15 16:19:13 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-15 16:19:14 | <qwerty2o> | thanks |
| 2021-04-15 16:20:03 | ← | cloudpip parts (sid67735@unixcorps/staff/pippijn) () |
| 2021-04-15 16:20:25 | <Javier12> | thanks kuribas do you know the term for this so I can search more information about it? |
| 2021-04-15 16:20:36 | <kuribas> | Javier12: functional dependencies |
| 2021-04-15 16:21:58 | <Javier12> | Thanks for the hint kuribas! |
| 2021-04-15 16:22:21 | <kuribas> | np |
| 2021-04-15 16:24:03 | → | gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 2021-04-15 16:24:37 | → | coeus joins (~coeus@p200300d027204600c2a89676bae3842b.dip0.t-ipconnect.de) |
| 2021-04-15 16:25:06 | × | esp32_prog quits (~esp32_pro@37.120.201.122) (Ping timeout: 240 seconds) |
| 2021-04-15 16:31:28 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Disconnected: Replaced by new connection") |
| 2021-04-15 16:32:43 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-15 16:36:29 | → | hololeap_ joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-04-15 16:38:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 16:43:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-15 16:43:28 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-15 16:44:57 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:79ab:58a1:3b3d:8069) |
All times are in UTC.