Logs: freenode/#haskell
| 2020-11-26 12:32:01 | <maerwald> | dodged a bullet :D |
| 2020-11-26 12:32:09 | <boxscape> | oh no |
| 2020-11-26 12:32:18 | → | Entertainment joins (~entertain@104.246.132.210) |
| 2020-11-26 12:32:38 | <opqdonut> | :D |
| 2020-11-26 12:32:55 | <boxscape> | @pl \d ogde a bullet -> a bullet d odge d |
| 2020-11-26 12:32:55 | <lambdabot> | const . (flip =<< (flip .) . flip flip odge . (flip .) . flip flip) |
| 2020-11-26 12:33:26 | <maerwald> | right, run your code through that before handing in your tech challenge :D |
| 2020-11-26 12:33:37 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 2020-11-26 12:34:38 | <boxscape> | In my company we only accept challenges written in umlambda |
| 2020-11-26 12:34:54 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-xzqgkxnkzvzsvgqp) |
| 2020-11-26 12:34:58 | <opqdonut> | boxscape: :D |
| 2020-11-26 12:34:58 | <boxscape> | erm |
| 2020-11-26 12:34:59 | <boxscape> | unlambda |
| 2020-11-26 12:37:09 | × | plakband quits (~plakband@113x43x242x146.ap113.ftth.arteria-hikari.net) (Quit: WeeChat 2.9) |
| 2020-11-26 12:38:17 | <dminuoso> | maerwald: Next time just introduce a random `fix . const` in the challenge. |
| 2020-11-26 12:38:30 | <maerwald> | omg, such senior |
| 2020-11-26 12:38:34 | <dminuoso> | ;) |
| 2020-11-26 12:39:20 | → | adm_ joins (~adm@43.229.89.234) |
| 2020-11-26 12:39:41 | <dminuoso> | Obligatory https://aphyr.com/posts/342-typing-the-technical-interview |
| 2020-11-26 12:39:49 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 264 seconds) |
| 2020-11-26 12:39:52 | <boxscape> | was just thinking of that |
| 2020-11-26 12:40:03 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 2020-11-26 12:40:31 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 246 seconds) |
| 2020-11-26 12:40:36 | <maerwald> | that post made some ppl believe haskell is dynamically typed (I'm not joking) |
| 2020-11-26 12:41:01 | <boxscape> | oh no |
| 2020-11-26 12:41:54 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-26 12:42:24 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:25b7:f5b5:a852:f5c4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-26 12:43:00 | hackage | deferred-folds 0.9.13 - Abstractions over deferred folds https://hackage.haskell.org/package/deferred-folds-0.9.13 (NikitaVolkov) |
| 2020-11-26 12:43:30 | × | plutoniix quits (~q@ppp-27-55-91-168.revip3.asianet.co.th) (Quit: Leaving) |
| 2020-11-26 12:44:18 | <n0042> | That is a pretty funny page lol |
| 2020-11-26 12:51:44 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2020-11-26 12:53:05 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 240 seconds) |
| 2020-11-26 12:54:33 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-26 12:55:56 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2020-11-26 12:56:21 | × | _ashbreeze_ quits (~mark@72-161-253-71.dyn.centurytel.net) (Read error: No route to host) |
| 2020-11-26 12:57:25 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Client Quit) |
| 2020-11-26 12:57:38 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds) |
| 2020-11-26 12:57:44 | × | fendor quits (~fendor@178.165.131.166.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2020-11-26 12:57:50 | → | _ashbreeze_ joins (~mark@72-161-253-71.dyn.centurytel.net) |
| 2020-11-26 12:57:51 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-26 13:04:10 | × | adm_ quits (~adm@43.229.89.234) (Remote host closed the connection) |
| 2020-11-26 13:04:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2020-11-26 13:04:34 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-26 13:06:03 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-26 13:07:00 | <maerwald> | is there an easy way to figure out if a given function *actually* makes use of constraints other than satisfying types? |
| 2020-11-26 13:07:07 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:25b7:f5b5:a852:f5c4) |
| 2020-11-26 13:07:20 | <maerwald> | (like: calling a class function) |
| 2020-11-26 13:07:43 | <maerwald> | (which then could warrant a redesign of the types/constraints) |
| 2020-11-26 13:08:09 | → | bitmagie joins (~Thunderbi@200116b8069e6000fcea7cbd95660e31.dip.versatel-1u1.de) |
| 2020-11-26 13:09:25 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds) |
| 2020-11-26 13:09:49 | × | xff0x quits (~fox@2001:1a81:52e2:1100:66fc:dc44:c41d:a54) (Ping timeout: 272 seconds) |
| 2020-11-26 13:10:32 | → | xff0x joins (~fox@2001:1a81:52e2:1100:6a57:53b7:993a:a9b) |
| 2020-11-26 13:12:53 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 2020-11-26 13:14:00 | hackage | headroom 0.3.2.0 - License Header Manager https://hackage.haskell.org/package/headroom-0.3.2.0 (xwinus) |
| 2020-11-26 13:14:10 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-11-26 13:19:05 | → | lankatze joins (~Thomas@business-176-095-163-121.static.arcor-ip.net) |
| 2020-11-26 13:19:13 | × | lankatze quits (~Thomas@business-176-095-163-121.static.arcor-ip.net) (Client Quit) |
| 2020-11-26 13:20:41 | → | Linoleum joins (~Linoleum@185.103.96.147) |
| 2020-11-26 13:20:47 | → | lankatze joins (~Thomas@business-176-095-163-121.static.arcor-ip.net) |
| 2020-11-26 13:23:25 | × | lankatze quits (~Thomas@business-176-095-163-121.static.arcor-ip.net) (Client Quit) |
| 2020-11-26 13:24:58 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2020-11-26 13:26:14 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2020-11-26 13:26:42 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2020-11-26 13:26:46 | × | bitmagie quits (~Thunderbi@200116b8069e6000fcea7cbd95660e31.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-26 13:29:25 | × | perry69420 quits (6ee39737@110.227.151.55) (Remote host closed the connection) |
| 2020-11-26 13:29:37 | → | adm_ joins (~adm@43.229.89.234) |
| 2020-11-26 13:29:42 | → | caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) |
| 2020-11-26 13:30:09 | → | jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb) |
| 2020-11-26 13:31:18 | → | f-a joins (~f-a@151.46.85.195) |
| 2020-11-26 13:36:20 | × | shah^ quits (shah@ip98-184-89-2.mc.at.cox.net) () |
| 2020-11-26 13:38:24 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 2020-11-26 13:41:02 | → | benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-syalagemfhhmznuu) |
| 2020-11-26 13:43:28 | → | Ariakenom_ joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) |
| 2020-11-26 13:45:14 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 2020-11-26 13:47:09 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2020-11-26 13:47:20 | × | Ariakenom__ quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2020-11-26 13:47:34 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2020-11-26 13:48:30 | → | jonatanb_ joins (~jonatanb@83.24.220.252.ipv4.supernova.orange.pl) |
| 2020-11-26 13:49:58 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:25b7:f5b5:a852:f5c4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-26 13:50:02 | → | fendor joins (~fendor@078132052150.public.t-mobile.at) |
| 2020-11-26 13:50:35 | → | csaba_hruska joins (~csaba@188-167-252-60.dynamic.chello.sk) |
| 2020-11-26 13:51:09 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2020-11-26 13:51:16 | × | jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds) |
| 2020-11-26 13:53:54 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:25b7:f5b5:a852:f5c4) |
| 2020-11-26 13:54:16 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2020-11-26 13:55:24 | → | forgottenone joins (~forgotten@176.88.97.75) |
| 2020-11-26 13:55:45 | × | fendor quits (~fendor@078132052150.public.t-mobile.at) (Ping timeout: 240 seconds) |
| 2020-11-26 13:56:06 | → | jk1006 joins (~jk1006@193.16.224.0) |
| 2020-11-26 13:59:25 | × | jk1006 quits (~jk1006@193.16.224.0) (Client Quit) |
| 2020-11-26 14:01:05 | <dminuoso> | maerwald: Mmm, it shoulds like a diagnostic that fits into GHC |
| 2020-11-26 14:01:07 | <dminuoso> | *sounds |
| 2020-11-26 14:01:15 | × | solonarv quits (~solonarv@astrasbourg-653-1-191-240.w90-13.abo.wanadoo.fr) (Quit: Lost terminal) |
| 2020-11-26 14:01:21 | <dminuoso> | Some sort of warn-unused-constraints |
| 2020-11-26 14:01:56 | <dminuoso> | I dont know the implementation details of the type checker, it doesn't seem impossible in principle to track which constraints you used to discharge other obligations |
| 2020-11-26 14:02:28 | ← | f-a parts (~f-a@151.46.85.195) () |
| 2020-11-26 14:02:44 | → | Iceland_jack joins (~user@31.124.48.169) |
| 2020-11-26 14:03:50 | → | solonarv joins (~solonarv@astrasbourg-653-1-191-240.w90-13.abo.wanadoo.fr) |
| 2020-11-26 14:06:41 | → | bgamari_ joins (~bgamari@72.65.104.220) |
| 2020-11-26 14:07:22 | × | bgamari quits (~bgamari@2001:470:e438::1) (Ping timeout: 260 seconds) |
| 2020-11-26 14:10:30 | hackage | deferred-folds 0.9.14 - Abstractions over deferred folds https://hackage.haskell.org/package/deferred-folds-0.9.14 (NikitaVolkov) |
All times are in UTC.