Logs: freenode/#haskell
| 2020-10-17 22:27:05 | → | GyroW_ joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-17 22:27:19 | <dolio> | No problem. |
| 2020-10-17 22:27:34 | <CodeWeaver> | I may be dancing around like a maniac now. :) |
| 2020-10-17 22:27:34 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds) |
| 2020-10-17 22:28:04 | → | worc3131 joins (~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786) |
| 2020-10-17 22:28:37 | → | Jonkimi727406120 joins (~Jonkimi@223.213.79.20) |
| 2020-10-17 22:29:42 | × | mananamenos_ quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Quit: Leaving) |
| 2020-10-17 22:30:11 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-17 22:31:25 | × | Kira_ quits (~Kira@201.192.165.173) (Quit: WeeChat 2.9) |
| 2020-10-17 22:33:07 | × | Jonkimi727406120 quits (~Jonkimi@223.213.79.20) (Ping timeout: 260 seconds) |
| 2020-10-17 22:33:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-17 22:33:53 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2020-10-17 22:34:02 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 22:35:04 | × | ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection) |
| 2020-10-17 22:35:40 | × | fxg quits (~fxg@unaffiliated/fxg) (Ping timeout: 246 seconds) |
| 2020-10-17 22:35:44 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Ping timeout: 272 seconds) |
| 2020-10-17 22:35:44 | × | fragamus quits (~michaelgo@73.93.152.141) (Ping timeout: 272 seconds) |
| 2020-10-17 22:36:22 | → | ephemera_ joins (~E@122.34.1.187) |
| 2020-10-17 22:36:41 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-17 22:37:00 | → | Chef joins (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2020-10-17 22:37:03 | × | Chef quits (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2020-10-17 22:37:18 | → | Guy joins (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2020-10-17 22:38:01 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds) |
| 2020-10-17 22:38:26 | <Guy> | Hello :) |
| 2020-10-17 22:38:41 | <CodeWeaver> | Hi. |
| 2020-10-17 22:39:21 | <[exa]> | CodeWeaver: unbelievable how MR hides right. :] |
| 2020-10-17 22:40:28 | <CodeWeaver> | exa: Not something one has to fight with in a lot of other languages, and arguably, something you almost don't have to think about even in this one. Until it bites you. |
| 2020-10-17 22:40:58 | × | jkachmar quits (uid226591@gateway/web/irccloud.com/x-veduxhoxxqmbqgpm) (Quit: Connection closed for inactivity) |
| 2020-10-17 22:45:47 | × | hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-10-17 22:46:51 | → | hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-17 22:46:58 | hackage | core-program 0.2.5.0 - Opinionated Haskell Interoperability https://hackage.haskell.org/package/core-program-0.2.5.0 (AndrewCowie) |
| 2020-10-17 22:47:01 | × | hiroaki quits (~hiroaki@2a02:908:4b18:e20::dd5c) (Ping timeout: 272 seconds) |
| 2020-10-17 22:47:58 | hackage | unbeliever 0.10.0.7 - Opinionated Haskell Interoperability https://hackage.haskell.org/package/unbeliever-0.10.0.7 (AndrewCowie) |
| 2020-10-17 22:49:29 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-17 22:49:38 | × | addcninblue quits (~addison@c-73-158-198-149.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-17 22:49:44 | → | fxg joins (~fxg@unaffiliated/fxg) |
| 2020-10-17 22:50:18 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 272 seconds) |
| 2020-10-17 22:50:31 | → | Tario joins (~Tario@200.119.184.9) |
| 2020-10-17 22:50:47 | × | emmanuel_erc quits (~user@2604:2000:1382:ce03:c90a:9d9:2f5d:e50) (Ping timeout: 260 seconds) |
| 2020-10-17 22:50:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-10-17 22:50:56 | × | fxg quits (~fxg@unaffiliated/fxg) (Client Quit) |
| 2020-10-17 22:55:01 | → | alp_ joins (~alp@2a01:e0a:58b:4920:8ddf:af03:d4f2:1b4c) |
| 2020-10-17 22:55:25 | × | ensyde quits (~ensyde@2600:1702:2e30:1a40:e1f9:6cbb:4eca:3c84) (Ping timeout: 240 seconds) |
| 2020-10-17 22:56:26 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-17 22:58:45 | × | ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection) |
| 2020-10-17 22:58:49 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72378290964073eddc5c406.dip0.t-ipconnect.de) |
| 2020-10-17 22:58:49 | × | Guy quits (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) (Ping timeout: 245 seconds) |
| 2020-10-17 22:58:52 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 23:00:06 | → | ephemera_ joins (~E@122.34.1.187) |
| 2020-10-17 23:00:08 | → | jkachmar joins (uid226591@gateway/web/irccloud.com/x-sjqizjclmhyizvlx) |
| 2020-10-17 23:00:13 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2020-10-17 23:01:49 | → | Jonkimi727406120 joins (~Jonkimi@223.213.79.20) |
| 2020-10-17 23:01:55 | × | acidjnk_new quits (~acidjnk@p200300d0c72378540964073eddc5c406.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-17 23:02:49 | → | djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) |
| 2020-10-17 23:03:18 | → | Guy joins (4c68d95d@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2020-10-17 23:03:41 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-10-17 23:04:55 | × | ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection) |
| 2020-10-17 23:04:58 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-10-17 23:06:15 | → | ephemera_ joins (~E@122.34.1.187) |
| 2020-10-17 23:06:33 | × | Jonkimi727406120 quits (~Jonkimi@223.213.79.20) (Ping timeout: 260 seconds) |
| 2020-10-17 23:06:49 | → | conal joins (~conal@64.71.133.70) |
| 2020-10-17 23:06:49 | × | Tario quits (~Tario@200.119.184.9) (Read error: Connection reset by peer) |
| 2020-10-17 23:07:28 | × | Guest98505 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-10-17 23:07:46 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-10-17 23:09:32 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 23:10:17 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-10-17 23:11:13 | → | chris joins (~chris@81.96.113.213) |
| 2020-10-17 23:11:36 | chris | is now known as Guest36918 |
| 2020-10-17 23:11:38 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-10-17 23:13:49 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-10-17 23:14:22 | → | jneira joins (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) |
| 2020-10-17 23:14:47 | → | dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2020-10-17 23:15:14 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-10-17 23:18:15 | → | larou joins (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) |
| 2020-10-17 23:18:24 | × | da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-17 23:18:26 | <larou> | i have awesome code! |
| 2020-10-17 23:18:43 | <larou> | look look! |
| 2020-10-17 23:18:44 | <larou> | https://pastebin.com/raw/Yzd5rZsB |
| 2020-10-17 23:19:35 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-17 23:21:08 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2020-10-17 23:21:14 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer) |
| 2020-10-17 23:21:20 | → | fragamus joins (~michaelgo@73.93.155.44) |
| 2020-10-17 23:21:27 | <larou> | this is all supposed to go at type level |
| 2020-10-17 23:21:30 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 2020-10-17 23:21:42 | <larou> | its a container you can only construct to have links |
| 2020-10-17 23:22:07 | <larou> | the term level thing thats supposed to use this, should tie the knot over these links |
| 2020-10-17 23:22:11 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-10-17 23:22:26 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2020-10-17 23:22:39 | <larou> | its a list, of Maybe Nats, where they are in pairs |
| 2020-10-17 23:22:47 | <larou> | of Nats pointing to each other |
| 2020-10-17 23:22:56 | <larou> | ie, if a Nat is at some position in the list |
| 2020-10-17 23:23:07 | <larou> | then at the position this Nat corresponds to |
| 2020-10-17 23:23:19 | <larou> | should contain a Nat corresponding to the first position |
| 2020-10-17 23:23:31 | <larou> | ... |
| 2020-10-17 23:23:39 | <larou> | so now there can be a doubly linked list |
| 2020-10-17 23:23:44 | <larou> | *with extra links!* |
| 2020-10-17 23:24:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-17 23:24:15 | <larou> | these are like semicircles underneath the list connecting pairs of elements |
| 2020-10-17 23:24:39 | <larou> | probably i could extend this to having multiple links per node, but for now this is complex enough |
| 2020-10-17 23:25:44 | <larou> | i made a paste yesterday that showed that the constraints at type level work for the smart constructors... |
All times are in UTC.