Logs: freenode/#haskell
| 2021-05-03 19:55:16 | → | dcoutts joins (~dcoutts@unaffiliated/dcoutts) |
| 2021-05-03 19:55:16 | → | whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 2021-05-03 19:55:16 | → | bobbytables joins (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) |
| 2021-05-03 19:55:16 | → | ridcully_ joins (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 2021-05-03 19:55:16 | → | kadoban joins (~mud@unaffiliated/kadoban) |
| 2021-05-03 19:55:16 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 2021-05-03 19:55:16 | → | ajc joins (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) |
| 2021-05-03 19:55:16 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 2021-05-03 19:55:16 | → | _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-05-03 19:55:16 | → | Uma joins (~uma@umazalakain.info) |
| 2021-05-03 19:55:16 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-03 19:55:16 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-05-03 19:55:16 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 2021-05-03 19:55:16 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 2021-05-03 19:55:16 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-05-03 19:55:16 | → | lemald joins (~eddie@capybara.lemald.org) |
| 2021-05-03 19:55:16 | → | LambdaDuck joins (~anka@ksit.fixme.fi) |
| 2021-05-03 19:55:16 | → | _xor joins (~xor@74.215.46.133) |
| 2021-05-03 19:55:16 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 2021-05-03 19:55:16 | → | sudden joins (~lax@unaffiliated/laxask) |
| 2021-05-03 19:55:16 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-05-03 19:55:21 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Max SendQ exceeded) |
| 2021-05-03 19:55:21 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Max SendQ exceeded) |
| 2021-05-03 19:55:22 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Max SendQ exceeded) |
| 2021-05-03 19:55:22 | × | kadoban quits (~mud@unaffiliated/kadoban) (Max SendQ exceeded) |
| 2021-05-03 19:55:26 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-05-03 19:55:26 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 2021-05-03 19:55:26 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-05-03 19:55:33 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-03 19:55:42 | → | kadoban joins (~mud@unaffiliated/kadoban) |
| 2021-05-03 19:55:47 | → | LKoen joins (~LKoen@213.166.9.109.rev.sfr.net) |
| 2021-05-03 19:56:11 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Ping timeout: 240 seconds) |
| 2021-05-03 19:56:26 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 19:59:01 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 20:04:52 | → | ddellac__ joins (~ddellacos@86.106.143.148) |
| 2021-05-03 20:05:12 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-05-03 20:05:22 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-03 20:06:49 | → | daniil joins (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) |
| 2021-05-03 20:07:40 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-05-03 20:10:45 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-03 20:11:18 | → | alx741 joins (~alx741@181.196.69.213) |
| 2021-05-03 20:15:41 | × | unyu quits (~pyon@unaffiliated/pyon) (Ping timeout: 240 seconds) |
| 2021-05-03 20:16:55 | × | ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 2021-05-03 20:19:37 | → | ystael joins (~ystael@209.6.50.55) |
| 2021-05-03 20:22:47 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 20:23:46 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-03 20:24:58 | → | Guest50015 joins (~zmv@unaffiliated/zmv) |
| 2021-05-03 20:25:54 | ← | seven_th` parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-03 20:26:15 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-03 20:26:36 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-03 20:27:05 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-05-03 20:27:36 | × | ddellac__ quits (~ddellacos@86.106.143.148) (Remote host closed the connection) |
| 2021-05-03 20:27:42 | → | safinaskar joins (6dfc5a88@109.252.90.136) |
| 2021-05-03 20:28:06 | <safinaskar> | > 0 |
| 2021-05-03 20:28:08 | <lambdabot> | 0 |
| 2021-05-03 20:28:27 | × | yalm quits (~yalm@unaffiliated/yalm) (Ping timeout: 246 seconds) |
| 2021-05-03 20:30:08 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b9513753d70683e7df124.dip0.t-ipconnect.de) |
| 2021-05-03 20:31:30 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 20:31:50 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 20:32:38 | <NemesisD> | is it possible to get type-level info with generics just with a type or proxy to a type? for example, i want to get `packageName` of a given type |
| 2021-05-03 20:32:40 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-03 20:33:02 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-03 20:33:32 | → | yalm joins (~yalm@unaffiliated/yalm) |
| 2021-05-03 20:33:38 | × | yalm quits (~yalm@unaffiliated/yalm) (Client Quit) |
| 2021-05-03 20:36:49 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-03 20:37:15 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 20:38:44 | <safinaskar> | why this does not compile? https://paste.tomsmeding.com/xoTwfmza |
| 2021-05-03 20:39:39 | → | ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 20:39:46 | → | martin02 joins (silas@hund.fs.lmu.de) |
| 2021-05-03 20:40:18 | <tomsmeding> | safinaskar: data constructors must be either a word that start with a capital letter, or an operator that starts with the ':' symbol |
| 2021-05-03 20:40:41 | × | alx741 quits (~alx741@181.196.69.213) (Ping timeout: 240 seconds) |
| 2021-05-03 20:40:43 | <tomsmeding> | and operator-style constructors are only allowed using the TypeOperators language extension |
| 2021-05-03 20:41:01 | <tomsmeding> | scratch that |
| 2021-05-03 20:41:03 | <shapr> | lambdabot: @quote |
| 2021-05-03 20:41:03 | <lambdabot> | conal says: omg -- i can print right from emacs again. praise be to Linux! |
| 2021-05-03 20:41:05 | <tomsmeding> | you don't need the extension for that |
| 2021-05-03 20:42:45 | <safinaskar> | tomsmeding: thanks. is it possible to enable any symbol combinations? |
| 2021-05-03 20:43:06 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 2021-05-03 20:43:16 | <tomsmeding> | shapr: a few years ago in my first year of university, I once piped something to lpr on their machine and told them to walk to the printer. They walked away disbelieving but came back with a big grin on their face |
| 2021-05-03 20:43:37 | × | rodriga quits (~quassel@134.204.25.66) (Ping timeout: 252 seconds) |
| 2021-05-03 20:43:53 | <tomsmeding> | safinaskar: to allow operator-style data constructors that don't start with a ':'? no that's not possible currently |
| 2021-05-03 20:44:29 | <tomsmeding> | ':' is the "capital symbol" just like A-Z are the capital letters, according to GHC |
| 2021-05-03 20:44:42 | <tomsmeding> | and you can't define a data constructor that starts with a lowercase letter either :) |
| 2021-05-03 20:44:42 | <shapr> | tomsmeding: related, I tried very hard to do the ethical thing and pay per page for printing from my Linux system at university. When I told uni IT that I could just print for free and wanted to pay for it, they laughed and said it wasn't my problem. |
| 2021-05-03 20:44:55 | <tomsmeding> | :D |
| 2021-05-03 20:45:09 | <safinaskar> | tomsmeding: " ':' is the "capital symbol" just like A-Z are the capital letters, according to GHC " - OMG |
| 2021-05-03 20:45:15 | <safinaskar> | tomsmeding: thanks |
| 2021-05-03 20:45:18 | × | LKoen quits (~LKoen@213.166.9.109.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-05-03 20:45:20 | <tomsmeding> | never heard of capital symbols? :) |
| 2021-05-03 20:45:47 | <shapr> | My uni also had OpenDNS or whatever thing let you blacklist certain DNS names, many of my classmates were paying for VPNs so they could get around it. When I taught them how DNS worked, they saved a bunch of money. |
| 2021-05-03 20:46:45 | <shapr> | I later heard the computer departments breathed a sigh of relief when I graduated. |
| 2021-05-03 20:46:52 | <pjb> | :-) |
| 2021-05-03 20:46:57 | <tomsmeding> | hah they didn't block anything at my uni fortunately, at least that I know |
| 2021-05-03 20:48:12 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-03 20:48:30 | <shapr> | Uni accounts were locked if you used the wrong password three times. They were horrified when I described to them how easy that made it to lock all instructor accounts every few seconds. |
| 2021-05-03 20:48:52 | × | knupfer quits (~Thunderbi@200116b82b019d00dd62579678e85afe.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 2021-05-03 20:50:10 | <shapr> | I restarted my bachelor's degree at age 40, all my instructors were younger than me and had far less real world programming clue. That was a weird experience for everyone involved. |
| 2021-05-03 20:50:19 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:4e3c:4dff:95c7:fb8) (Ping timeout: 260 seconds) |
| 2021-05-03 20:50:31 | <tomsmeding> | I believe that would still work perfectly at my uni today |
| 2021-05-03 20:50:38 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
All times are in UTC.