Logs: liberachat/#haskell
| 2021-07-28 12:05:45 | <lechner> | pijul looks good |
| 2021-07-28 12:06:11 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:3948:b266:7c2d:ce0c) |
| 2021-07-28 12:11:06 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-28 12:11:54 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-28 12:17:57 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-28 12:19:22 | <maerwald> | merijn: my main reason is that the main dev seems to have odd problem with open source and or licensing |
| 2021-07-28 12:20:12 | <lechner> | maerwald: that's not good |
| 2021-07-28 12:22:58 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-28 12:24:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-28 12:28:52 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds) |
| 2021-07-28 12:30:26 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-28 12:30:40 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-28 12:31:48 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-28 12:31:57 | × | fm quits (~fm@user/fm) (Remote host closed the connection) |
| 2021-07-28 12:37:11 | → | sergio812 joins (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) |
| 2021-07-28 12:41:33 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 2021-07-28 12:41:41 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-28 12:43:59 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-28 12:44:18 | → | fendor_ joins (~fendor@178.165.161.179.wireless.dyn.drei.com) |
| 2021-07-28 12:45:38 | × | fendor quits (~fendor@178.165.190.92.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-07-28 12:48:20 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 252 seconds) |
| 2021-07-28 12:49:16 | <sergio812> | Hi there! |
| 2021-07-28 12:49:16 | <sergio812> | I wrote a function taking a list of non-negative integers and producing a list of lists of integers (i.e. "int_seq :: [Int] -> [[Int]]"). |
| 2021-07-28 12:49:17 | <sergio812> | To each integer in the input list corresponds a list of that exact size. |
| 2021-07-28 12:49:17 | <sergio812> | Integers in the result form the increasing sequence of positive integers starting at 1. |
| 2021-07-28 12:49:18 | <sergio812> | E.g. |
| 2021-07-28 12:49:18 | <sergio812> | int_seq [3,2,1] -> [[1,2,3],[4,5],[6]] |
| 2021-07-28 12:49:19 | <sergio812> | int_seq [1,2,3] -> [[1],[2,3],[4,5,6]] |
| 2021-07-28 12:49:19 | <sergio812> | int_seq [3,0,2,7,5,1] -> [[1,2,3],[],[4,5],[6,7,8,9,10,11,12],[13,14,15,16,17],[18]] |
| 2021-07-28 12:49:20 | <sergio812> | I have a solution that I find a bit terse and would like to have comment on it. |
| 2021-07-28 12:49:20 | <sergio812> | Should I paste it here, or is there another place for such requests? |
| 2021-07-28 12:49:24 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-28 12:50:11 | <lechner> | dpaste.org, maybe? |
| 2021-07-28 12:50:59 | <merijn> | https://paste.tomsmeding.com/ |
| 2021-07-28 12:51:29 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-28 12:53:32 | <sergio812> | It's only 7 lines, wouldn't it be OK here? |
| 2021-07-28 12:53:44 | <Clint> | no |
| 2021-07-28 12:53:45 | <maerwald> | 3 is the general consensus |
| 2021-07-28 12:54:11 | × | anandprabhu quits (~anandprab@193.138.218.160) (Quit: Leaving) |
| 2021-07-28 12:54:17 | <sergio812> | ok |
| 2021-07-28 12:54:37 | <lechner> | it's tough to browse history otherwise |
| 2021-07-28 12:55:12 | <dminuoso> | Also, the network spam detection will disconnect you quite quickly if you send too many lines in short repetition. |
| 2021-07-28 12:55:32 | <dminuoso> | Possibly followed by a ban :) |
| 2021-07-28 12:56:08 | <lechner> | that's more his problem and not ours, though |
| 2021-07-28 12:56:37 | <sergio812> | well, yes, it's mine, that's why I ask :-) |
| 2021-07-28 12:56:59 | <lechner> | anyway, welcome! rowdy bunch |
| 2021-07-28 13:01:08 | → | alx741 joins (~alx741@181.196.69.4) |
| 2021-07-28 13:01:49 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-28 13:01:55 | <sergio812> | https://paste.tomsmeding.com/FIZYG5jH |
| 2021-07-28 13:03:11 | <sergio812> | Sorry, missed a definition: https://paste.tomsmeding.com/L7uPK6XT |
| 2021-07-28 13:05:47 | <lechner> | i'm too inexperienced to offer advice here, but that looks like two nested iterate's to me |
| 2021-07-28 13:07:42 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 2021-07-28 13:11:57 | <sergio812> | I realize now that fusing the "replicate" inside the "accum" function might have been a good idea (thereby getting rid of the call to "length") |
| 2021-07-28 13:12:06 | <sergio812> | Which gives: https://paste.tomsmeding.com/Ex6Lp1K6 |
| 2021-07-28 13:12:37 | <sergio812> | (But still not sure it's easy to grasp/read...) |
| 2021-07-28 13:12:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-28 13:12:54 | → | chris_ joins (~chris@host-92-26-85-237.static.as13285.net) |
| 2021-07-28 13:17:10 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-28 13:17:10 | × | Deide[m] quits (~deidehalo@2001:470:69fc:105::c89a) (Quit: issued !quit command) |
| 2021-07-28 13:19:16 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-28 13:20:32 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 245 seconds) |
| 2021-07-28 13:26:32 | fendor_ | is now known as fendor |
| 2021-07-28 13:28:17 | → | Deide[m] joins (~deidehalo@2001:470:69fc:105::c89a) |
| 2021-07-28 13:29:42 | ← | Deide[m] parts (~deidehalo@2001:470:69fc:105::c89a) () |
| 2021-07-28 13:33:23 | → | stevenxl joins (uid133530@id-133530.highgate.irccloud.com) |
| 2021-07-28 13:35:54 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-28 13:38:21 | → | jippiedoe joins (~david@2a02-a448-48bd-1-52db-d00b-e589-7ee1.fixed6.kpn.net) |
| 2021-07-28 13:39:48 | × | jippiedoe quits (~david@2a02-a448-48bd-1-52db-d00b-e589-7ee1.fixed6.kpn.net) (Remote host closed the connection) |
| 2021-07-28 13:40:10 | → | jippiedoe joins (~david@2a02-a448-48bd-1-2e30-a96b-40f3-d366.fixed6.kpn.net) |
| 2021-07-28 13:40:48 | → | fluffyballoon joins (~fluffybal@pat-verona-h.epic.com) |
| 2021-07-28 13:41:55 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b95049518cd6c04553bbc.dip0.t-ipconnect.de) |
| 2021-07-28 13:44:16 | × | chris_ quits (~chris@host-92-26-85-237.static.as13285.net) (Remote host closed the connection) |
| 2021-07-28 13:44:48 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-28 13:45:18 | × | acidjnk_new quits (~acidjnk@p200300d0c72b950729faca9193881d78.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-28 13:46:55 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-28 13:51:27 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-28 14:01:23 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-28 14:01:27 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Client Quit) |
| 2021-07-28 14:01:48 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-28 14:05:46 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 2021-07-28 14:05:58 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-28 14:08:22 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Remote host closed the connection) |
| 2021-07-28 14:22:27 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 276 seconds) |
| 2021-07-28 14:23:09 | <Axman6> | sergio812: my solution, theree's probably some ways to remove the explicit recursion but I think this is clear: |
| 2021-07-28 14:23:25 | <Axman6> | > let f [] = []; f xs = go xs [1..] where go [] _ = []; go (i:is) ns = let (l,r) = splitAt i ns in l : go is r in f [1,5,2,3,6,3] |
| 2021-07-28 14:23:27 | <lambdabot> | [[1],[2,3,4,5,6],[7,8],[9,10,11],[12,13,14,15,16,17],[18,19,20]] |
| 2021-07-28 14:23:56 | <Axman6> | there's also a fun implementation using the state monad now I think od it |
| 2021-07-28 14:23:58 | <Axman6> | of* |
| 2021-07-28 14:25:49 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-28 14:26:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-28 14:27:06 | → | pschorf joins (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-07-28 14:27:46 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 2021-07-28 14:29:47 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-28 14:31:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-28 14:32:39 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-28 14:33:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-28 14:35:32 | × | pgib quits (~textual@173.38.117.81) (Quit: 00 PC LOAD LETTER) |
| 2021-07-28 14:37:16 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-28 14:38:26 | <lechner> | Hi, cabal-fmt replaced license: GPL-2.0-or-later with GPL-2.0 even though the cabal user guide states that the license names are from SPDX. Why is that, please? https://cabal.readthedocs.io/en/3.4/cabal-package.html#pkg-field-license |
| 2021-07-28 14:40:23 | <lechner> | my COPYING file includes the "or later" language |
All times are in UTC.