Logs: freenode/#haskell
| 2021-03-30 07:49:52 | → | borne joins (~fritjof@200116b864cfc800f7ed9fd86a2491f0.dip.versatel-1u1.de) |
| 2021-03-30 07:50:40 | <maerwald> | does anyone know what happens on windows syscalls if you don't follow the naming convention of file names: https://docs.microsoft.com/en-us/windows/win32/fileio/naming-a-file#naming-conventions |
| 2021-03-30 07:51:47 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-03-30 07:52:02 | × | dorkside quits (~tdbgamer@208.190.197.222) (Ping timeout: 246 seconds) |
| 2021-03-30 07:52:25 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:6c9e:d835:53cb:dfd2) |
| 2021-03-30 07:52:52 | <pjb> | maerwald: they're not conventions, they're rules. |
| 2021-03-30 07:53:20 | × | flow quits (~none@salem.informatik.uni-erlangen.de) (Quit: WeeChat 2.9) |
| 2021-03-30 07:53:20 | <merijn> | maerwald: Then you'll trigger errors on *some* systems |
| 2021-03-30 07:53:37 | <pjb> | maerwald: if you use a name such as "foo:bar:bar quux quaks" it will break, because the component separator is \ not : |
| 2021-03-30 07:54:30 | <Lycurgus> | it's the attributes that matter |
| 2021-03-30 07:54:34 | <merijn> | maerwald: Like, making a file named CON will just fail |
| 2021-03-30 07:55:09 | <pjb> | Or using a file named LPT1 will just print stuff instead of storing to a file. |
| 2021-03-30 07:55:42 | <merijn> | pjb: I don't think it will |
| 2021-03-30 07:56:16 | × | Lycurgus quits (~niemand@98.4.120.166) (Quit: Exeunt) |
| 2021-03-30 07:56:43 | <merijn> | maerwald: The issue is that FAT16, FAT32, NTFS, etc. all have different rules. Pretty sure this is just describing a safe/portable subset for all filesystems windows has shipped over the years |
| 2021-03-30 07:57:08 | <maerwald> | the question is wheter it makes sense to enforce these rules when constructing a filepath type or let this be a consideration for the curious |
| 2021-03-30 07:57:18 | <merijn> | maerwald: Violating those can fail if the fs/windows version you're using happens to not allow that |
| 2021-03-30 07:57:21 | <pjb> | Perhaps it's restricted to printers connected to the parallel port. Since there does not remain a lot of them, that may not work indeed. |
| 2021-03-30 07:57:34 | <merijn> | maerwald: Probably not, tbh |
| 2021-03-30 07:58:02 | <merijn> | maerwald: Then you're also subject to keeping those restrictions up to date over time |
| 2021-03-30 07:58:24 | <merijn> | maerwald: And you may wanna do something that violates these rules if you *know* the underlying FS |
| 2021-03-30 07:58:36 | → | ddk joins (2f09e32d@47.9.227.45) |
| 2021-03-30 07:59:17 | <maerwald> | maybe NUL should be treated special though? |
| 2021-03-30 07:59:41 | <maerwald> | not handling that will definitely cause unexpected stuff on unix |
| 2021-03-30 08:02:45 | <pjb> | Well, it's a question of user friendlyness. Indeed, users coming from other posix systems will be very surprised and despised by those limitations. So it is good to have code to check and validate user provided file names and paths, and either to transform the given names to map them to valid names for the Windows system, or to inform the user about those restrictions. |
| 2021-03-30 08:03:25 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-03-30 08:04:53 | <ddk> | are there Plutus / Cardano experienced devs here ? |
| 2021-03-30 08:05:52 | <maerwald> | are you looking for people? |
| 2021-03-30 08:06:43 | → | _flow_ joins (~none@salem.informatik.uni-erlangen.de) |
| 2021-03-30 08:07:24 | <ddk> | help from people and maybe later people too :) |
| 2021-03-30 08:09:25 | × | thunderrd quits (~thunderrd@183.182.111.116) (Remote host closed the connection) |
| 2021-03-30 08:10:00 | → | shad0w_ joins (a0ca25aa@160.202.37.170) |
| 2021-03-30 08:10:08 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection) |
| 2021-03-30 08:10:24 | → | malumore joins (~malumore@151.62.126.249) |
| 2021-03-30 08:11:36 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-30 08:12:09 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Ping timeout (120 seconds)) |
| 2021-03-30 08:12:32 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-03-30 08:13:14 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-03-30 08:14:02 | × | troydm quits (~troydm@unaffiliated/troydm) (Ping timeout: 260 seconds) |
| 2021-03-30 08:14:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-30 08:14:30 | × | plutoniix quits (~q@184.82.217.128) (Ping timeout: 260 seconds) |
| 2021-03-30 08:14:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-30 08:14:56 | → | plutoniix joins (~q@184.82.217.128) |
| 2021-03-30 08:14:57 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-03-30 08:16:33 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-30 08:16:33 | × | ddk quits (2f09e32d@47.9.227.45) (Quit: Connection closed) |
| 2021-03-30 08:26:13 | → | Guest55480 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-30 08:27:04 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-uawxrfrpxwexcklr) |
| 2021-03-30 08:29:13 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-fqedziywpebcqkui) |
| 2021-03-30 08:29:42 | → | dunj3 joins (~dunj3@p200300f61714a6752268fca81a1a85c0.dip0.t-ipconnect.de) |
| 2021-03-30 08:32:00 | → | ddk joins (2f09e32d@47.9.227.45) |
| 2021-03-30 08:36:32 | → | thunderrd joins (~thunderrd@183.182.111.116) |
| 2021-03-30 08:38:17 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-03-30 08:38:54 | → | nij joins (~user@2001-48F8-9021-806-0-0-0-49D8-dynamic.midco.net) |
| 2021-03-30 08:40:10 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 2021-03-30 08:40:47 | ← | nij parts (~user@2001-48F8-9021-806-0-0-0-49D8-dynamic.midco.net) () |
| 2021-03-30 08:41:18 | × | heatsink_ quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-03-30 08:41:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-30 08:41:46 | × | drbean_ quits (~drbean@TC210-63-209-215.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-30 08:44:09 | × | borne quits (~fritjof@200116b864cfc800f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-03-30 08:44:26 | → | borne joins (~fritjof@83.135.92.162) |
| 2021-03-30 08:46:06 | → | kuribas joins (~user@ptr-25vy0iais3kqthju5b2.18120a2.ip6.access.telenet.be) |
| 2021-03-30 08:53:20 | × | ddk quits (2f09e32d@47.9.227.45) (Quit: Ping timeout (120 seconds)) |
| 2021-03-30 08:56:38 | → | ddk joins (2f09e32d@47.9.227.45) |
| 2021-03-30 08:57:55 | × | shad0w_ quits (a0ca25aa@160.202.37.170) (Quit: Connection closed) |
| 2021-03-30 08:58:11 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-03-30 08:58:37 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 2021-03-30 09:00:21 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-30 09:00:59 | × | ddk quits (2f09e32d@47.9.227.45) (Client Quit) |
| 2021-03-30 09:01:24 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-30 09:02:17 | → | fendor joins (~fendor@91.141.2.121.wireless.dyn.drei.com) |
| 2021-03-30 09:04:01 | → | CatWithMoustache joins (~CatWithMo@gateway/tor-sasl/catwithmoustache) |
| 2021-03-30 09:07:29 | → | SaitamaPlus joins (uid272474@gateway/web/irccloud.com/x-dafonfyijqdwlime) |
| 2021-03-30 09:12:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-30 09:15:52 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-30 09:16:13 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-30 09:16:53 | × | kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-03-30 09:17:47 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-30 09:20:48 | → | michalz joins (~user@185.246.204.56) |
| 2021-03-30 09:20:54 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3133:71df:e36c:dfbb) (Ping timeout: 246 seconds) |
| 2021-03-30 09:25:22 | → | Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-30 09:25:26 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-30 09:25:37 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-30 09:26:11 | × | jluttine_ quits (~jluttine@85-23-66-6.bb.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2021-03-30 09:26:43 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9573a492bd14a7c56ad5.dip0.t-ipconnect.de) |
| 2021-03-30 09:28:42 | × | Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 260 seconds) |
| 2021-03-30 09:29:10 | → | adziahel[m] joins (adziahelma@gateway/shell/matrix.org/x-thrzznualluzoyiv) |
| 2021-03-30 09:29:44 | → | jluttine_ joins (~jluttine@85-23-66-6.bb.dnainternet.fi) |
| 2021-03-30 09:31:33 | × | Philonous quits (~Philonous@unaffiliated/philonous) (Ping timeout: 250 seconds) |
| 2021-03-30 09:32:07 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:c70f:6b9a:95ec:8c0b) |
| 2021-03-30 09:32:49 | → | Philonous joins (~Philonous@unaffiliated/philonous) |
| 2021-03-30 09:37:59 | → | kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) |
| 2021-03-30 09:41:54 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-30 09:43:48 | <joel135> | I noticed that liftA2 :: (a -> b -> c) -> f a -> f b -> f c arises from both `f (a -> b) -> f a -> f b` and `f a -> f b -> f (a, b)` by Yoneda. |
| 2021-03-30 09:46:04 | <joel135> | Also `f ()` can replace `a -> f a`. |
| 2021-03-30 09:46:11 | <opqdonut> | yeah almost any way of combining functorial values is enough for Applicative |
| 2021-03-30 09:46:43 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-03-30 09:47:00 | <joel135> | Personally I think `f ()` and `f a -> f b -> f (a, b)` is less intimidating than the usual definition. |
| 2021-03-30 09:49:42 | <opqdonut> | I guess the type of <*> is in some sense the most simple type that offers Applicative functionality. Also not having intermediate tuples is good for performance. But it might not be the best way to teach Applicative. |
| 2021-03-30 09:49:55 | <joel135> | I see. |
All times are in UTC.