Logs: freenode/#haskell
| 2021-03-05 03:17:59 | × | kibo quits (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) (Ping timeout: 245 seconds) |
| 2021-03-05 03:18:34 | × | Guest77264 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-05 03:18:36 | × | gitgoood quits (~gitgood@82-132-217-137.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-05 03:19:38 | × | MasseR quits (~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds)) |
| 2021-03-05 03:20:00 | → | MasseR joins (~MasseR@51.15.143.128) |
| 2021-03-05 03:20:39 | × | mawk quits (mawk@serveur.io) (Remote host closed the connection) |
| 2021-03-05 03:21:04 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-05 03:21:40 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:1ce2:2887:c755:496a) |
| 2021-03-05 03:21:55 | → | mawk joins (mawk@serveur.io) |
| 2021-03-05 03:23:59 | → | plutoniix joins (~q@184.82.205.61) |
| 2021-03-05 03:24:30 | × | __minoru__shirae quits (~shiraeesh@109.166.56.118) (Ping timeout: 260 seconds) |
| 2021-03-05 03:25:00 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-03-05 03:25:04 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-05 03:25:28 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 245 seconds) |
| 2021-03-05 03:25:49 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-05 03:25:54 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 245 seconds) |
| 2021-03-05 03:26:26 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1ce2:2887:c755:496a) (Ping timeout: 264 seconds) |
| 2021-03-05 03:31:50 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) |
| 2021-03-05 03:32:48 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-03-05 03:33:17 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-05 03:34:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 03:37:46 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-05 03:38:09 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-03-05 03:38:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-05 03:38:29 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-03-05 03:39:37 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-05 03:39:40 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-05 03:40:49 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-05 03:41:02 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-05 03:41:19 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Client Quit) |
| 2021-03-05 03:41:21 | → | __minoru__shirae joins (~shiraeesh@109.166.56.118) |
| 2021-03-05 03:43:09 | × | theDon quits (~td@94.134.91.49) (Ping timeout: 264 seconds) |
| 2021-03-05 03:43:14 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-05 03:43:45 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 264 seconds) |
| 2021-03-05 03:44:29 | → | theDon joins (~td@muedsl-82-207-238-191.citykom.de) |
| 2021-03-05 03:44:56 | × | dtuveson quits (4c6311c2@76.99.17.194) (Quit: Connection closed) |
| 2021-03-05 03:50:12 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-05 03:51:19 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-05 03:51:48 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-05 03:52:34 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-05 03:52:48 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 2021-03-05 03:55:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-05 03:59:46 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2021-03-05 04:00:12 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 04:02:53 | → | travisb joins (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2021-03-05 04:02:56 | × | cartwright quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-03-05 04:04:35 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-bgmkvjlbzdbxvlqi) (Quit: Connection closed for inactivity) |
| 2021-03-05 04:04:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds) |
| 2021-03-05 04:05:10 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 2021-03-05 04:05:16 | → | cartwright joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-03-05 04:07:11 | → | redmp joins (~redmp@172.58.35.185) |
| 2021-03-05 04:07:42 | travisb | is now known as tabemann |
| 2021-03-05 04:07:55 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-05 04:08:18 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-pzxcaoxvyukwyhjx) |
| 2021-03-05 04:10:59 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-05 04:11:53 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-05 04:12:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-05 04:12:20 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-05 04:15:06 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-05 04:20:56 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-05 04:21:16 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-05 04:21:52 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-05 04:24:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-05 04:24:28 | × | totte quits (~totte@chakra/totte) (Ping timeout: 276 seconds) |
| 2021-03-05 04:24:42 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-05 04:27:24 | → | totte joins (~totte@chakra/totte) |
| 2021-03-05 04:28:03 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-05 04:37:04 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-05 04:37:33 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-05 04:39:20 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:dc3c) |
| 2021-03-05 04:39:27 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 04:40:15 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:154f:4e40:6da2:bc2f) (Ping timeout: 240 seconds) |
| 2021-03-05 04:40:36 | → | forgottenone joins (~forgotten@176.88.30.190) |
| 2021-03-05 04:44:37 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 276 seconds) |
| 2021-03-05 04:46:13 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:44c1:48d2:bcfb:ac55) |
| 2021-03-05 04:47:54 | × | __minoru__shirae quits (~shiraeesh@109.166.56.118) (Ping timeout: 260 seconds) |
| 2021-03-05 04:51:46 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 276 seconds) |
| 2021-03-05 04:53:13 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-05 04:53:48 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 04:54:48 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-05 04:58:23 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-03-05 05:00:54 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-05 05:05:00 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) (Remote host closed the connection) |
| 2021-03-05 05:05:45 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) |
| 2021-03-05 05:05:47 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-03-05 05:08:48 | <nshepperd2> | what's so great about ImpredicativeTypes |
| 2021-03-05 05:09:28 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 2021-03-05 05:10:02 | <dolio> | They're so great that there's a special case to make ($) impredicative. But it only works with ($). |
| 2021-03-05 05:10:50 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) (Ping timeout: 264 seconds) |
| 2021-03-05 05:11:00 | <dolio> | Once the new type checking method is in, it will hopefully work for other things, too, like (.). |
| 2021-03-05 05:11:09 | <monochrom> | You can have [forall r. (Int -> r -> r) -> r -> r]. |
| 2021-03-05 05:11:12 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:5cf2:2052:1645:5a49) |
| 2021-03-05 05:12:01 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-05 05:12:17 | <nshepperd2> | the ($) special case is nice but doesn't really seem like a killer app for a whole new type inference |
| 2021-03-05 05:12:39 | <dolio> | It's not that different. |
| 2021-03-05 05:13:24 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-05 05:18:05 | <heck-to-the-gnom> | I'm curious, how practical is it to use something like HOUSE (low-level haskell OS - 1.44mb!!!) on an embedded system, or a smaller board? |
| 2021-03-05 05:18:54 | <heck-to-the-gnom> | Certainly it's not going to replace something like Linux, at least not until it gets a major rewrite and lots of attention, but I'm curious |
| 2021-03-05 05:20:28 | <Lycurgus> | depends on what you mean by embedded system |
| 2021-03-05 05:20:51 | <Lycurgus> | typically the kind of u ctl based thing would be impractical |
All times are in UTC.