Logs: liberachat/#haskell
| 2021-05-25 16:11:42 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 244 seconds) |
| 2021-05-25 16:12:38 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-05-25 16:15:10 | × | kewa quits (~kewa@5.138.211.57) (Ping timeout: 264 seconds) |
| 2021-05-25 16:16:37 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Remote host closed the connection) |
| 2021-05-25 16:17:04 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) |
| 2021-05-25 16:18:34 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-25 16:18:46 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2021-05-25 16:18:48 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-05-25 16:18:50 | cheater1__ | is now known as cheater |
| 2021-05-25 16:21:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 16:22:40 | fiddlerwoaroof_ | is now known as fiddlerwoaroof |
| 2021-05-25 16:23:35 | × | cheater quits (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2021-05-25 16:26:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-25 16:26:41 | → | cheater joins (~Username@user/cheater) |
| 2021-05-25 16:27:31 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:a0ab:6427:bbfe:e121) |
| 2021-05-25 16:28:56 | → | pretty_dumm_guy joins (~trottel@185.244.212.222) |
| 2021-05-25 16:29:10 | × | boxscape quits (~boxscape@user/boxscape) (Quit: Connection closed) |
| 2021-05-25 16:34:08 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:34:56 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 16:35:12 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:36:12 | → | cnr joins (~cnr@user/cnr) |
| 2021-05-25 16:37:08 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:37:17 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:a0ab:6427:bbfe:e121) (Ping timeout: 272 seconds) |
| 2021-05-25 16:37:23 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host) |
| 2021-05-25 16:38:13 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:caa:2c0d:7263:2825) |
| 2021-05-25 16:39:35 | → | afnan joins (~textual@104.153.228.129) |
| 2021-05-25 16:40:51 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 16:40:57 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:42:02 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:42:09 | → | cdsmithus joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-25 16:42:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-05-25 16:43:37 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.1) |
| 2021-05-25 16:43:37 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 16:44:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-05-25 16:44:04 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:44:34 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds) |
| 2021-05-25 16:44:46 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 16:45:06 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:45:18 | × | space-shell quits (~space-she@88.98.247.38) (Quit: Connection closed) |
| 2021-05-25 16:45:31 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 272 seconds) |
| 2021-05-25 16:45:44 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-25 16:46:08 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-05-25 16:46:08 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-25 16:47:27 | → | ThatsWhatIDo joins (~whateverm@pool-108-54-183-148.nycmny.fios.verizon.net) |
| 2021-05-25 16:49:43 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:49:49 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host) |
| 2021-05-25 16:50:28 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 16:50:34 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:51:15 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 16:51:22 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:52:32 | acowley_ | is now known as acowley |
| 2021-05-25 16:53:43 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Client Quit) |
| 2021-05-25 16:54:36 | × | ixlun quits (~user@195.213.99.113) (Remote host closed the connection) |
| 2021-05-25 16:57:07 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 272 seconds) |
| 2021-05-25 16:57:34 | → | Guest11 joins (~textual@146.212.240.255) |
| 2021-05-25 16:57:41 | → | Franciman joins (~francesco@host-80-180-196-134.pool80180.interbusiness.it) |
| 2021-05-25 16:58:22 | Guest11 | is now known as klemzi32 |
| 2021-05-25 16:58:23 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-05-25 16:59:36 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 16:59:58 | <klemzi32> | hi! i am looking for a place to ask beginner haskell questions. is this the right place? |
| 2021-05-25 17:00:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 17:00:50 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 17:00:55 | <monochrom> | Yes! |
| 2021-05-25 17:00:57 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 17:01:05 | <joel135> | Yes, or /join #haskell-beginners if you prefer, your choice |
| 2021-05-25 17:01:23 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer) |
| 2021-05-25 17:01:49 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-25 17:02:03 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 17:02:41 | <klemzi32> | great! i'll join beginners chat as well. |
| 2021-05-25 17:03:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-05-25 17:03:39 | <klemzi32> | i am following the haskell book and struggling a bit with Applicative. here is my code for the specific example https://paste.tomsmeding.com/vRuyORpg |
| 2021-05-25 17:04:23 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-25 17:05:28 | → | rbutler joins (uid5425@id-5425.highgate.irccloud.com) |
| 2021-05-25 17:05:38 | <klemzi32> | I have updated the link with the error and code https://paste.tomsmeding.com/ZxlTBM8e |
| 2021-05-25 17:06:18 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-25 17:06:19 | <klemzi32> | fmap works fine, also <> works, however i can't figure out why the <*> does not work |
| 2021-05-25 17:06:56 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 17:07:34 | <[exa]> | klemzi32: you are combining, by types, `(Two (x->y) (z->w))` with `(Two a b)` |
| 2021-05-25 17:08:16 | <[exa]> | klemzi32: instead, you should combine `Two a (b->c)` with `Two a b` to produce `Two a c` |
| 2021-05-25 17:08:44 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host) |
| 2021-05-25 17:08:51 | <joel135> | i.e. f1 is not a function! |
| 2021-05-25 17:08:51 | → | nan`__ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 17:09:27 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host) |
| 2021-05-25 17:10:16 | <[exa]> | klemzi32: semi-correct visual aid to get it right: the "Functor part" of the type, which is the whole (Two a), never changes. Imagine it as the "wrap", which stays the same. Only what's "inside" of it (ie. `b`) changes. |
| 2021-05-25 17:11:35 | <[exa]> | for correct implementation just follow the types: |
| 2021-05-25 17:11:36 | <klemzi32> | got it, i think it clicked now. basically the same as fmap where only b gets modified, however a stays the same. here it's the difference that the function is also wrapped in a structure |
| 2021-05-25 17:11:49 | <[exa]> | yes |
| 2021-05-25 17:12:03 | → | ddellacosta joins (~ddellacos@89.46.62.38) |
| 2021-05-25 17:12:07 | × | eal quits (~eal@customer-46-39-107-10.stosn.net) (Quit: ZNC - http://znc.in) |
| 2021-05-25 17:13:10 | <[exa]> | the obvious problem is what to do with two incoming a's when you only need to produce one, there are at least 4 sensible ways to do that. I recommend using one of the typeclasses you already have there. |
| 2021-05-25 17:13:19 | <klemzi32> | so my implementation is wrong? or I am just passing wrong params? |
| 2021-05-25 17:13:22 | × | ddellaco_ quits (~ddellacos@89.46.62.112) (Ping timeout: 264 seconds) |
| 2021-05-25 17:13:30 | × | nan`__ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-25 17:13:51 | <klemzi32> | i checked on github the solutions and mine looks the same |
| 2021-05-25 17:13:59 | <monochrom> | Passing wrong params. |
| 2021-05-25 17:14:00 | <[exa]> | I might got a bit confused by the f1 f2, looked like functions |
| 2021-05-25 17:14:10 | <[exa]> | actualy you're using f1 as the function |
| 2021-05-25 17:14:20 | <[exa]> | s/function/monoid/ |
| 2021-05-25 17:14:20 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-25 17:14:22 | <[exa]> | which is right |
All times are in UTC.