Logs: freenode/#haskell
| 2021-03-08 23:30:42 | <monochrom> | http://hackage.haskell.org/package/gitit |
| 2021-03-08 23:30:45 | <bss03> | Well, it wouldn't be static exactly. I'll need a lot of JS/WASM generated. :/ |
| 2021-03-08 23:30:56 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-08 23:31:09 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2021-03-08 23:33:03 | <minoru_shiraeesh> | one would expect node js to play well with server side rendering |
| 2021-03-08 23:33:21 | <minoru_shiraeesh> | js on server |
| 2021-03-08 23:33:56 | <minoru_shiraeesh> | not sure if it really helps in that case though |
| 2021-03-08 23:34:02 | <heck-to-the-gnom> | Is there a way that I can have multiple types like `type A a b c = ...` `type A a b c d = ...`? I tried doing just that, but is there a way to have optional arguments like so? |
| 2021-03-08 23:34:32 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-08 23:34:46 | <minoru_shiraeesh> | those are different kinds, if you know what I mean |
| 2021-03-08 23:35:13 | <minoru_shiraeesh> | or not? |
| 2021-03-08 23:35:17 | <monochrom> | No, you need to pick different names. |
| 2021-03-08 23:35:22 | <heck-to-the-gnom> | I kind of do |
| 2021-03-08 23:35:24 | <heck-to-the-gnom> | ok |
| 2021-03-08 23:35:47 | <monochrom> | optional arguments is not a thing in Haskell, whether term level or type level. |
| 2021-03-08 23:35:53 | <dmj`> | heck-to-the-gnom: no, the way people accomplish this is with one giant ADT that has a ton of type variables, and various newtypes that partially apply types internally, or additional type synonyms that specialize A |
| 2021-03-08 23:36:10 | <monochrom> | Eventually you may to need check out "type classes", they may do some things you want. |
| 2021-03-08 23:36:15 | → | acidjnk_new joins (~acidjnk@p200300d0c72b952755918a10780a6c9a.dip0.t-ipconnect.de) |
| 2021-03-08 23:36:26 | <dmj`> | but first look at yourself in the mirror and ask if this is necessary |
| 2021-03-08 23:37:00 | <monochrom> | "Mirror mirror who has the most beautiful code?"? >:) |
| 2021-03-08 23:37:42 | <minoru_shiraeesh> | hmm, I think this thing is not related to kinds, not sure |
| 2021-03-08 23:37:47 | <hpc> | mirror mirror on the wall, which queue is the fairest of them all |
| 2021-03-08 23:37:59 | <dmj`> | hpc: you beat me to it :P |
| 2021-03-08 23:38:11 | → | Alleria joins (~textual@2603-7000-3040-0000-b555-d7b0-b650-3d1b.res6.spectrum.com) |
| 2021-03-08 23:38:35 | Alleria | is now known as Guest83912 |
| 2021-03-08 23:39:49 | <bss03> | Wanting to improve on https://bss03.gitlab.io/vue-webpack-ts-lambda (https://gitlab.com/bss03/vue-webpack-ts-lambda), prefrrably using less typescript and more haskell and react. |
| 2021-03-08 23:39:54 | <monochrom> | "You have the most beautiful Java code in all Javaland" |
| 2021-03-08 23:40:03 | <monochrom> | "But I mean universally" |
| 2021-03-08 23:40:24 | <monochrom> | "Well OK, SPJ in Haskellland has more beautiful code in Haskell" |
| 2021-03-08 23:40:36 | <monochrom> | "I'm gonna buy him a Mac" |
| 2021-03-08 23:40:56 | <minoru_shiraeesh> | public static void main (String[] args) - it is like a poem |
| 2021-03-08 23:41:22 | <hpc> | if you really want beautiful code, buy him a netbook that boots straight into vim :D |
| 2021-03-08 23:41:49 | <dmj`> | minoru_shiraeesh: it's almost a haiku |
| 2021-03-08 23:41:57 | × | mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Ping timeout: 264 seconds) |
| 2021-03-08 23:43:25 | → | mceier joins (~mceier@89-68-132-187.dynamic.chello.pl) |
| 2021-03-08 23:43:57 | → | ShalokShalom joins (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) |
| 2021-03-08 23:44:12 | <monochrom> | What is minify? |
| 2021-03-08 23:44:33 | <ShalokShalom> | What is the widely accepted alternative for records in Haskell for beginner? |
| 2021-03-08 23:44:59 | <minoru_shiraeesh> | you mean alternative to using the "data" keyword? |
| 2021-03-08 23:45:11 | <monochrom> | Don't use any record? |
| 2021-03-08 23:45:42 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 2021-03-08 23:46:28 | <hpc> | monochrom: minify shrinks javascript by removing whitespace and shortening identifiers and such, for better use of bandwidth |
| 2021-03-08 23:46:33 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-08 23:46:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-08 23:47:03 | × | cookielady quits (5f5ebd5c@a95-94-189-92.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 2021-03-08 23:47:16 | <ShalokShalom> | I read records are broken |
| 2021-03-08 23:47:37 | <ShalokShalom> | So can I use them without biting myself into the back? |
| 2021-03-08 23:47:54 | × | forgottenone quits (~forgotten@176.42.24.161) (Ping timeout: 260 seconds) |
| 2021-03-08 23:48:15 | <monochrom> | Do you mean http://hackage.haskell.org/package/records ? Or do you mean something else? Examples? |
| 2021-03-08 23:48:17 | <ShalokShalom> | I heard they are one of the most fundamental problems in Haskell |
| 2021-03-08 23:48:30 | <ShalokShalom> | Idk. The standard build in records. |
| 2021-03-08 23:48:37 | <dmj`> | ShalokShalom: records are not broken, they're just not extensible. |
| 2021-03-08 23:48:46 | <ShalokShalom> | Like what can I use to replace fsharp reccords |
| 2021-03-08 23:49:20 | <ShalokShalom> | How mich of an issue is that in practice? |
| 2021-03-08 23:49:23 | <dmj`> | ShalokShalom: records are extremely powerful in Haskell, even w/o row polymorphism. Generics and GHC's deriving mechanism make records extremely powerful and featureful |
| 2021-03-08 23:49:34 | <ShalokShalom> | Ok, nice |
| 2021-03-08 23:50:05 | <monochrom> | Beginners would not run into the limitations of Haskell record syntax. |
| 2021-03-08 23:50:30 | <monochrom> | Apart from a bit more verbose syntax. |
| 2021-03-08 23:51:12 | <ShalokShalom> | Hmm |
| 2021-03-08 23:51:24 | <ShalokShalom> | Deriving mechanism? |
| 2021-03-08 23:51:29 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-08 23:51:31 | <ShalokShalom> | Read on that. |
| 2021-03-08 23:52:35 | × | ShalokShalom quits (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) (Quit: Connection closed) |
| 2021-03-08 23:53:09 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 260 seconds) |
| 2021-03-08 23:54:30 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-03-08 23:54:43 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-08 23:55:50 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-08 23:56:14 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-08 23:57:31 | × | Wamanuz quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Quit: Konversation terminated!) |
| 2021-03-08 23:58:14 | × | johnw quits (~johnw@haskell/developer/johnw) (Ping timeout: 264 seconds) |
| 2021-03-08 23:58:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 00:01:03 | → | Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2021-03-09 00:02:56 | → | redmp joins (~redmp@172.58.35.53) |
| 2021-03-09 00:05:54 | × | fissureman quits (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-09 00:11:12 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-09 00:12:01 | × | deviantfero quits (~deviantfe@190.150.27.58) (Client Quit) |
| 2021-03-09 00:15:18 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-03-09 00:19:14 | × | crobbins quits (~crobbins@2600:1700:48eb:8490:9951:ddf8:bc56:65f5) (Remote host closed the connection) |
| 2021-03-09 00:23:35 | × | CodeAlways quits (uid272474@gateway/web/irccloud.com/x-dzvbbhipleasvhkv) (Quit: Connection closed for inactivity) |
| 2021-03-09 00:24:39 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-09 00:27:37 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:3d29:8370:5f36:8c65) |
| 2021-03-09 00:29:59 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c500:64a8:b98c:677d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-09 00:30:22 | → | bennofs_ joins (~quassel@dslb-094-222-034-104.094.222.pools.vodafone-ip.de) |
| 2021-03-09 00:32:25 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-09 00:33:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-09 00:34:14 | × | bennofs__ quits (~quassel@dslb-188-106-250-212.188.106.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 2021-03-09 00:35:29 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-09 00:36:49 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 2021-03-09 00:39:03 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-09 00:51:09 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-09 00:52:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-09 00:54:59 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds) |
| 2021-03-09 00:56:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-09 01:01:57 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:1409:1dc2:df9b:e790) (Ping timeout: 260 seconds) |
| 2021-03-09 01:03:52 | → | _xor joins (~xor@74.215.46.133) |
| 2021-03-09 01:05:50 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-09 01:06:17 | × | carlomagno quits (~cararell@148.87.23.4) (Ping timeout: 256 seconds) |
| 2021-03-09 01:06:42 | → | average joins (uid473595@gateway/web/irccloud.com/x-esnsvhjcxsvlaxwu) |
| 2021-03-09 01:07:34 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:4e2:5952:361b:951a) |
| 2021-03-09 01:11:04 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 276 seconds) |
All times are in UTC.