2024-05-13 00:00:51 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-05-13 00:01:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-13 00:02:13 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-13 00:05:15 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-13 00:11:19 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-13 00:15:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-13 00:21:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
2024-05-13 00:21:32 +0200 | yin_ | (~yin@user/zero) |
2024-05-13 00:21:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-13 00:37:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-13 00:38:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc538d2f4966c160723d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-13 00:41:42 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-13 00:43:38 +0200 | yin_ | (~yin@user/zero) |
2024-05-13 00:53:38 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-13 00:53:46 +0200 | yin_ | zzz |
2024-05-13 00:54:20 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-13 00:54:52 +0200 | euleritian | (~euleritia@dynamic-176-006-176-035.176.6.pool.telefonica.de) |
2024-05-13 00:58:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-05-13 01:02:23 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-05-13 01:05:33 +0200 | yin | (~yin@user/zero) |
2024-05-13 01:21:57 +0200 | phma_ | (~phma@2001:5b0:211b:f8f8:8558:8264:69ae:a8e6) |
2024-05-13 01:22:40 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-13 01:24:29 +0200 | phma | (phma@2001:5b0:211f:3048:948d:80d2:e152:3a7b) (Ping timeout: 240 seconds) |
2024-05-13 01:26:08 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-13 01:27:33 +0200 | yin | (~yin@user/zero) |
2024-05-13 01:31:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-13 01:35:41 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
2024-05-13 01:39:09 +0200 | yin | (~yin@user/zero) |
2024-05-13 01:44:21 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-13 01:52:35 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
2024-05-13 01:58:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-13 02:36:24 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-13 02:39:07 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-05-13 02:44:12 +0200 | yin | (~yin@user/zero) |
2024-05-13 02:45:04 +0200 | ropwareJB | (~ropwareJB@2601:602:9100:1460:c8dc:a946:242d:d890) |
2024-05-13 02:48:19 +0200 | euleritian | (~euleritia@dynamic-176-006-176-035.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-05-13 02:49:03 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) |
2024-05-13 02:49:34 +0200 | <ropwareJB> | Hi folks, need some direction with Nix + GHCJS, I'm receiving the following compile error and not sure how to proceed: |
2024-05-13 02:49:35 +0200 | <ropwareJB> | ``` |
2024-05-13 02:49:35 +0200 | <ropwareJB> | building '/nix/store/da6mc29mxdygpy3wz1d3vd7z9j308j3v-entropy-0.4.1.10.drv'... |
2024-05-13 02:49:36 +0200 | <ropwareJB> | Running phase: setupCompilerEnvironmentPhase |
2024-05-13 02:49:36 +0200 | <ropwareJB> | Build with /nix/store/n3aank8ia8qjqyv0lqslbz1bahpyg59s-ghcjs-8.10.7. |
2024-05-13 02:49:37 +0200 | <ropwareJB> | Running phase: unpackPhase |
2024-05-13 02:49:37 +0200 | <ropwareJB> | unpacking source archive /nix/store/sh4n8xmf2ydjgz1qbmr6qr0mzwsv3cxv-entropy-0.4.1.10.tar.gz |
2024-05-13 02:49:38 +0200 | <ropwareJB> | source root is entropy-0.4.1.10 |
2024-05-13 02:49:38 +0200 | <ropwareJB> | setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file entropy-0.4.1.10/System/EntropyWindows.hs |
2024-05-13 02:49:39 +0200 | <ropwareJB> | Running phase: patchPhase |
2024-05-13 02:49:39 +0200 | <ropwareJB> | Replace Cabal file with edited version from mirror://hackage/entropy-0.4.1.10/revision/1.cabal. |
2024-05-13 02:49:40 +0200 | <ropwareJB> | Running phase: compileBuildDriverPhase |
2024-05-13 02:49:40 +0200 | <ropwareJB> | setupCompileFlags: -package-db=/build/tmp.S8Sc2uLXHZ/setup-package.conf.d -j8 +RTS -A64M -RTS -threaded -rtsopts |
2024-05-13 02:49:41 +0200 | <ropwareJB> | [1 of 1] Compiling Main ( Setup.hs, /build/tmp.S8Sc2uLXHZ/Main.o ) |
2024-05-13 02:49:41 +0200 | <ropwareJB> | Linking Setup ... |
2024-05-13 02:49:42 +0200 | <ropwareJB> | Running phase: updateAutotoolsGnuConfigScriptsPhase |
2024-05-13 02:49:42 +0200 | <ropwareJB> | Running phase: configurePhase |
2024-05-13 02:49:43 +0200 | <ropwareJB> | configureFlags: --verbose --prefix=/nix/store/jq14b9dgm4k5jj134g8lndflxr13m8ib-entropy-0.4.1.10 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --docdir=/nix/store/iy0hyw7lvgvgwz54ag86g04sxxjm01fa-entropy-0.4.1.10-doc/share/doc/entropy-0.4.1.10 --with-gcc=gcc --package-db=/build/tmp.S8Sc2uLXHZ/package.conf.d --ghc-options=-j8 +RTS -A64M |
2024-05-13 02:55:14 +0200 | <probie> | ropwareJB: Use a pastebin like https://paste.tomsmeding.com/ for things which are more than 3-4 lines |
2024-05-13 02:59:25 +0200 | <johnw> | Is there a lens that will do this: |
2024-05-13 02:59:31 +0200 | <johnw> | 123 & something . _head .~ 4 ==> 423 |
2024-05-13 03:13:39 +0200 | otto_s | (~user@p4ff27bc4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-05-13 03:14:40 +0200 | <glguy> | > (123::Int) & _Show . _head .~ '4' --? |
2024-05-13 03:14:42 +0200 | <lambdabot> | <hint>:1:38: error: |
2024-05-13 03:14:42 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2024-05-13 03:14:43 +0200 | otto_s | (~user@p5de2fd19.dip0.t-ipconnect.de) |
2024-05-13 03:14:56 +0200 | <glguy> | > (123::Int) & _Show . _head .~ '4' -- ? |
2024-05-13 03:14:57 +0200 | <lambdabot> | error: |
2024-05-13 03:14:57 +0200 | <lambdabot> | • Couldn't match type ‘[Char]’ with ‘Int’ |
2024-05-13 03:14:57 +0200 | <lambdabot> | Expected type: ASetter Int String Char Char |
2024-05-13 03:16:18 +0200 | <probie> | johnw: What do you expect the result of `123 & something . _head .~ 42` to be? |
2024-05-13 03:19:44 +0200 | <probie> | > let something f s = fmap ((read :: String -> Int) . concatMap show) $ f (map digitToInt (show s)) in 123 & something . _head .~ 4 |
2024-05-13 03:19:46 +0200 | <lambdabot> | 423 |
2024-05-13 03:19:59 +0200 | <probie> | > let something f s = fmap ((read :: String -> Int) . concatMap show) $ f (map digitToInt (show s)) in 123 & something . _head .~ 42 |
2024-05-13 03:20:00 +0200 | <lambdabot> | 4223 |
2024-05-13 03:22:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-13 03:40:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-13 03:53:12 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-13 04:05:13 +0200 | tv | (~tv@user/tv) (Quit: derp) |
2024-05-13 04:05:37 +0200 | tv | (~tv@user/tv) |
2024-05-13 04:07:08 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-05-13 04:08:47 +0200 | zzz | (~yin@user/zero) |
2024-05-13 04:15:04 +0200 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 268 seconds) |
2024-05-13 04:15:44 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
2024-05-13 04:16:47 +0200 | td_ | (~td@i53870933.versanet.de) |
2024-05-13 04:20:21 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-05-13 04:21:26 +0200 | phma_ | (~phma@2001:5b0:211b:f8f8:8558:8264:69ae:a8e6) (Read error: Connection reset by peer) |
2024-05-13 04:22:51 +0200 | phma_ | (phma@2001:5b0:210b:c738:d0e0:5870:ec8f:f731) |
2024-05-13 04:35:17 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-13 04:35:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-13 05:00:00 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
2024-05-13 05:01:11 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
2024-05-13 05:01:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-13 05:06:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-13 05:08:40 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |
2024-05-13 05:14:51 +0200 | zzz | (~yin@user/zero) (Ping timeout: 255 seconds) |
2024-05-13 05:18:14 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-05-13 05:21:23 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-05-13 05:22:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
2024-05-13 05:23:35 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-13 05:37:28 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-13 05:40:22 +0200 | JimL | (~quassel@89.162.16.26) |
2024-05-13 05:43:31 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2024-05-13 05:47:16 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
2024-05-13 05:48:47 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
2024-05-13 05:49:02 +0200 | xigua | (~xigua@user/xigua) |
2024-05-13 05:55:09 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
2024-05-13 05:56:09 +0200 | aforemny | (~aforemny@i59F516F4.versanet.de) |
2024-05-13 05:57:27 +0200 | aforemny_ | (~aforemny@i59F516F5.versanet.de) (Ping timeout: 260 seconds) |
2024-05-13 06:06:03 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
2024-05-13 06:06:17 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-13 06:13:43 +0200 | <johnw> | I think 423 |
2024-05-13 06:13:55 +0200 | <johnw> | I want to treat the int like a string, manipulate the string, and then store it back as an int |
2024-05-13 06:14:24 +0200 | <johnw> | the _Show prism is the precise opposite of what I am looking for |
2024-05-13 06:14:40 +0200 | <johnw> | I mean, this is highly suspect, but: |
2024-05-13 06:14:40 +0200 | <johnw> | shown f a = read <$> f (show a) |
2024-05-13 06:15:11 +0200 | <johnw> | this is only valid if you never make modification that cause the number to not be a number anymore |
2024-05-13 06:19:31 +0200 | phma_ | phma |
2024-05-13 06:27:29 +0200 | ropwareJB | (~ropwareJB@2601:602:9100:1460:c8dc:a946:242d:d890) (Quit: Client closed) |
2024-05-13 06:35:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-13 06:35:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-13 06:39:27 +0200 | <probie> | Do you really need a `String`, or would a sign and a list of digits be preferable? |
2024-05-13 06:40:45 +0200 | michalz | (~michalz@185.246.207.197) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:45:36 +0200 | michalz | (~michalz@185.246.207.197) (Client Quit) |
2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:48:28 +0200 | michalz | (~michalz@185.246.207.203) |
2024-05-13 06:50:53 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-13 06:53:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-13 06:55:22 +0200 | <sm> | @where+ ultimate-string-guide https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html |
2024-05-13 06:55:22 +0200 | <lambdabot> | I will never forget. |
2024-05-13 06:55:38 +0200 | <sm> | epic post by maerwald |
2024-05-13 07:16:06 +0200 | mailman | (~mailman@192.210.255.34) |
2024-05-13 07:16:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc3784e5c6ff7798483a.dip0.t-ipconnect.de) |
2024-05-13 07:18:07 +0200 | mailman | (~mailman@192.210.255.34) (Client Quit) |
2024-05-13 07:18:57 +0200 | mailman | (~mailman@192.210.255.34) |
2024-05-13 07:23:51 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
2024-05-13 07:28:03 +0200 | mailman | (~mailman@192.210.255.34) (Ping timeout: 250 seconds) |
2024-05-13 07:34:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-13 07:34:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-13 07:34:55 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) |
2024-05-13 07:38:51 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
2024-05-13 07:44:45 +0200 | <johnw> | probie: I actually want a string, so that I can turn it into a Text and use that someplace. It just fits the pattern if it's a lens or traversal. It's OK, though, there are many ways around this problem. |
2024-05-13 07:47:09 +0200 | causal | (~eric@50.35.88.207) |
2024-05-13 07:50:35 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-13 07:51:03 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
2024-05-13 07:51:27 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-13 08:01:56 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds)) |
2024-05-13 08:02:03 +0200 | ames4 | (~amelia@offtopia/offtopian/amelia) |
2024-05-13 08:02:41 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Ping timeout: 252 seconds) |
2024-05-13 08:02:55 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) |
2024-05-13 08:03:43 +0200 | ames4 | ames |
2024-05-13 08:03:47 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
2024-05-13 08:04:10 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
2024-05-13 08:04:17 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-13 08:07:27 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-05-13 08:07:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-13 08:07:44 +0200 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
2024-05-13 08:12:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-13 08:14:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-13 08:20:22 +0200 | Square2 | (~Square4@user/square) |
2024-05-13 08:31:13 +0200 | <c_wraith> | johnw: it's inherently going to be unlawful, because invalid changes to the string will break it. There's nothing in lens that's allowed to fail in that direction. If you accept that and simply proceed with something like your shown definition, that's as good as you'll get without inventing something new. |
2024-05-13 08:36:05 +0200 | <c_wraith> | there are some unlawful things in lens with failure modes like that, which sort of just... Make something up if their preconditions are violated. |
2024-05-13 08:36:12 +0200 | <c_wraith> | > (1,2,3) & partsOf each %~ tail |
2024-05-13 08:36:13 +0200 | <lambdabot> | (2,3,3) |
2024-05-13 08:42:38 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-05-13 08:48:43 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
2024-05-13 08:48:49 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-13 08:51:13 +0200 | hippoid | (~hippoid@user/hippoid) (Ping timeout: 272 seconds) |
2024-05-13 08:52:50 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
2024-05-13 08:53:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-13 08:54:38 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-13 08:57:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-13 08:57:36 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-13 08:57:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-13 09:01:00 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-13 09:01:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-13 09:02:22 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-13 09:17:46 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-13 09:24:35 +0200 | Mach | (~Mach@2a02:2f09:d304:200:c99a:4ebf:7882:c432) |
2024-05-13 09:26:29 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
2024-05-13 09:30:00 +0200 | Mach` | (~Mach@86.127.202.233) |
2024-05-13 09:33:53 +0200 | Mach | (~Mach@2a02:2f09:d304:200:c99a:4ebf:7882:c432) (Ping timeout: 268 seconds) |
2024-05-13 09:35:45 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:c203:8a4c:1ac4:3af) |
2024-05-13 09:37:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
2024-05-13 09:44:17 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-13 09:45:39 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
2024-05-13 09:48:12 +0200 | brox66 | (~brox66@user/brox66) |
2024-05-13 09:49:09 +0200 | notzmv | (~daniel@user/notzmv) |
2024-05-13 09:50:05 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-05-13 09:52:25 +0200 | <brox66> | Hello, I want to set up a stack project that uses BNFC to generate some parser code. Is it possible to configure a pre-build hook that calls bnfc's makefile before stack's build starts? |
2024-05-13 09:54:06 +0200 | <Hecate> | it's usually what a Setup.hs helps you with |
2024-05-13 09:54:08 +0200 | <Hecate> | Custom build type |
2024-05-13 09:54:25 +0200 | <Hecate> | brox66: but personally I use a Makefile that calls the two rules one after the other |
2024-05-13 10:00:56 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-13 10:01:33 +0200 | <brox66> | Thanks! Yes, I'll probably usa a Makefile instead. |
2024-05-13 10:14:32 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
2024-05-13 10:14:38 +0200 | <Hecate> | brox66: here's an example: https://github.com/flora-pm/flora-server/blob/development/Makefile#L7-L8 |
2024-05-13 10:15:39 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-13 10:17:07 +0200 | chele | (~chele@user/chele) |
2024-05-13 10:17:20 +0200 | <brox66> | Hecate, big Makefile! |
2024-05-13 10:17:55 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 246 seconds) |
2024-05-13 10:19:07 +0200 | <Hecate> | brox66: aye |
2024-05-13 10:19:13 +0200 | <probie> | That's a neat low-effort way to do "help" |
2024-05-13 10:19:19 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
2024-05-13 10:19:39 +0200 | <Hecate> | yup' |
2024-05-13 10:23:23 +0200 | titibandit | (~titibandi@user/titibandit) |
2024-05-13 10:29:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-13 10:31:05 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-13 10:34:10 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:c203:8a4c:1ac4:3af) (Ping timeout: 256 seconds) |
2024-05-13 10:35:15 +0200 | brox66 | (~brox66@user/brox66) (Ping timeout: 250 seconds) |
2024-05-13 10:43:02 +0200 | danse-nr3 | (~danse-nr3@151.43.89.126) |
2024-05-13 10:45:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-13 10:51:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-13 11:07:46 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2024-05-13 11:07:54 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-05-13 11:34:31 +0200 | robosexual | (~spaceoyst@5.167.241.127) |
2024-05-13 11:44:39 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:4127:3bc6:8e36:8fc3) |
2024-05-13 11:44:39 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:4127:3bc6:8e36:8fc3) (Changing host) |
2024-05-13 11:44:39 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-05-13 11:44:39 +0200 | tremon | (~tremon@83.80.159.219) |
2024-05-13 11:47:19 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-05-13 11:49:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-13 12:01:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-13 12:02:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc3784e5c6ff7798483a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-13 12:21:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2024-05-13 12:30:25 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-13 12:30:39 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:edc2:acd4:e500:7824) |
2024-05-13 12:32:21 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-13 12:32:25 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-13 12:34:08 +0200 | Mach` | (~Mach@86.127.202.233) (Quit: Leaving) |
2024-05-13 12:36:01 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2024-05-13 12:38:57 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-13 12:41:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-13 12:41:48 +0200 | danse-nr3 | (~danse-nr3@151.43.89.126) (Ping timeout: 260 seconds) |
2024-05-13 12:52:52 +0200 | <ncf> | johnw: there isn't a lawful way to do this with lens, because you could modify the String to something that doesn't parse back as an Int. here's something i did a few days ago as a joke: https://ircbrowse.tomsmeding.com/day/lchaskell/2024/04/30?id=1266594#trid1266594 |
2024-05-13 12:53:38 +0200 | <ncf> | treats the _Show prism as a partial Iso and turns it around |
2024-05-13 12:53:46 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc37b9c7c34e6fbc03d6.dip0.t-ipconnect.de) |
2024-05-13 12:54:06 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-05-13 12:56:49 +0200 | <ncf> | > 123 & fromP' _Show . _head .~ '4' |
2024-05-13 12:56:51 +0200 | <lambdabot> | 423 |
2024-05-13 12:57:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-13 12:58:47 +0200 | <Taneb> | Nice |
2024-05-13 12:59:04 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-05-13 13:00:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
2024-05-13 13:01:59 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-05-13 13:08:46 +0200 | <ncf> | maybe you could achieve something like this lawfully in a dependently typed language, with dependent lenses (https://www.cse.chalmers.se/~nad/publications/danielsson-dependent-lenses.pdf) |
2024-05-13 13:09:29 +0200 | <ncf> | approximating Int as a subtype of String |
2024-05-13 13:09:49 +0200 | <ncf> | Σ (s : String) "s parses as an Int" |
2024-05-13 13:10:54 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (Remote host closed the connection) |
2024-05-13 13:16:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2024-05-13 13:17:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2024-05-13 13:19:10 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-13 13:19:37 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-05-13 13:19:43 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:edc2:acd4:e500:7824) (Ping timeout: 256 seconds) |
2024-05-13 13:24:31 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
2024-05-13 13:24:40 +0200 | gehmehgeh | gmg |
2024-05-13 13:29:58 +0200 | <[exa]> | dmj`: re the MicroHs, I've got a tiny assembly graph reducing machine here and it looks like it could evaluate the combinators just as well. Which would be great because the footprint of microhs would basically lose the C compiler requirement, and there are a few other funny ways to make it portable |
2024-05-13 13:30:17 +0200 | <[exa]> | like, I'll try to do that in free time over the summer. Guess will post it here in case anything materializes |
2024-05-13 13:39:51 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:1bf3:ed53:e9f:88f4) |
2024-05-13 13:39:55 +0200 | <kuribas> | ncf: IsJust (readMaybe s : Maybe Int) |
2024-05-13 13:40:44 +0200 | <kuribas> | Or (s ** IsJust (readMaybe s : Maybe Int)) |
2024-05-13 13:41:14 +0200 | <kuribas> | But then why not just use Int? |
2024-05-13 13:41:31 +0200 | <ncf> | what's ** ? |
2024-05-13 13:42:48 +0200 | <ncf> | the point is to have a dependent lens that lets you modify the first component of the sigma type that is "isomorphic" to Int |
2024-05-13 13:43:02 +0200 | <ncf> | i don't think you can do this in haskell |
2024-05-13 13:44:00 +0200 | <kuribas> | ncf: idris dependent pair operator |
2024-05-13 13:44:09 +0200 | <ncf> | oh, so that's what i wrote then |
2024-05-13 13:44:48 +0200 | <kuribas> | But a string that is "isomorphic" to Int is not very useful. |
2024-05-13 13:44:52 +0200 | <kuribas> | Just use Int then. |
2024-05-13 13:45:54 +0200 | <ncf> | sure, the type is not very interesting on its own, it's just part of the definition of the lens |
2024-05-13 13:46:12 +0200 | <ncf> | just like a regular Lens a b is some type c with an isomorphism a ≃ b × c |
2024-05-13 13:46:37 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-13 13:47:07 +0200 | <ncf> | (https://www.twanvl.nl/blog/haskell/isomorphism-lenses) |
2024-05-13 13:49:23 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
2024-05-13 13:49:23 +0200 | danse-nr3 | (~danse-nr3@an-19-162-214.service.infuturo.it) |
2024-05-13 13:51:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-13 13:54:03 +0200 | <ncf> | hmm this is probably not what dependent lenses actually achieve though |
2024-05-13 13:54:10 +0200 | danse-nr3 | (~danse-nr3@an-19-162-214.service.infuturo.it) (Ping timeout: 255 seconds) |
2024-05-13 13:54:32 +0200 | danse-nr3 | (~danse-nr3@an-19-162-214.service.infuturo.it) |
2024-05-13 13:57:54 +0200 | <syscall1> | LIST |
2024-05-13 13:58:09 +0200 | syscall1 | (~syscall@2409:40c1:500a:3a4f:1bf3:ed53:e9f:88f4) (Quit: WeeChat 4.2.2) |
2024-05-13 13:59:31 +0200 | <int-e> | . o O ( back to the BASICs ) |
2024-05-13 14:04:05 +0200 | <ncf> | like, in order to set (f : String → String) over the first component of Σ (s : String) P(s) you'd have to also provide a proof that P(s) → P(f(s))... but then you're not gaining anything from the lens interface |
2024-05-13 14:05:22 +0200 | <ncf> | and then if you wanted to somehow compose that with _head then that would turn into P(s) → P(over _head f s) |
2024-05-13 14:06:03 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
2024-05-13 14:06:55 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Max SendQ exceeded) |
2024-05-13 14:07:19 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-13 14:07:20 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
2024-05-13 14:10:23 +0200 | yin | (~yin@user/zero) (Remote host closed the connection) |