Logs: freenode/#haskell
| 2021-05-11 21:08:29 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-upahawlsktdxgrvb) |
| 2021-05-11 21:08:32 | → | Joshua[m]1 joins (eleos91mat@gateway/shell/matrix.org/x-clqrxahjwxmjdtez) |
| 2021-05-11 21:09:03 | → | Guest87676 joins (~laudiacay@45.162.228.190) |
| 2021-05-11 21:10:39 | → | berberman__ joins (berberma4@gateway/shell/matrix.org/x-oqwwmsvupcxuxpnp) |
| 2021-05-11 21:12:03 | → | DamienCassou joins (damiencass@gateway/shell/matrix.org/x-votlbxirlarwjjbo) |
| 2021-05-11 21:13:05 | → | psydruid[m] joins (psydruidma@gateway/shell/matrix.org/x-rgbznonnmocgijtt) |
| 2021-05-11 21:13:09 | → | elfets_ joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-11 21:13:10 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-vnybzrvhljcvwjeg) |
| 2021-05-11 21:13:11 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-11 21:13:32 | → | Ernest joins (402ba442@64.43.164.66) |
| 2021-05-11 21:13:33 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-11 21:13:33 | → | july541[m] joins (july541mat@gateway/shell/matrix.org/x-sxshthlngmlrsmtb) |
| 2021-05-11 21:14:24 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-heuatjnwiiuzaciw) |
| 2021-05-11 21:14:26 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-11 21:14:37 | <Ernest> | Hey, question on a thing that has been bugging: what is ((->) e) |
| 2021-05-11 21:15:16 | <monochrom> | "X -> Y" is syntax sugar for "(->) X Y". Now do partial application and have just "(->) X". |
| 2021-05-11 21:15:28 | <monochrom> | Similarly you can have "Either A". |
| 2021-05-11 21:16:36 | → | vaibhavsagar joins (vaibhavsag@gateway/shell/matrix.org/x-fjuekmtrdjeshtoh) |
| 2021-05-11 21:16:44 | <Ernest> | I see, I see, but what is "X -> Y" is it usable in real code? Why does it need a functor instance? |
| 2021-05-11 21:17:13 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-wbxhiuywsqxchwea) |
| 2021-05-11 21:17:14 | <monochrom> | All function types go like "X -> Y". |
| 2021-05-11 21:17:31 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-11 21:17:32 | → | pnotequalnp[m] joins (pnotequaln@gateway/shell/matrix.org/x-ptcimncfzlfhmbvu) |
| 2021-05-11 21:18:08 | <geekosaur> | what do you mean by "need" here? |
| 2021-05-11 21:18:12 | <geekosaur> | it's useful |
| 2021-05-11 21:18:33 | <Uniaika> | Ernest: did you study function applications in maths? |
| 2021-05-11 21:18:35 | <Uniaika> | or just functions? |
| 2021-05-11 21:18:45 | <Ernest> | Well I mean why is it useful? Where do you use it? Is it hidden away as a primitive in the compiler?: |
| 2021-05-11 21:18:51 | → | hegz joins (hegzmatrix@gateway/shell/matrix.org/x-kmisrxzutlqfewfk) |
| 2021-05-11 21:19:30 | → | supersven[m] joins (supersvenm@gateway/shell/matrix.org/x-xrgsrmndhixlalsj) |
| 2021-05-11 21:19:36 | <Uniaika> | it feels like there is some context missing, partial function application does not necessarily need a Functor instance, Ernest |
| 2021-05-11 21:20:02 | <carbolymer> | ehlo |
| 2021-05-11 21:20:05 | <Uniaika> | hey carbolymer |
| 2021-05-11 21:20:06 | carbolymer | is back with his memory issues |
| 2021-05-11 21:20:13 | <monochrom> | My policy is I never answer need questions. They are overblown. |
| 2021-05-11 21:20:32 | <carbolymer> | WHERE IS MY MEMORY!! https://gitlab.com/carbolymer/network-http-client-memory-leak |
| 2021-05-11 21:20:37 | <monochrom> | And behind them are always the real, hidden question "do I really need to learn it?" and the answer is always "no". |
| 2021-05-11 21:20:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-11 21:20:50 | → | jeanclaude[m] joins (jeanclaude@gateway/shell/matrix.org/x-blnyazzuntvrqeyn) |
| 2021-05-11 21:20:53 | <carbolymer> | damn heap profiler explains only 7% of mem usage |
| 2021-05-11 21:20:53 | → | jchia[m] joins (jchiamatri@gateway/shell/matrix.org/x-cnmbhrrzgpmynneo) |
| 2021-05-11 21:21:08 | <Ernest> | Sorry, shoud've mentioned I'm following https://wiki.haskell.org/Typeclassopedia . In the excercises for functor it shows to implement it for the (->) e. And my mind is boggled with what even is it and why is it useful to have it, and where is it even used |
| 2021-05-11 21:21:14 | → | olle joins (~olle@i5E8666E4.versanet.de) |
| 2021-05-11 21:21:37 | <ski> | Ernest : are you asking about `Functor',`Applicative',`Monad' instances for `(rho ->)' ? maybe (`Semigroup' and) `Monoid' instances for `rho -> a' ? or possibly `Num' and `Fractional' instances ? something else ? |
| 2021-05-11 21:21:55 | → | EmanuelLoos[m] joins (emanuel-lo@gateway/shell/matrix.org/x-rzapdzrelnedlunu) |
| 2021-05-11 21:22:02 | × | elfets_ quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds) |
| 2021-05-11 21:22:12 | <monochrom> | The Monad instance is sometimes used. But then if it has a Monad instance then it has a Functor instance, even though its fmap is seldom used. |
| 2021-05-11 21:22:30 | <ski> | Ernest : you know how `(T,T)' contains the same information as `Bool -> T' ? |
| 2021-05-11 21:22:35 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-rdnmqsotqbtoxywr) |
| 2021-05-11 21:22:40 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-vcnumnznwpfbnsoe) |
| 2021-05-11 21:22:42 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-lxilvmapenritogw) |
| 2021-05-11 21:22:51 | → | ServerStatsDisco joins (serverstat@gateway/shell/matrix.org/x-fmdpukzknleoofkk) |
| 2021-05-11 21:22:51 | → | VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-szbaxjpuhekzduzl) |
| 2021-05-11 21:23:01 | → | Lurkki[m]1 joins (lurkkipriv@gateway/shell/matrix.org/x-cpeitjulibvdczps) |
| 2021-05-11 21:23:02 | <monochrom> | However, Typeclassopedia also serves the purpose of learning Monad. As part of the learning process, you must figure out (->)e too, whether you will use it or not. |
| 2021-05-11 21:23:23 | → | M66bdd7f1f556[m] joins (m66bdd7f1f@gateway/shell/matrix.org/x-gqntowfkeqyeeuza) |
| 2021-05-11 21:23:24 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-fklrirjztisrhpuf) |
| 2021-05-11 21:23:27 | → | mith[m] joins (mithmatrix@gateway/shell/matrix.org/x-enrsmyespcxtywvd) |
| 2021-05-11 21:23:29 | → | mly joins (mlydisenco@gateway/shell/matrix.org/x-yvtesoekbbptnprr) |
| 2021-05-11 21:23:43 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-xpmdgbjyijdibdlg) |
| 2021-05-11 21:23:48 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-knlddppgqgzfysyd) |
| 2021-05-11 21:23:54 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-arxspbowruxbgtky) |
| 2021-05-11 21:24:08 | <Ernest> | ski Not really |
| 2021-05-11 21:24:40 | <Uniaika> | carbolymer: what is "inv" ? |
| 2021-05-11 21:24:57 | <Ernest> | monochrom So is it possible to use (->) in haskell code? Or is that reserved as a primitve for the compiler code? |
| 2021-05-11 21:25:02 | <carbolymer> | Uniaika: http://www.pyinvoke.org/ |
| 2021-05-11 21:25:09 | <Uniaika> | ah, I understand your question Ernest |
| 2021-05-11 21:25:13 | <ski> | > (zipWith (+) <$> tail <*> id) [2,3,5,7] -- using `Functor (rho ->)' and `Applicative (rho ->)' |
| 2021-05-11 21:25:15 | <lambdabot> | [5,8,12] |
| 2021-05-11 21:25:19 | <carbolymer> | Uniaika: I tried to like GNU Make, but... I can't :( |
| 2021-05-11 21:25:24 | <Uniaika> | this is entirely a valid way to declare a typeclass instance over a type, Ernest |
| 2021-05-11 21:25:28 | <ski> | @type not :: (->) Bool Bool |
| 2021-05-11 21:25:29 | <lambdabot> | Bool -> Bool |
| 2021-05-11 21:25:33 | <monochrom> | Yes to both. |
| 2021-05-11 21:25:47 | <Uniaika> | carbolymer: GNU make is shit, BSD Make forever!! :< |
| 2021-05-11 21:25:54 | <carbolymer> | potato potato |
| 2021-05-11 21:26:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-11 21:26:49 | × | theDon quits (~td@muedsl-82-207-238-242.citykom.de) (Ping timeout: 252 seconds) |
| 2021-05-11 21:27:03 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-mtetdbivgmiakwmu) |
| 2021-05-11 21:27:21 | <Uniaika> | carbolymer: kartofle ziemniak |
| 2021-05-11 21:27:26 | <geekosaur> | make is not liked, it is tolerated |
| 2021-05-11 21:27:27 | <Uniaika> | see, a difference! |
| 2021-05-11 21:27:29 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-gpebkzgqxwwxsfwe) |
| 2021-05-11 21:27:32 | → | dominicusin[m] joins (dominicusi@gateway/shell/matrix.org/x-pjkljbbzolpsvumj) |
| 2021-05-11 21:27:42 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-thnnfgytredsniic) |
| 2021-05-11 21:27:53 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-11 21:27:54 | → | l-as joins (lasmatrixo@gateway/shell/matrix.org/x-uqygpgsipnzcjvky) |
| 2021-05-11 21:28:08 | → | Lurkki[m] joins (lurkkifene@gateway/shell/matrix.org/x-lxsizptwwqniqqhf) |
| 2021-05-11 21:28:08 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-iworegheuvvhamrt) |
| 2021-05-11 21:28:08 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-ywvzzfbfnsihtdgl) |
| 2021-05-11 21:28:09 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-lgoifndlflbhoqks) |
| 2021-05-11 21:28:10 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-kwtghircdmpnsjld) |
| 2021-05-11 21:28:11 | <carbolymer> | Uniaika: tak |
| 2021-05-11 21:28:12 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-iwjfaqxdmtzvjimd) |
| 2021-05-11 21:28:13 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-upefgjbnrkofhzti) |
| 2021-05-11 21:28:14 | → | speakerspivakeem joins (speakerdea@gateway/shell/matrix.org/x-phfwwidrwfyfbnxt) |
| 2021-05-11 21:28:15 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp) |
| 2021-05-11 21:28:16 | → | Noughtmare[m] joins (naughtmare@gateway/shell/matrix.org/x-eudjrzrcgrkbadyq) |
| 2021-05-11 21:28:16 | → | fakubish[m] joins (fakubishne@gateway/shell/matrix.org/x-cfxniegcgkagepkg) |
| 2021-05-11 21:28:16 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-qsajurmakwekccbf) |
All times are in UTC.