Logs: freenode/#haskell
| 2020-11-24 10:35:04 | <bulters> | merijn: hence, my disclaimer |
| 2020-11-24 10:35:11 | <bulters> | I don't even know where it starts and ends! |
| 2020-11-24 10:35:22 | <n0042> | haha |
| 2020-11-24 10:35:30 | <kuribas> | merijn: now that I think about it, what I describe is just an applicative, but where the second form returns a function that takes the result of the first form. |
| 2020-11-24 10:36:01 | <n0042> | You and me both bulters. I'm looking around for some good introductory resources at the moment |
| 2020-11-24 10:36:19 | <bulters> | n0042: at what "level are you reading" right now? |
| 2020-11-24 10:36:25 | <merijn> | For type theory? Benjamin Pierce's Types and Programming Languages |
| 2020-11-24 10:36:49 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 264 seconds) |
| 2020-11-24 10:37:08 | <n0042> | thanks merijn, that sounds appropriate |
| 2020-11-24 10:37:31 | <bulters> | Thanks merijn, that sounds really appropriate |
| 2020-11-24 10:37:45 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2020-11-24 10:37:57 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:188f:f126:4321:8fc1) |
| 2020-11-24 10:38:11 | <__monty__> | bulters: It's not just a type theory introduction, it's *the* type theory introduction : ) |
| 2020-11-24 10:38:32 | <bulters> | ok... thanks you all... you just REALLY destroyed december for my wife... |
| 2020-11-24 10:38:50 | <__monty__> | bulters: Oh, you hadn't heard about Advent of Code yet? |
| 2020-11-24 10:38:58 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 2020-11-24 10:39:02 | <n0042> | bulters: I'm not sure how to answer that question. At a lower level than many of the people in here, I'm sure. |
| 2020-11-24 10:39:03 | <merijn> | __monty__: hah |
| 2020-11-24 10:39:05 | <bulters> | __monty__: sure did! That's what she gave me the approval for :P |
| 2020-11-24 10:39:09 | <kuribas> | merijn: for example: liftA2 (,) form1 (form2 $ \form1Value -> form2Value) |
| 2020-11-24 10:39:14 | <merijn> | __monty__: Life hack, my SO is doing Advent of Code :p |
| 2020-11-24 10:39:19 | × | hseg quits (~gesh@185.120.126.113) (Quit: WeeChat 2.9) |
| 2020-11-24 10:39:53 | <bulters> | merijn: smart... now I just have to find a way to get a tax lawyer interested in AoC :') |
| 2020-11-24 10:40:08 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2020-11-24 10:40:12 | <__monty__> | I'm expecting a lot more participation due to lockdowns and such. |
| 2020-11-24 10:40:44 | <bulters> | __monty__: absolutely... last year we had 21 participants in our office, right now the internal slack channel is at 40. |
| 2020-11-24 10:40:54 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-24 10:41:27 | <kuribas> | merijn: so form2Value depends on what form1 returns |
| 2020-11-24 10:41:47 | <bulters> | n0042: wouldn't be too surprised... I think I managed to forget everything about type theory I learned in uni (some 15 years ago)... that's what industry does to you ;-) |
| 2020-11-24 10:42:06 | × | st8less quits (~st8less@2603:a060:11fd:0:bcc7:6823:7a5:d42) (Quit: WeeChat 2.9) |
| 2020-11-24 10:42:20 | <__monty__> | kuribas: That sounds a lot like a monad though. |
| 2020-11-24 10:42:45 | <kuribas> | __monty__: no, because the monad doesn't know that form2 will exist |
| 2020-11-24 10:43:02 | × | SanchayanMaity quits (~Sanchayan@171.76.82.54) (Quit: SanchayanMaity) |
| 2020-11-24 10:43:03 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-11-24 10:43:44 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 260 seconds) |
| 2020-11-24 10:43:50 | <__monty__> | I'm not sure what you mean. They always occur in pairs? Why does it need to know, optimization? |
| 2020-11-24 10:44:16 | × | p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2020-11-24 10:45:06 | <kuribas> | __monty__: form2 is always there, it's just that it's contents changes based on form1. |
| 2020-11-24 10:45:08 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-11-24 10:45:27 | <n0042> | bulters: Still looking to get my first job in the "industry"! Lots to learn. |
| 2020-11-24 10:45:37 | <kuribas> | __monty__: no, if you have a UI, you want the second form to be already there. |
| 2020-11-24 10:45:55 | <bulters> | n0042: That's really exciting... You're up for a real rollercoaster ride I'd reckon... |
| 2020-11-24 10:46:11 | <bulters> | especially starting in a time where remote work is "the norm" |
| 2020-11-24 10:46:45 | <n0042> | The world does seem to have gone mad |
| 2020-11-24 10:47:01 | <n0042> | But I'm not going to complain about remote work. My room is a nice office |
| 2020-11-24 10:47:14 | <bulters> | I hired an office, just for me... |
| 2020-11-24 10:47:20 | → | SanchayanMaity joins (~Sanchayan@171.76.82.54) |
| 2020-11-24 10:47:31 | <n0042> | Like, you rented a place? |
| 2020-11-24 10:47:38 | <bulters> | yeah, an empty office... |
| 2020-11-24 10:47:43 | <bulters> | friend of mine had one "left"... |
| 2020-11-24 10:48:02 | <bulters> | 5 minute bike ride away, pay like 250 euros per month, including internet, heating, cleaning, etc |
| 2020-11-24 10:48:10 | <n0042> | Is your whole organization gone remote? |
| 2020-11-24 10:48:14 | <bulters> | yep.. |
| 2020-11-24 10:48:19 | <n0042> | wow |
| 2020-11-24 10:48:50 | <bulters> | We allow 10% of the staff to be in the office per day |
| 2020-11-24 10:48:59 | <bulters> | to allow for proper distancing |
| 2020-11-24 10:49:13 | <n0042> | I wonder what the total cost of the whole Covid thing is when you calculate business disruptions like that, world-wide. |
| 2020-11-24 10:49:22 | <merijn> | We have...1 or 2 people in the office? |
| 2020-11-24 10:49:32 | <merijn> | n0042: Uncountable, most likely |
| 2020-11-24 10:49:45 | <dminuoso> | Dunno, Im fairly sure it will be measurable |
| 2020-11-24 10:49:52 | <dminuoso> | But it depends on the exact metric |
| 2020-11-24 10:49:53 | → | nr3rsl joins (nr3rsl@94.63.218.65) |
| 2020-11-24 10:50:17 | <merijn> | dminuoso: I think there's so many indirect effects it's probably not actually measurable in any accurate way |
| 2020-11-24 10:51:05 | <bulters> | We expect to lose 1.5mio (eur) on the fact that we have to work remotely only. |
| 2020-11-24 10:51:53 | <bulters> | So that doesn't factor in added productivity (by some), lost productivity (in others), added supportive costs (extra monitors, physical therapy, new desks for some, etc) |
| 2020-11-24 10:52:20 | <nr3rsl> | Hi guys, i'm looking for haskell programmers to work in portugal any one? |
| 2020-11-24 10:53:35 | <bulters> | ok, so alter from Data.Map.Strict requires (Maybe a -> Maybe a) as first arg, but I just want to update 1 element to a fixed value. Any pointers? |
| 2020-11-24 10:54:23 | <merijn> | bulters: What's wrong with alter? |
| 2020-11-24 10:54:41 | <bulters> | there's nothing wrong with alter... I think... just me using it wrong |
| 2020-11-24 10:55:09 | <n0042> | I am almost certainly not qualified to be taking Haskell jobs nr3rsl but out of curiosity what kinds of things are you hiring people to work on? |
| 2020-11-24 10:56:04 | <bulters> | maralorn: M.alter (Just (left + right)) result m <-- I'd have to wrap the (Just (left + right)) into something that makes it a Maybe a -> Maybe a right? |
| 2020-11-24 10:56:11 | <bulters> | erm... merijn ... mea culpa |
| 2020-11-24 10:56:42 | × | guest112` quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2020-11-24 10:56:51 | <merijn> | "Just (left + right)" is a value, not a function. Where are left/right coming from? |
| 2020-11-24 10:58:20 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-24 10:58:24 | <maralorn> | You know … My first name is "Malte". For a second there I was so confused by this message that I considered it was an accidental highlight because of "M.alter" … |
| 2020-11-24 10:59:06 | <bulters> | merijn: https://gist.github.com/bulters/661a7389d3684826e20791c7019d3bf8 |
| 2020-11-24 10:59:13 | → | mi23523523 joins (~Aman33333@85.253.192.47.cable.starman.ee) |
| 2020-11-24 10:59:43 | <bulters> | (AoC 19, day 2, did stupid implementation earlier, now following random redditor suggesting of optimizing by using Data.IntMap.Strict) |
| 2020-11-24 10:59:52 | <merijn> | bulters: eh, I think you just want M.insert? |
| 2020-11-24 11:00:13 | × | alp quits (~alp@2a01:e0a:58b:4920:ecb1:790b:d951:73b0) (Ping timeout: 272 seconds) |
| 2020-11-24 11:00:15 | <merijn> | alter is for updating a value you haven't looked up yet |
| 2020-11-24 11:00:33 | <bulters> | makes perfect sense... |
| 2020-11-24 11:00:42 | <merijn> | "alter f k" says "replace the value for key 'k' by using the function 'f' to generate the new value" |
| 2020-11-24 11:01:03 | <merijn> | Where 'f' gets Nothing (if no value) or Just (if there's one there) and returns Just (new value) or Nothing (deleted) |
| 2020-11-24 11:01:56 | <bulters> | \o/ Thanks! |
| 2020-11-24 11:02:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-24 11:03:49 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds) |
| 2020-11-24 11:04:15 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2020-11-24 11:07:36 | × | pie_ quits (~pie_bnc]@unaffiliated/pie-/x-0787662) (Ping timeout: 240 seconds) |
| 2020-11-24 11:07:36 | × | vancz quits (~vancz@unaffiliated/vancz) (Ping timeout: 240 seconds) |
| 2020-11-24 11:10:58 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
| 2020-11-24 11:11:48 | → | pie_ joins (~pie_bnc]@unaffiliated/pie-/x-0787662) |
| 2020-11-24 11:11:48 | → | vancz joins (~vancz@unaffiliated/vancz) |
| 2020-11-24 11:13:19 | × | daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Ping timeout: 244 seconds) |
| 2020-11-24 11:14:19 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 2020-11-24 11:15:40 | × | bulters quits (~jeroen@5920ab49.static.cust.trined.nl) (Ping timeout: 246 seconds) |
| 2020-11-24 11:19:05 | × | mi23523523 quits (~Aman33333@85.253.192.47.cable.starman.ee) (Remote host closed the connection) |
| 2020-11-24 11:19:25 | × | lxsameer quits (~lxsameer@unaffiliated/lxsameer) (Ping timeout: 264 seconds) |
| 2020-11-24 11:20:20 | × | pavonia quits (~user@unaffiliated/siracusa) (Read error: Connection reset by peer) |
All times are in UTC.