Newest at the top
| 2024-10-25 18:19:22 +0200 | <morsinichi> | hi, i am new to functional programming and i recently thought about whether there is general concepts about data like data traversal or data structure; i've noticed that in haskell you might define types that are non-terminating (like stream) and the traversal is bound to type's structure. |
| 2024-10-25 18:17:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-25 18:14:42 +0200 | acarrico1 | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) (Quit: Leaving.) |
| 2024-10-25 18:14:40 +0200 | morsinichi | (~morsinich@61.4.97.157) |
| 2024-10-25 18:12:34 +0200 | vglfr | (~vglfr@2607:fb90:ea15:5496:ad3:f751:9b84:2064) (Read error: Connection reset by peer) |
| 2024-10-25 18:11:02 +0200 | <lxsameer> | cheers |
| 2024-10-25 18:10:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-10-25 18:10:42 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-25 18:09:47 +0200 | <EvanR> | composing would be like Category or Semigroupoid |
| 2024-10-25 18:07:46 +0200 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-10-25 18:06:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-25 18:06:43 +0200 | <lxsameer> | EvanR: ah got it, thanks |
| 2024-10-25 18:06:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-25 18:05:40 +0200 | <EvanR> | as far as profunctor goes, it means you can fmap the resultTypes with normal functions, and you can "preprocess" the paramsType with normal functions |
| 2024-10-25 18:05:08 +0200 | <EvanR> | Statement paramsType resultType |
| 2024-10-25 18:04:32 +0200 | mari-estel | (~mari-este@user/mari-estel) () |
| 2024-10-25 18:02:12 +0200 | <lxsameer> | hey folks, I'm trying to understand profunctors in the context of Hasql statements. Is it the case that I can compose some statements together to form a new statement using profunctors? |
| 2024-10-25 18:02:10 +0200 | acarrico1 | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) |
| 2024-10-25 18:02:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-25 18:01:04 +0200 | acarrico | (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) (Killed (NickServ (GHOST command used by acarrico1))) |
| 2024-10-25 17:58:07 +0200 | <c_wraith> | Why do you need special cases for testing multiple inputs against expected outputs? Haskell is a programming language. Create your tests in a loop so that each pair is a separate test case. |
| 2024-10-25 17:57:48 +0200 | habib | (~habib@185.195.232.250) (Ping timeout: 252 seconds) |
| 2024-10-25 17:57:27 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-25 17:55:40 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-25 17:55:39 +0200 | Square | (~Square@user/square) Square |
| 2024-10-25 17:55:20 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-25 17:51:35 +0200 | <tomsmeding> | bwe: (I'm asking because the haddocks for 'it' in hspec look to me like that's precisely what you want; if not, then apparently I misunderstand what you mean with "parametrised test") |
| 2024-10-25 17:50:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-25 17:48:22 +0200 | euleritian | (~euleritia@dynamic-176-006-143-043.176.6.pool.telefonica.de) |
| 2024-10-25 17:47:54 +0200 | euleritian | (~euleritia@dynamic-176-007-153-100.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-25 17:44:50 +0200 | <tomsmeding> | what is a "parametrised test", precisely? |
| 2024-10-25 17:44:30 +0200 | <bwe> | I mean which supports output that is optimised for parametrised tests? I nowhere can find such in the docs - do I overlook sth? |
| 2024-10-25 17:44:26 +0200 | <tomsmeding> | if you want to mix multiple test frameworks in one test suite (e.g. unit tests + property tests), 'tasty' is a thing that you can slot various other test frameworks into |
| 2024-10-25 17:44:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-25 17:43:31 +0200 | euleritian | (~euleritia@dynamic-176-007-153-100.176.7.pool.telefonica.de) |
| 2024-10-25 17:42:48 +0200 | <tomsmeding> | there's also HUnit |
| 2024-10-25 17:42:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-10-25 17:42:17 +0200 | <tomsmeding> | bwe: a popular option is hspec |
| 2024-10-25 17:41:34 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-25 17:40:17 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-25 17:38:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-25 17:37:55 +0200 | euleritian | (~euleritia@176.7.153.100) (Read error: Connection reset by peer) |
| 2024-10-25 17:33:36 +0200 | euleritian | (~euleritia@176.7.153.100) |
| 2024-10-25 17:33:17 +0200 | <mauke> | all of them, I hope |
| 2024-10-25 17:32:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-25 17:31:26 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-25 17:30:19 +0200 | <bwe> | which test framework allows for simple parametrised tests [(input, expected)]? |
| 2024-10-25 17:30:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-10-25 17:23:20 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-10-25 17:18:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |