Logs: freenode/#haskell
| 2021-05-19 01:48:22 | <hiptobecubic> | I've been out of the loop for awhile. What is new and exciting? |
| 2021-05-19 01:48:39 | <superstar64> | hiptobecubic linear types |
| 2021-05-19 01:48:49 | <hiptobecubic> | Oh! really? |
| 2021-05-19 01:49:11 | <hiptobecubic> | is there a blog post that plebian losers can casually read? |
| 2021-05-19 01:49:31 | <hiptobecubic> | I mean a good one. I'm sure there are many blog posts. |
| 2021-05-19 01:49:33 | → | xff0x joins (~xff0x@2001:1a81:53d3:5400:2612:4e5b:698e:1b71) |
| 2021-05-19 01:49:46 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-19 01:50:01 | <Axman6> | haskell-language-server works really well these days |
| 2021-05-19 01:50:08 | <superstar64> | it's a bit old, but there's this https://youtu.be/t0mhvd3-60Y |
| 2021-05-19 01:51:13 | <Axman6> | the engineering around GHC's releases seems to have improved a lot too, and the Haskell Foundation seems to be doign a good job of focusing the efforts of development in many good ways |
| 2021-05-19 01:51:14 | <nshepperd> | superstar64: https://stackoverflow.com/a/33977350 is one impl |
| 2021-05-19 01:51:26 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-19 01:51:46 | <nshepperd> | i could have sworn there was a package called pure-st or something but i can't find it |
| 2021-05-19 01:52:02 | <superstar64> | oh, you don't even need to change the type signature of the ST methods |
| 2021-05-19 01:52:40 | <nshepperd> | right |
| 2021-05-19 01:52:58 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-19 01:54:58 | <superstar64> | "unsafeCoerce is cheating! – Benjamin Hodgson♦ Nov 28 '15 at 22:55" |
| 2021-05-19 01:58:29 | <Axman6> | I wonder if the gosts of deperted proof ideas could make it a little less hacky |
| 2021-05-19 01:58:53 | <Axman6> | ghosts* |
| 2021-05-19 01:59:02 | <ski> | @quote It's.cheating |
| 2021-05-19 01:59:02 | <lambdabot> | orphi says: I still like the quote I saw somewhere: "Haskell isn't programming. It's cheating! You just write what you want and it DOES it!" |
| 2021-05-19 01:59:14 | <ski> | @quote is.like.cheating |
| 2021-05-19 01:59:14 | <lambdabot> | pastah says: the maybe monad is like cheating. everything is so awesomelly easy. |
| 2021-05-19 01:59:41 | <hiptobecubic> | Glad to see SPJ's still doing everything in comic sans |
| 2021-05-19 02:00:24 | <a6a45081-2b83> | what am I doing wrong here?: `foo :: Monad m => ProgressBar s1 -> v -> StateT s m ()`, getting couldn't match `s` with `Maybe Int`; expected = `StateT s m ()`, actual = `StateT (Maybe Int) (ReaderT backend0 m1) ()` |
| 2021-05-19 02:01:07 | <a6a45081-2b83> | AFAIK it should accept s = Maybe Int and Monad m => m = ReaderT backend0 m1 ... |
| 2021-05-19 02:01:35 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 02:02:21 | × | CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 2021-05-19 02:03:13 | <ski> | evidently your implementation of `foo' doesn't work for all `s' and all `m's (that are instances of `Monad'), which is what your type signature claims it does |
| 2021-05-19 02:03:36 | <a6a45081-2b83> | okay so I have to be strict about the types IOW |
| 2021-05-19 02:04:43 | <ski> | heh, yea |
| 2021-05-19 02:05:36 | <ski> | "works for all types `s'" is very different from "works for some particular type `s'" |
| 2021-05-19 02:06:08 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-19 02:06:10 | × | Guest91197 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 02:06:37 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 02:06:51 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-19 02:07:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-05-19 02:09:38 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-19 02:11:06 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-19 02:11:32 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 02:11:33 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Read error: Connection reset by peer) |
| 2021-05-19 02:11:56 | tim | is now known as Guest64747 |
| 2021-05-19 02:12:02 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-19 02:14:51 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-19 02:15:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-19 02:18:27 | → | toast52 joins (97c0a778@151.192.167.120) |
| 2021-05-19 02:18:40 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 258 seconds) |
| 2021-05-19 02:19:28 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-19 02:19:31 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-19 02:19:32 | → | ozzymcdu_ joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-19 02:19:36 | → | maylee joins (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) |
| 2021-05-19 02:21:35 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-19 02:22:16 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-19 02:22:16 | finn_elija | is now known as Guest30168 |
| 2021-05-19 02:22:16 | FinnElija | is now known as finn_elija |
| 2021-05-19 02:22:36 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-19 02:25:23 | × | filwisher quits (~filwisher@78.141.201.45) (Ping timeout: 246 seconds) |
| 2021-05-19 02:25:33 | × | Guest30168 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-19 02:25:37 | <toast52> | hello! I need some help static linking C code using cabal |
| 2021-05-19 02:26:05 | × | tjbp quits (~tom@2001:19f0:7400:8d4c:5400:2ff:fe2c:5662) (Ping timeout: 250 seconds) |
| 2021-05-19 02:26:14 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Remote host closed the connection) |
| 2021-05-19 02:26:57 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-19 02:27:01 | × | miklcct quits (quasselcor@miklcct.com) (Ping timeout: 276 seconds) |
| 2021-05-19 02:28:37 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-05-19 02:29:12 | → | toast5275 joins (97c0a778@151.192.167.120) |
| 2021-05-19 02:29:30 | <pavonia> | toast52: Whats the issue? |
| 2021-05-19 02:30:42 | × | toast52 quits (97c0a778@151.192.167.120) (Ping timeout: 240 seconds) |
| 2021-05-19 02:30:49 | <hiptobecubic> | Are folks actually writing things in linear haskell? |
| 2021-05-19 02:31:01 | toast5275 | is now known as toast52 |
| 2021-05-19 02:31:18 | <Axman6> | I think Facebook are, they published a paper recently |
| 2021-05-19 02:31:32 | <hololeap> | i haven't even touched ghc 9 yet |
| 2021-05-19 02:31:54 | <hololeap> | edwardk is |
| 2021-05-19 02:32:22 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-19 02:32:28 | <hiptobecubic> | Sure, but he is often writing things that normies do not. |
| 2021-05-19 02:32:40 | → | miklcct joins (quasselcor@miklcct.com) |
| 2021-05-19 02:32:53 | <hololeap> | folks = normies -- got it |
| 2021-05-19 02:33:16 | <hiptobecubic> | well there are certainly levels of norminess |
| 2021-05-19 02:33:29 | → | tjbp joins (~tom@78.141.197.43) |
| 2021-05-19 02:33:48 | → | filwisher joins (~filwisher@78.141.201.45) |
| 2021-05-19 02:33:59 | <hiptobecubic> | If you're lurking in here you are at least one or two levels above normie. But some folks are clearly normier than others. |
| 2021-05-19 02:34:54 | <hololeap> | i would like to play around with linear types just to get a feel for it, then i might see a place where it would fit well in my code. but it's mostly just a novelty to me |
| 2021-05-19 02:37:11 | <hololeap> | aren't linear types essentially how rust handles memory management? |
| 2021-05-19 02:37:25 | <hiptobecubic> | Yes |
| 2021-05-19 02:37:37 | <toast52> | pavonia: I've written a small function in C compiled to a .o file. I think I understand the `foreign import ccall ...` syntax within the haskell source file. But how do I specify linking in the .o file at compile time within my cabal config? |
| 2021-05-19 02:39:28 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-05-19 02:41:04 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 02:44:11 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-yvifpnpfisssiqhx) () |
| 2021-05-19 02:45:04 | × | theDon quits (~td@muedsl-82-207-238-185.citykom.de) (Ping timeout: 268 seconds) |
| 2021-05-19 02:45:40 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-19 02:46:30 | → | theDon joins (~td@muedsl-82-207-238-018.citykom.de) |
| 2021-05-19 02:48:51 | → | mayleesia joins (~mayleesia@dynamic-078-055-186-201.78.55.pool.telefonica.de) |
| 2021-05-19 02:49:24 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-uiyvwgqmgltrwigi) (Quit: Connection closed for inactivity) |
| 2021-05-19 02:53:05 | × | maylee quits (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2021-05-19 02:54:29 | × | miklcct quits (quasselcor@miklcct.com) (Remote host closed the connection) |
| 2021-05-19 02:55:26 | × | filwisher quits (~filwisher@78.141.201.45) (Ping timeout: 265 seconds) |
| 2021-05-19 02:55:34 | × | tjbp quits (~tom@78.141.197.43) (Ping timeout: 252 seconds) |
| 2021-05-19 02:55:50 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 02:58:54 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-19 02:59:27 | → | tjbp joins (~tom@2001:19f0:7400:8d4c:5400:2ff:fe2c:5662) |
| 2021-05-19 02:59:31 | → | miklcct joins (quasselcor@miklcct.com) |
All times are in UTC.