Logs: liberachat/#haskell
| 2021-05-29 16:35:46 | → | _bin joins (~bin@user/bin/x-1583188) |
| 2021-05-29 16:36:08 | × | bin_ quits (~bin@user/bin/x-1583188) (Ping timeout: 252 seconds) |
| 2021-05-29 16:36:32 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-05-29 16:38:41 | × | curiousgay quits (~curiousga@178.217.208.8) (Remote host closed the connection) |
| 2021-05-29 16:38:58 | curiousgay_ | is now known as curiousgay |
| 2021-05-29 16:39:22 | aplainze1akind | is now known as aplainzetakind |
| 2021-05-29 16:39:47 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-05-29 16:40:44 | → | buggy joins (~buggy@27.6.222.224) |
| 2021-05-29 16:40:50 | × | buggy quits (~buggy@27.6.222.224) (Changing host) |
| 2021-05-29 16:40:50 | → | buggy joins (~buggy@user/smorgasbord) |
| 2021-05-29 16:43:22 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-29 16:43:32 | × | bfrk quits (~Thunderbi@200116b8456a1f00d8d08c49fac857df.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2021-05-29 16:44:31 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-05-29 16:45:25 | → | repaj joins (~repaj@89-64-1-87.dynamic.chello.pl) |
| 2021-05-29 16:45:43 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-05-29 16:46:10 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection) |
| 2021-05-29 16:46:17 | × | repaj quits (~repaj@89-64-1-87.dynamic.chello.pl) (Client Quit) |
| 2021-05-29 16:48:41 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-29 16:48:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-29 16:49:37 | → | ddellacosta joins (~ddellacos@86.106.121.82) |
| 2021-05-29 16:51:28 | → | henrylaxen joins (~user@177.239.36.179) |
| 2021-05-29 16:52:34 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-29 16:52:47 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 245 seconds) |
| 2021-05-29 16:52:59 | → | Guest962 joins (~Guest9@103.240.169.6) |
| 2021-05-29 16:53:19 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:dd4f:e91d:2ac5:15ba) |
| 2021-05-29 16:53:58 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-29 16:54:25 | × | ddellacosta quits (~ddellacos@86.106.121.82) (Ping timeout: 268 seconds) |
| 2021-05-29 16:54:27 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-05-29 16:57:07 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-29 16:57:49 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-05-29 16:57:59 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-29 16:58:40 | × | dustingetz quits (~textual@pool-173-49-123-198.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-29 16:58:50 | ← | weber parts (~weber@114-24-103-71.dynamic-ip.hinet.net) () |
| 2021-05-29 16:59:47 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-29 16:59:56 | → | littlefinger joins (~00000000@selfhost1.threedot14.com) |
| 2021-05-29 17:00:02 | × | haskman quits (~haskman@223.190.19.0) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-29 17:00:08 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-29 17:02:46 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-05-29 17:03:16 | ← | typesafety parts (~typesafet@umbreller.kvi.sgsnet.se) () |
| 2021-05-29 17:03:17 | → | carbolymer_ joins (~carbolyme@dropacid.net) |
| 2021-05-29 17:03:32 | × | carbolymer quits (~carbolyme@dropacid.net) (Ping timeout: 272 seconds) |
| 2021-05-29 17:04:27 | → | fendor joins (~fendor@178.165.129.15.wireless.dyn.drei.com) |
| 2021-05-29 17:04:44 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 252 seconds) |
| 2021-05-29 17:05:55 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-29 17:06:46 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 2021-05-29 17:06:54 | → | ddellacosta joins (~ddellacos@89.46.62.23) |
| 2021-05-29 17:08:08 | → | INeedAHandleMan joins (~INeedAHan@93.37.157.76) |
| 2021-05-29 17:08:12 | × | INeedAHandleMan quits (~INeedAHan@93.37.157.76) (K-Lined) |
| 2021-05-29 17:10:10 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-29 17:11:42 | × | ddellacosta quits (~ddellacos@89.46.62.23) (Ping timeout: 264 seconds) |
| 2021-05-29 17:12:35 | → | sm[m] joins (~sm@plaintextaccounting/sm) |
| 2021-05-29 17:12:52 | × | smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-05-29 17:13:28 | → | shiraeeshi joins (~shiraeesh@5.101.59.190) |
| 2021-05-29 17:13:40 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-05-29 17:17:33 | → | werneta joins (~werneta@mobile-166-176-59-138.mycingular.net) |
| 2021-05-29 17:18:12 | → | coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-29 17:19:23 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-05-29 17:20:04 | → | Panther27 joins (~Panther@118-160-149-34.dynamic-ip.hinet.net) |
| 2021-05-29 17:20:15 | × | Panther27 quits (~Panther@118-160-149-34.dynamic-ip.hinet.net) (K-Lined) |
| 2021-05-29 17:20:32 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-29 17:20:43 | <rahguzar> | @type traverse @t (@(->) a) |
| 2021-05-29 17:20:45 | <lambdabot> | error: parse error on input ‘@’ |
| 2021-05-29 17:21:33 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-29 17:21:59 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 272 seconds) |
| 2021-05-29 17:22:06 | → | hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-05-29 17:22:07 | <rahguzar> | Is there a way to get ghci to use a type variable in type applications. It seems like I can only pass `_` |
| 2021-05-29 17:22:14 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-29 17:22:48 | <rahguzar> | Otherwise it complains of out of scope type variables |
| 2021-05-29 17:23:28 | <c_wraith> | what would you do with a free type variable in a type application? |
| 2021-05-29 17:23:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-29 17:24:15 | → | ddellacosta joins (~ddellacos@89.46.62.33) |
| 2021-05-29 17:24:22 | <rahguzar> | Mostly I just want to know the type that results |
| 2021-05-29 17:24:54 | <rahguzar> | Like this for example `traverse @t (@(->) a)` |
| 2021-05-29 17:25:38 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-29 17:25:54 | → | econo joins (uid147250@user/econo) |
| 2021-05-29 17:25:56 | <rahguzar> | But `:t` doesn't work with that |
| 2021-05-29 17:26:28 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2021-05-29 17:26:30 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-05-29 17:26:52 | <c_wraith> | What is unsatisfying about the output of :t traverse @_ @((->) _) ? |
| 2021-05-29 17:27:08 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-29 17:28:12 | × | fendor quits (~fendor@178.165.129.15.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-29 17:28:25 | <rahguzar> | Just that I have to remember `_1` is a `Traversable` while `t` would make it easier. It is minor thing |
| 2021-05-29 17:28:38 | <rahguzar> | I was wondering if there is a way |
| 2021-05-29 17:28:57 | × | ddellacosta quits (~ddellacos@89.46.62.33) (Ping timeout: 268 seconds) |
| 2021-05-29 17:29:54 | <c_wraith> | you won't like it, but there is. :P |
| 2021-05-29 17:30:16 | <rahguzar> | Ok! |
| 2021-05-29 17:30:20 | <c_wraith> | enabled ScopedTypeVariables and PartialTypeSignatures |
| 2021-05-29 17:30:50 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-29 17:30:53 | <c_wraith> | then suppress the partial-type-signatures warning |
| 2021-05-29 17:31:25 | <c_wraith> | Then you can do something like :t let f :: forall t a. (_) => _ ; f = traverse @t @((->) a) in f |
| 2021-05-29 17:31:37 | × | rk04 quits (~rk04@user/rajk) (Quit: Client closed) |
| 2021-05-29 17:32:12 | → | ecm joins (~user@103.88.87.15) |
| 2021-05-29 17:32:37 | <ecm> | What is the best resource for a beginner that has read "Learn you a haskell" ? |
| 2021-05-29 17:32:48 | <rahguzar> | That is lot of work but it can come in handy if there are a few type variables in some expression |
| 2021-05-29 17:32:55 | <rahguzar> | @c_ |
| 2021-05-29 17:32:55 | <lambdabot> | Maybe you meant: wn v rc pl id do bf @ ? . |
| 2021-05-29 17:33:03 | <rahguzar> | c_wraith thanks! |
| 2021-05-29 17:33:12 | <ecm> | I want to learn how to do stack stuff and about advanced concepts like monads, types and stuff |
| 2021-05-29 17:33:12 | <c_wraith> | you're welcome |
| 2021-05-29 17:34:22 | × | sbmsr quits (~pi@2600:1700:63d0:4830:9670:3c44:ca85:cefd) (Ping timeout: 264 seconds) |
All times are in UTC.