Logs: freenode/#haskell
| 2021-05-14 21:51:25 | <monochrom> | But there is always "undefined" as a stub. |
| 2021-05-14 21:51:58 | <monochrom> | "if True then True else undefined" allows you to test one branch right away. |
| 2021-05-14 21:52:44 | <monochrom> | or s/undefined/error "TODO"/ if you like |
| 2021-05-14 21:53:17 | × | bitmagie quits (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-14 21:54:14 | → | Alleria__ joins (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) |
| 2021-05-14 21:54:19 | <monochrom> | -fdefer-type-errors is so deep that if you have "if True then True else f 10" and you haven't even started defining f yet, it's OK. |
| 2021-05-14 21:54:50 | <Andriamanitra> | interesting |
| 2021-05-14 21:58:55 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 2021-05-14 22:00:00 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-14 22:00:09 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-14 22:02:25 | → | Guest87676 joins (~laudiacay@45.162.228.190) |
| 2021-05-14 22:02:56 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 22:03:31 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-14 22:04:09 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-14 22:04:31 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-14 22:05:09 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 22:05:34 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-05-14 22:05:55 | ← | cmburnett parts (~Charlie_B@c-73-37-184-238.hsd1.mn.comcast.net) () |
| 2021-05-14 22:08:33 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-14 22:09:31 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 22:09:50 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 2021-05-14 22:10:08 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 22:10:24 | → | cmburnett1 joins (~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net) |
| 2021-05-14 22:11:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-05-14 22:11:43 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 22:12:31 | <cmburnett1> | Is there a recommended way to access raw bytes (i.e. for interacting with embedded stuff) or do you just call C as a foreign function? |
| 2021-05-14 22:12:33 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-14 22:12:50 | × | Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 268 seconds) |
| 2021-05-14 22:12:53 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 22:13:04 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 22:13:30 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-14 22:13:31 | <monochrom> | Look into Foreign.Ptr etc |
| 2021-05-14 22:14:05 | <monochrom> | and Foreign.Storable |
| 2021-05-14 22:14:18 | → | aerona joins (~aerona@2600:6c54:4600:f300:b5ff:7564:82ff:9355) |
| 2021-05-14 22:15:07 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 22:15:17 | <monochrom> | and Foreign.Marshal.* |
| 2021-05-14 22:16:32 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-14 22:17:03 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-14 22:20:12 | <cmburnett1> | Okie dokey, thanks! That looks exactly like what I was looking for |
| 2021-05-14 22:20:29 | <davean> | cmburnett1: accessing raw bytes with Haskell works smoothly IME |
| 2021-05-14 22:20:30 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-14 22:20:47 | <cmburnett1> | IME? |
| 2021-05-14 22:21:22 | <davean> | In My Experience |
| 2021-05-14 22:22:07 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 22:24:17 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 2021-05-14 22:24:39 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-14 22:25:16 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 22:27:13 | <cmburnett1> | Oh duh, sorry |
| 2021-05-14 22:27:47 | → | nighmi joins (~felix@port-92-196-15-14.dynamic.as20676.net) |
| 2021-05-14 22:29:13 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 22:29:22 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds) |
| 2021-05-14 22:30:34 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 2021-05-14 22:33:44 | → | Guest87676 joins (~laudiacay@45.162.228.190) |
| 2021-05-14 22:35:26 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 2021-05-14 22:35:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-14 22:36:38 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-05-14 22:37:03 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-14 22:37:49 | ← | cmburnett1 parts (~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net) () |
| 2021-05-14 22:38:41 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 240 seconds) |
| 2021-05-14 22:39:09 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2021-05-14 22:39:34 | <maerwald> | a pretty common internet expression :p |
| 2021-05-14 22:39:47 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 2021-05-14 22:40:01 | × | falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-14 22:40:47 | <monochrom> | YMMV IANAL TIA KTHXBYE |
| 2021-05-14 22:42:19 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 2021-05-14 22:49:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 22:49:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 22:50:11 | × | Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 260 seconds) |
| 2021-05-14 22:51:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 22:54:24 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection) |
| 2021-05-14 22:54:28 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 22:54:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-14 22:54:33 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-14 22:55:02 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 2021-05-14 22:56:35 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 2021-05-14 22:56:53 | × | alx741 quits (~alx741@181.196.68.14) (Ping timeout: 240 seconds) |
| 2021-05-14 22:56:57 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 22:58:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-14 22:58:42 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 22:59:09 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 2021-05-14 22:59:13 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-14 22:59:41 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-14 23:01:40 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-14 23:08:49 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-14 23:09:39 | → | chimera_ joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 2021-05-14 23:10:15 | → | alx741 joins (~alx741@186.178.108.187) |
| 2021-05-14 23:10:50 | × | chimera quits (~chimera@120-192-113-92.pool.ukrtel.net) (Ping timeout: 246 seconds) |
| 2021-05-14 23:11:54 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-05-14 23:14:26 | × | carlomagno quits (~cararell@148.87.23.9) (Quit: Leaving.) |
| 2021-05-14 23:18:32 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 2021-05-14 23:20:50 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-14 23:22:54 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 2021-05-14 23:24:53 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 23:25:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 23:27:46 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
| 2021-05-14 23:29:44 | × | CrazyPython quits (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 23:30:16 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-14 23:36:35 | × | chimera_ quits (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-14 23:36:39 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-14 23:37:26 | → | CrazyPython joins (~crazypyth@206.214.238.7) |
All times are in UTC.