Logs: liberachat/#haskell
| 2021-07-25 23:07:50 | <hpc> | ah right |
| 2021-07-25 23:09:06 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-07-25 23:09:42 | <geekosaur> | also /dev/null worked for me here |
| 2021-07-25 23:09:55 | <geekosaur> | which is why I asked for a paste of what you're doing |
| 2021-07-25 23:10:06 | × | mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Quit: Leaving) |
| 2021-07-25 23:12:19 | <delYsid> | geekosaur: https://blind.guru/UCI.hs function start' |
| 2021-07-25 23:14:26 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-25 23:18:33 | <delYsid> | I guess I can only just write the draining code, but it looks like this should actually work. |
| 2021-07-25 23:18:48 | <delYsid> | s/only/also/ |
| 2021-07-25 23:19:21 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:8db8:987d:36eb:f1a6) |
| 2021-07-25 23:20:55 | <hpc> | ugh, it has a download-y content-disposition |
| 2021-07-25 23:21:23 | <hpc> | oh |
| 2021-07-25 23:21:42 | <hpc> | in your createProcess_ you aren't putting it into the process properties thingy |
| 2021-07-25 23:21:56 | <hpc> | you just have (proc cmd args) |
| 2021-07-25 23:22:07 | <hpc> | ( |
| 2021-07-25 23:22:09 | <hpc> | er |
| 2021-07-25 23:22:44 | <hpc> | you want (proc cmd args {std_err = UseHandle devNull}) |
| 2021-07-25 23:22:52 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 250 seconds) |
| 2021-07-25 23:23:19 | <hpc> | or maybe outside the parens |
| 2021-07-25 23:23:30 | <hpc> | there's an example on https://hackage.haskell.org/package/process-1.6.12.0/docs/System-Process.html#v:createProcess for std_out |
| 2021-07-25 23:23:58 | <hpc> | ... i just saw the open squiggly brace |
| 2021-07-25 23:24:01 | hpc | dies of embarassment |
| 2021-07-25 23:24:20 | × | acidjnk quits (~acidjnk@p200300d0c72b9549b83720658b9c4b74.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-07-25 23:25:09 | <delYsid> | I think I do the record update right :-) |
| 2021-07-25 23:25:36 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-25 23:25:59 | × | ikex quits (ash@user/ikex) (Quit: ZNC - https://znc.in) |
| 2021-07-25 23:26:07 | <hpc> | yeah, that code looks like it should work |
| 2021-07-25 23:26:12 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-25 23:26:13 | → | ikex joins (ash@user/ikex) |
| 2021-07-25 23:26:53 | <delYsid> | It compiles, but laughs at me when I run it. So much about "it builds, so ship it!" |
| 2021-07-25 23:29:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-25 23:30:11 | → | pesada joins (~agua@2804:18:4f:4b5e:1:0:5480:48f9) |
| 2021-07-25 23:31:46 | → | fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2021-07-25 23:31:58 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2021-07-25 23:32:11 | <delYsid> | gah, never mind, I am an idiot. |
| 2021-07-25 23:32:27 | <delYsid> | sorry for wasting your time <facepalm> |
| 2021-07-25 23:32:31 | <hpc> | what was it? |
| 2021-07-25 23:32:48 | <hpc> | testing the wrong code? |
| 2021-07-25 23:32:50 | × | agua quits (~agua@191.177.175.57) (Ping timeout: 256 seconds) |
| 2021-07-25 23:32:54 | × | vicfred_ quits (~vicfred@fixed-187-190-192-58.totalplay.net) (Ping timeout: 265 seconds) |
| 2021-07-25 23:33:17 | <delYsid> | I was remembering the external processes behaviour wrongly. It writes its banner to stdout actually... |
| 2021-07-25 23:33:25 | <hpc> | hah |
| 2021-07-25 23:33:49 | <hpc> | i hate when that sort of thing happens |
| 2021-07-25 23:36:58 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-25 23:37:32 | <delYsid> | Today lesson: Trust your compiler! |
| 2021-07-25 23:37:40 | <eltonpinto> | yee |
| 2021-07-25 23:37:52 | × | Null_A quits (~null_a@2601:645:8700:2290:fccc:f134:46b0:cde6) (Remote host closed the connection) |
| 2021-07-25 23:40:02 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-25 23:40:59 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:8db8:987d:36eb:f1a6) (Ping timeout: 255 seconds) |
| 2021-07-25 23:42:18 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-25 23:42:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-25 23:43:16 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-07-25 23:43:23 | <delYsid> | silence = const $ pure () |
| 2021-07-25 23:43:34 | <delYsid> | gnight :-) |
| 2021-07-25 23:44:18 | → | Null_A joins (~null_a@2601:645:8700:2290:fccc:f134:46b0:cde6) |
| 2021-07-25 23:45:23 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-25 23:46:53 | × | nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-25 23:46:59 | × | jushur quits (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2021-07-25 23:48:47 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-25 23:49:22 | → | vsiddharth joins (~user@23.252.50.92) |
| 2021-07-25 23:51:12 | <vsiddharth> | Hi everyone! I'm trying to use Alternative with Maybe, but in the instance that both values are Just, then I apply a function. Right now I have `liftA2 f a b <|> a <|> b`. Is there a more obvious way of doing this? |
| 2021-07-25 23:52:41 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 255 seconds) |
| 2021-07-25 23:55:21 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-25 23:55:22 | <hpc> | (f <$> a <*> b) <|> a <|> b, if you just want syntactic regularity |
| 2021-07-25 23:55:44 | <hpc> | but that seems perfectly fine to me, i would stop golfing it there if i was writing it |
| 2021-07-25 23:55:46 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-07-25 23:55:57 | <vsiddharth> | Thanks hpc! |
| 2021-07-25 23:56:21 | → | nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-25 23:58:09 | <monochrom> | Perhaps you also like: https://hackage.haskell.org/package/these |
| 2021-07-25 23:58:22 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-25 23:58:44 | × | hololeap quits (~hololeap@user/hololeap) (Quit: Bye) |
| 2021-07-25 23:58:51 | <arkanoid> | out of curiosity, what's the haskell feature that required most phd brain power? "deriving" seems magic to me |
| 2021-07-25 23:59:40 | <monochrom> | The Haskell 2010 Report details what deriving does. It's highly mechanical and boring. |
| 2021-07-25 23:59:48 | <arkanoid> | oh :( |
| 2021-07-25 23:59:58 | <arkanoid> | well, wrong guess |
| 2021-07-26 00:00:46 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-26 00:00:48 | <monochrom> | And many conditions apply, so it doesn't have to solve any interesting problem. |
| 2021-07-26 00:01:36 | <janus> | arkanoid: what about TypeFamilies or RankNTypes? |
| 2021-07-26 00:03:40 | <DigitalKiwi> | surely the answer is monads |
| 2021-07-26 00:04:04 | <janus> | there are a lot of monad papers for sure https://wiki.haskell.org/Research_papers/Monads_and_arrows |
| 2021-07-26 00:04:07 | <arkanoid> | RankNTypes smells like heavy lifting, but unsure |
| 2021-07-26 00:04:30 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-26 00:06:15 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 276 seconds) |
| 2021-07-26 00:08:33 | <dsal> | arkanoid: You might enjoy Thinking With Types |
| 2021-07-26 00:08:42 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-26 00:09:00 | <arkanoid> | I'm reading this now: http://dev.stephendiehl.com/hask/tutorial.pdf |
| 2021-07-26 00:09:38 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds) |
| 2021-07-26 00:09:57 | <arkanoid> | I've left "Category theory for programmers" in standby as I needed to teach myself at least some haskell first |
| 2021-07-26 00:10:12 | <janus> | it's probably an unfair question because a phd candidate would maybe have had an easier time getting stuff merged in 1994.. while many newer theses will have a prototype that doesn't get merged? |
| 2021-07-26 00:10:17 | <dsal> | Heh. The title of that vs. the size seems like quite a contradiction. |
| 2021-07-26 00:12:08 | × | finsternis quits (~X@23.226.237.192) (Remote host closed the connection) |
| 2021-07-26 00:12:23 | <janus> | is there a list of Thesises on haskell anywhere? can't find it on the wiki. but there is one: "Execution profiling for non-strict functional languages" by P Sansom, University of Glasgow, 1994 |
| 2021-07-26 00:12:26 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-26 00:13:22 | <arkanoid> | I've found the introductory paper about Monads for functional programming by Prof. Moggi |
| 2021-07-26 00:13:34 | <janus> | it introduces "cost centres" so sounds like it is the system that is in use now |
| 2021-07-26 00:14:00 | <janus> | arkanoid: but was he a phd student when he did it? ;) |
| 2021-07-26 00:15:05 | <janus> | Eisenberg also wrote a thesis on Dependent Haskell, but given that it isn't available yet, i guess it doesn't count? :P |
| 2021-07-26 00:15:30 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 240 seconds) |
| 2021-07-26 00:15:46 | <janus> | the Clash HDL language was documented in a master's thesis, so also disqualified |
| 2021-07-26 00:16:15 | <dsal> | "What I Wish I Knew When Learning Haskell" includes a section on polysemy, proxies, liquid haskell, … It should just be named "Everything I've figured out so far." |
All times are in UTC.