Logs: liberachat/#haskell
| 2025-10-30 09:53:14 | <tomsmeding> | i.e. I don't care |
| 2025-10-30 09:53:54 | <tomsmeding> | I personally like "operation" a little bit more for this because "function" kind of implies to my brain that it's any general function, which it isn't, it's one from a specified set of functions |
| 2025-10-30 09:54:08 | <kuribas> | "From Wikipedia, the free encyclopedia: In mathematics, an operation is a function from a set to itself. For example, an operation on real numbers will take in real numbers and return a real number. An operation can take zero or more input values (also called "operands" or "arguments") to a well-defined output value. The number of operands is the arity of the operation. " |
| 2025-10-30 09:54:09 | <tomsmeding> | but that's details and subjective |
| 2025-10-30 09:54:14 | <kuribas> | Guess they are operations then :) |
| 2025-10-30 09:54:48 | <kuribas> | Because I have a fixed set of supported types. |
| 2025-10-30 09:54:51 | <tomsmeding> | I expect you to also have things like ConvertSeries :: TimeSeries Double -> TimeSeries Float though; is that "from a set to itself"? :p |
| 2025-10-30 09:55:04 | <kuribas> | The set of all supported types. |
| 2025-10-30 09:55:13 | <kuribas> | (timeseries, scalars, ...) |
| 2025-10-30 09:55:16 | <tomsmeding> | that's not what "from a set to itself" means, but I'm okay with it :p |
| 2025-10-30 09:55:28 | <tomsmeding> | (mathematics' "set" is essentially haskell's "type") |
| 2025-10-30 09:55:39 | <tomsmeding> | (insert hand-wave here) |
| 2025-10-30 09:56:06 | <tomsmeding> | but this is all messing around about terminology, are we clear that your original question has been answered? |
| 2025-10-30 09:56:28 | <kuribas> | Sort of :) |
| 2025-10-30 09:56:34 | <kuribas> | I got some good ideas, thanks. |
| 2025-10-30 09:57:02 | → | chele joins (~chele@user/chele) |
| 2025-10-30 09:59:07 | → | bgt32 joins (~keutoi@106.222.233.20) |
| 2025-10-30 10:01:38 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 256 seconds) |
| 2025-10-30 10:02:33 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 2025-10-30 10:02:52 | × | Googulator95 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 10:03:09 | → | Googulator95 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:03:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-30 10:03:54 | trickard_ | is now known as trickard |
| 2025-10-30 10:05:28 | → | ru0mad joins (~ru0mad@titan.ruomad.net) |
| 2025-10-30 10:05:35 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 10:05:38 | <kuribas> | I can do all this in python, using dataclasses like "class Apply()", but it kind of makes my head hurt ... |
| 2025-10-30 10:05:41 | × | Googulator95 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Client Quit) |
| 2025-10-30 10:05:48 | → | Googulator95 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:06:01 | <kuribas> | Maybe it's a bit better now that python has pattern matching. |
| 2025-10-30 10:08:25 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-10-30 10:08:27 | × | ru0mad quits (~ru0mad@titan.ruomad.net) (Client Quit) |
| 2025-10-30 10:10:01 | <kuribas> | Also, with the lack of GADTs and higher kinded types, I cannot statically type this in python. |
| 2025-10-30 10:10:56 | → | acidjnk joins (~acidjnk@p200300d6e717193069949166e2561304.dip0.t-ipconnect.de) |
| 2025-10-30 10:17:05 | <kuribas> | tomsmeding: we have a lot of weirder terminology that "formula". Our "raw timeseries information struct" is called DPar, and our "non-compounded indicators" are called "IMPoint". |
| 2025-10-30 10:18:39 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-10-30 10:18:43 | → | annamalai joins (~annamalai@157.32.135.74) |
| 2025-10-30 10:20:40 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-10-30 10:23:44 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-10-30 10:23:44 | ChanServ | sets mode +v haskellbridge |
| 2025-10-30 10:24:52 | <kuribas> | tomsmeding: and "a collection of indicators related to some device" is called DPoint |
| 2025-10-30 10:25:15 | <kuribas> | I used to be very confused by all those terms. |
| 2025-10-30 10:25:23 | × | Googulator95 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 10:25:41 | → | Googulator95 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:27:45 | <tomsmeding> | kuribas: likely impossible to change now that everyone has been Stockholmed into them :) |
| 2025-10-30 10:28:04 | <kuribas> | very true :) |
| 2025-10-30 10:35:17 | × | annamalai quits (~annamalai@157.32.135.74) (Remote host closed the connection) |
| 2025-10-30 10:35:31 | → | annamalai joins (~annamalai@2409:4042:2595:bd4d::195e:70b1) |
| 2025-10-30 10:40:18 | <kuribas> | I feel we are stockholm syndromed in all the complexity of the system. |
| 2025-10-30 10:40:49 | <kuribas> | But then that's probably the same for any legacy production system, where the focus is on delivering new features, rather than keeping the code clean. |
| 2025-10-30 10:42:55 | <kuribas> | I still think we can improve efficiency of development by 10X, by refactoring and cleaning stuff up. |
| 2025-10-30 10:45:46 | → | Googulator70 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 10:45:48 | × | Googulator95 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 10:48:07 | <kuribas> | It's so monolythic, you cannot understand a small part, without getting the whole system. |
| 2025-10-30 10:48:28 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-30 10:48:39 | <kuribas> | Which is also not documented anywhere, since it is proprietary, and created by mostly a single person. |
| 2025-10-30 10:49:13 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-30 10:51:32 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-10-30 10:52:06 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-30 10:54:29 | <haskellbridge> | <Morj> Over the last 6 months I, in a big hurry, solo wrote a monolithic, badly documented system. And now a second guy is working on this, and they are copy-pasting my design mistakes as patterns >_< |
| 2025-10-30 10:56:28 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-30 10:56:56 | <kuribas> | lol |
| 2025-10-30 10:57:06 | <kuribas> | At least you are honest about those design mistakes :) |
| 2025-10-30 11:07:46 | × | Wbooze quits (~wboozE@2a02:8071:57a1:dc0:3827:9244:6b75:269a) (Quit: Leaving) |
| 2025-10-30 11:12:22 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Remote host closed the connection) |
| 2025-10-30 11:13:47 | <dutchie> | do i need a newtype to get a Monoid instance for Map a [k] that appends the lists at matching keys? |
| 2025-10-30 11:16:26 | <jackdk> | Yes, or be sure to write `unionWith (<>)` unless you're specifically interfacing with code that uses the `Monoid` interface. There's one in package monoidal-containers. |
| 2025-10-30 11:16:43 | → | xff0x joins (~xff0x@2405:6580:b080:900:85d0:1426:7d14:fc4d) |
| 2025-10-30 11:20:06 | <dutchie> | yeah I'm using foldMap so unionWith isn't helpful |
| 2025-10-30 11:23:11 | <jackdk> | You could also try https://hackage.haskell.org/package/reflection-2.1.9/docs/Data-Reflection.html#v:foldMapBy which uses Dark Magic™ |
| 2025-10-30 11:26:53 | <[exa]> | Morj: "welcome to production quality" <3 |
| 2025-10-30 11:30:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-30 11:31:46 | → | nerdychip joins (~nerdychip@212.129.72.100) |
| 2025-10-30 11:31:46 | × | nerdychip quits (~nerdychip@212.129.72.100) (Changing host) |
| 2025-10-30 11:31:46 | → | nerdychip joins (~nerdychip@user/nerdychip) |
| 2025-10-30 11:36:24 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-30 11:38:55 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-10-30 11:40:49 | × | bgt32 quits (~keutoi@106.222.233.20) (Ping timeout: 264 seconds) |
| 2025-10-30 11:42:14 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-30 11:48:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-30 11:48:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-30 11:51:21 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-30 11:54:55 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-10-30 11:57:18 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-30 12:04:11 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-10-30 12:05:43 | × | Googulator70 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 12:05:46 | → | Googulator91 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 12:10:16 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 12:14:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-30 12:15:19 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-30 12:22:54 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-30 12:24:33 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 2025-10-30 12:27:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-30 12:34:03 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-30 12:34:15 | × | bggd quits (~bgg@2a01:e0a:819:1510:f314:af0a:6c28:12ae) (Remote host closed the connection) |
| 2025-10-30 12:35:41 | → | Googulator87 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-30 12:35:47 | × | Googulator91 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-30 12:37:01 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-30 12:37:46 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-30 12:39:31 | trickard_ | is now known as trickard |
| 2025-10-30 12:44:32 | → | FirefoxDeHuk joins (~FirefoxDe@109.108.69.106) |
All times are in UTC.