Logs: freenode/#haskell
| 2021-03-02 21:56:47 | kmein | is now known as KMEIN |
| 2021-03-02 21:56:53 | lassulus | is now known as LASSULUS |
| 2021-03-02 21:57:00 | → | isidore joins (~isidore@lfbn-cae-1-252-50.w90-17.abo.wanadoo.fr) |
| 2021-03-02 21:57:33 | × | LKoen quits (~LKoen@252.248.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-02 21:57:53 | tv | is now known as TV |
| 2021-03-02 21:58:27 | × | knupfer quits (~Thunderbi@200116b82ca65800c4196a77311fd48e.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-03-02 21:58:31 | × | isidore quits (~isidore@lfbn-cae-1-252-50.w90-17.abo.wanadoo.fr) (Client Quit) |
| 2021-03-02 21:59:29 | × | augnun quits (~augnun@2804:14c:658b:41bb:3843:ca5d:efc4:9380) (Ping timeout: 272 seconds) |
| 2021-03-02 22:00:03 | KMEIN | is now known as kmein |
| 2021-03-02 22:00:16 | × | conal_ quits (~conal@66.115.157.144) (Quit: Computer has gone to sleep.) |
| 2021-03-02 22:00:20 | kmein | is now known as KMEIN |
| 2021-03-02 22:01:51 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-02 22:01:53 | → | alx741 joins (~alx741@186.178.108.117) |
| 2021-03-02 22:07:31 | × | alx741 quits (~alx741@186.178.108.117) (Quit: alx741) |
| 2021-03-02 22:09:26 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-02 22:09:42 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:e0e9:a038:1112:d7c8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-02 22:13:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-02 22:16:34 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 22:18:35 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-cjmongmnsmgaohho) (Quit: Connection closed for inactivity) |
| 2021-03-02 22:18:56 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-02 22:19:17 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 22:19:57 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-02 22:20:02 | × | mayleesia quits (4e37a6aa@dynamic-078-055-166-170.78.55.pool.telefonica.de) (Quit: Connection closed) |
| 2021-03-02 22:21:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-02 22:23:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-02 22:24:02 | → | Tops2 joins (~Tobias@dyndsl-095-033-025-007.ewe-ip-backbone.de) |
| 2021-03-02 22:25:36 | × | apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-03-02 22:26:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-02 22:26:19 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 245 seconds) |
| 2021-03-02 22:29:21 | <zebrag> | `Ap x y <*> z = Ap x (flip <$> y <*> z)`, okay I'm starting to understand a bit. Some elementary tutorial would be nice. |
| 2021-03-02 22:30:01 | → | apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-02 22:31:05 | → | slack1256 joins (~slack1256@45.4.2.52) |
| 2021-03-02 22:31:11 | <infinisil> | :t \y z -> flip <$> y <*> z |
| 2021-03-02 22:31:13 | <lambdabot> | Applicative f => f (a1 -> a2 -> c) -> f a2 -> f (a1 -> c) |
| 2021-03-02 22:32:17 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-02 22:32:17 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-02 22:32:17 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-02 22:32:35 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-02 22:33:43 | <zebrag> | not bad |
| 2021-03-02 22:34:05 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-02 22:35:36 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-02 22:35:40 | → | goepsilongo joins (~goepsilon@2603-7000-ab00-62ed-0000-0000-0000-0c67.res6.spectrum.com) |
| 2021-03-02 22:36:51 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:3156:67e7:d2bc:c6e) (Ping timeout: 272 seconds) |
| 2021-03-02 22:37:36 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 2021-03-02 22:38:02 | <zebrag> | Now the rest of Control.Applicative.Free, I need liftAp, just to read https://image.slidesharecdn.com/applicativestyleprogramming-160914224841/95/applicative-style-programming-30-638.jpg |
| 2021-03-02 22:38:37 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.0.1) |
| 2021-03-02 22:38:50 | <zebrag> | Hum, I'll manage |
| 2021-03-02 22:39:42 | × | dansho quits (~dansho@ec2-13-115-122-101.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 2021-03-02 22:39:50 | → | ddellacosta joins (~ddellacos@86.106.143.188) |
| 2021-03-02 22:40:35 | × | tweek quits (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) (Quit: WeeChat 3.0.1) |
| 2021-03-02 22:40:45 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-03-02 22:41:20 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-02 22:41:51 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-02 22:41:55 | × | Yumasi quits (~guillaume@2a01:e0a:5cb:4430:ac92:f3cb:a8a3:4136) (Ping timeout: 240 seconds) |
| 2021-03-02 22:45:02 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:b7be:2af2:76b3:bfab) (Ping timeout: 264 seconds) |
| 2021-03-02 22:45:22 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-02 22:45:44 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:68e3:9c1f:887c:d5b3) |
| 2021-03-02 22:46:46 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 22:47:08 | → | dansho joins (~dansho@ec2-52-69-239-82.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-02 22:48:21 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:b4e:b96c:b479:6a8f) |
| 2021-03-02 22:50:25 | × | ddellacosta quits (~ddellacos@86.106.143.188) () |
| 2021-03-02 22:50:50 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 22:53:29 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-02 22:53:41 | ← | aarvar parts (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) () |
| 2021-03-02 22:54:08 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) |
| 2021-03-02 22:55:22 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 265 seconds) |
| 2021-03-02 22:56:50 | <zebrag> | I'll try this one, maybe it'll end up being easier to understand. It also is one of the recommended entry point. https://gergo.erdi.hu/blog/2012-12-01-static_analysis_with_applicatives/ |
| 2021-03-02 22:59:40 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:3b8c) |
| 2021-03-02 22:59:43 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-02 23:06:38 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-02 23:08:26 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-02 23:08:33 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-02 23:08:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-02 23:09:00 | → | FortuneZero joins (3223b878@50.35.184.120) |
| 2021-03-02 23:09:27 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-02 23:09:55 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 2021-03-02 23:10:09 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Ping timeout: 264 seconds) |
| 2021-03-02 23:10:14 | × | __minoru__shirae quits (~shiraeesh@109.166.56.62) (Ping timeout: 260 seconds) |
| 2021-03-02 23:10:50 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-02 23:11:17 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-02 23:11:23 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-02 23:12:59 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-02 23:14:07 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 2021-03-02 23:14:27 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.0.1) |
| 2021-03-02 23:15:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-02 23:16:23 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 23:18:21 | × | fendor_ quits (~fendor@91.141.0.81.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-03-02 23:18:49 | × | zhenchaoli quits (~user@2601:641:8080:71c0:99fe:19bc:923d:684e) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-03-02 23:22:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-02 23:23:54 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-gsievxjzurffeyjb) (Quit: Connection closed for inactivity) |
| 2021-03-02 23:26:05 | × | francesco_ quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-02 23:26:49 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:cd5c:37fd:94ce:ea47) |
| 2021-03-02 23:29:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-02 23:31:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-02 23:34:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-02 23:35:53 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-02 23:36:59 | J | is now known as jess |
| 2021-03-02 23:39:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-02 23:41:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-02 23:41:02 | → | plutoniix joins (~q@node-ule.pool-125-24.dynamic.totinternet.net) |
All times are in UTC.