Logs: liberachat/#haskell
| 2021-08-06 09:31:17 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 2021-08-06 09:31:19 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-06 09:31:21 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-06 09:32:37 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds) |
| 2021-08-06 09:33:03 | <tomsmeding> | ! |
| 2021-08-06 09:35:40 | × | mcglk_ quits (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2021-08-06 09:37:19 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-06 09:42:40 | → | slavaqq joins (~slavaqq@sdmail.sdserver.cz) |
| 2021-08-06 09:43:19 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-06 09:48:22 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:113:1bce:1dde:b94a) (Ping timeout: 268 seconds) |
| 2021-08-06 09:53:40 | → | burnside_ joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-06 09:53:40 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-06 09:53:48 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-08-06 09:55:36 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 250 seconds) |
| 2021-08-06 09:58:26 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-06 09:59:27 | × | xff0x_ quits (~xff0x@2001:1a81:52e3:2500:4853:8255:fc4e:2378) (Ping timeout: 258 seconds) |
| 2021-08-06 10:00:10 | → | xff0x_ joins (~xff0x@2001:1a81:52e3:2500:1069:a9de:7caa:cf07) |
| 2021-08-06 10:00:33 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 10:04:31 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 2021-08-06 10:04:42 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 256 seconds) |
| 2021-08-06 10:05:58 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-06 10:08:44 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-06 10:14:53 | × | slavaqq quits (~slavaqq@sdmail.sdserver.cz) (Quit: Client closed) |
| 2021-08-06 10:16:19 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 258 seconds) |
| 2021-08-06 10:17:56 | × | jonathanx_ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-08-06 10:18:16 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-06 10:19:30 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-118.prtc.net) |
| 2021-08-06 10:20:59 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 10:21:51 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-06 10:23:08 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-08-06 10:24:51 | → | derelict joins (~derelict@user/derelict) |
| 2021-08-06 10:25:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-06 10:26:17 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-06 10:28:36 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:460a:4755:73b5:e6f5) |
| 2021-08-06 10:39:19 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 258 seconds) |
| 2021-08-06 10:43:23 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 10:48:54 | → | enoq joins (~enoq@194-208-179-35.lampert.tv) |
| 2021-08-06 10:51:01 | <kuribas> | what are your ideas on units, or similar packages? Are they worth it, or is it better to just use Double everywhere (with some type synonyms for clarity)? |
| 2021-08-06 10:52:01 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-08-06 10:53:07 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 268 seconds) |
| 2021-08-06 10:53:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-06 10:57:43 | <kuribas> | wasn't there a ship that sank because they mixed units? |
| 2021-08-06 11:00:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-08-06 11:00:17 | → | hsek[m] joins (~hsekmatri@2001:470:69fc:105::d18f) |
| 2021-08-06 11:04:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-06 11:04:54 | × | tengu12 quits (~tengu12@cpe-70-121-244-14.neb.res.rr.com) (Quit: Client closed) |
| 2021-08-06 11:07:07 | × | burnside_ quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-06 11:07:35 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-06 11:08:33 | → | AlexNoo_ joins (~AlexNoo@178.34.160.135) |
| 2021-08-06 11:08:34 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-06 11:08:52 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-08-06 11:09:19 | → | Vajb joins (~Vajb@85-76-2-199-nat.elisa-mobile.fi) |
| 2021-08-06 11:09:33 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:460a:4755:73b5:e6f5) (Quit: WeeChat 2.8) |
| 2021-08-06 11:11:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-08-06 11:11:34 | × | Alex_test quits (~al_test@94.233.240.129) (Ping timeout: 272 seconds) |
| 2021-08-06 11:11:34 | × | AlexZenon quits (~alzenon@94.233.240.129) (Ping timeout: 272 seconds) |
| 2021-08-06 11:11:35 | → | Akronymus joins (~Akronymus@85.31.8.181) |
| 2021-08-06 11:11:47 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-06 11:12:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-06 11:12:16 | <Akronymus> | Haskell is a pretty cool language. |
| 2021-08-06 11:12:16 | × | AlexNoo quits (~AlexNoo@94.233.240.129) (Ping timeout: 272 seconds) |
| 2021-08-06 11:12:33 | <Akronymus> | Altough, not sure if I am ready yet. |
| 2021-08-06 11:12:40 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-08-06 11:13:12 | <kuribas> | Akronymus: ready for what? |
| 2021-08-06 11:13:18 | <Akronymus> | For haskell. |
| 2021-08-06 11:13:24 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-06 11:13:32 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-08-06 11:13:42 | <kuribas> | Just try it? You'll never know everything anyway... |
| 2021-08-06 11:13:44 | <Akronymus> | So far, only dabbled in f# a bit, and quite frankly, haskell seems a bit scary. |
| 2021-08-06 11:14:41 | <kuribas> | Akronymus: haskell is a big language, but you don't need to know everything. |
| 2021-08-06 11:14:48 | <Akronymus> | Yeah I get that. |
| 2021-08-06 11:15:13 | <kuribas> | If you understand monad transformers, you'll be able to tackle most code. |
| 2021-08-06 11:15:43 | <Akronymus> | And there is the big m already. (I think I understand them somewhat at least though) |
| 2021-08-06 11:15:43 | × | Vajb quits (~Vajb@85-76-2-199-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2021-08-06 11:15:51 | → | Vajb joins (~Vajb@n2bovg6licdnldblt-2.v6.elisa-mobile.fi) |
| 2021-08-06 11:16:01 | <Akronymus> | Monads aren't that bad. |
| 2021-08-06 11:16:04 | <kuribas> | Akronymus: it's more important to understand the concepts behind it, and the idioms. |
| 2021-08-06 11:16:06 | → | Alex_test joins (~al_test@178.34.160.135) |
| 2021-08-06 11:16:08 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds) |
| 2021-08-06 11:16:14 | → | AlexZenon joins (~alzenon@178.34.160.135) |
| 2021-08-06 11:17:35 | <kuribas> | Like: how to separate effects in your program, understanding the state, leveraging combinators to make small languages that solve your problem in a declarative way. |
| 2021-08-06 11:18:05 | <kuribas> | I think most people miss the last part, then get disillusioned because they program haskell as if it's java. |
| 2021-08-06 11:18:06 | <Akronymus> | I did most of that in f# already. |
| 2021-08-06 11:18:20 | <kuribas> | Akronymus: in that case, you're ready for haskell :) |
| 2021-08-06 11:18:25 | <Akronymus> | Just, haskell goes so much further with HKT and stuff. |
| 2021-08-06 11:18:58 | <kuribas> | HKT are overrated. |
| 2021-08-06 11:19:12 | <Akronymus> | And i'll definitely miss the type inference. |
| 2021-08-06 11:19:40 | <kuribas> | I mean the sofisticated stuff, basic HKT are ok. |
| 2021-08-06 11:19:44 | <maerwald[m]> | Maybe you want to look into F*, which can compile to F# |
| 2021-08-06 11:20:03 | <kuribas> | maerwald: F* and haskell have different usecases... |
| 2021-08-06 11:20:05 | <Akronymus> | Yeah, you can go quite crazy with types in haskell. |
| 2021-08-06 11:20:18 | <maerwald[m]> | kuribas: Haskell has no use case |
| 2021-08-06 11:20:35 | <kuribas> | maerwald[m]: go away... |
| 2021-08-06 11:20:48 | <maerwald[m]> | F* was designed with a use case in mind, Haskell was an experiment with open ended result |
| 2021-08-06 11:21:26 | <maerwald[m]> | So if at all, it's general purpose |
| 2021-08-06 11:22:11 | <Akronymus> | Even if it is just learning to be a better programmer, haskell has a use. |
| 2021-08-06 11:22:23 | <Akronymus> | And pushing other languages features forward. |
| 2021-08-06 11:22:41 | <maerwald[m]> | I didn't say it doesn't, kuribas just misunderstood my statement |
| 2021-08-06 11:23:03 | <kuribas> | languages like f# or ocaml allow you to code like it's java or C# |
| 2021-08-06 11:23:15 | <kuribas> | in haskell you are forced to do it the functional way. |
All times are in UTC.