Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 .. 18046
— 1,804,521 events total
2021-08-27 00:48:22 <c_wraith> If there are top-level type signatures and you're not doing too much in one place, it tends to be easier to read code than write it
2021-08-27 00:48:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-27 00:48:49 <c_wraith> Because you don't need to follow the plumbing details. You can just know the compiler enforced getting it correct
2021-08-27 00:50:40 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-08-27 00:50:53 → favonia joins (~favonia@user/favonia)
2021-08-27 00:51:04 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-27 00:54:12 → lavaman joins (~lavaman@98.38.249.169)
2021-08-27 00:57:28 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:80b:4b4e:c456:3347)
2021-08-27 00:59:03 → thyriaen joins (~thyriaen@x4db77c74.dyn.telefonica.de)
2021-08-27 01:00:40 × roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:a00e:962b:3f01:b758) (Ping timeout: 240 seconds)
2021-08-27 01:05:56 × lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-08-27 01:06:20 → d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl)
2021-08-27 01:06:41 → hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de)
2021-08-27 01:08:59 → neo1 joins (~neo3@cpe-292712.ip.primehome.com)
2021-08-27 01:10:57 × hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2021-08-27 01:13:14 → neurocyte8 joins (~neurocyte@185.117.69.230)
2021-08-27 01:13:14 × neurocyte8 quits (~neurocyte@185.117.69.230) (Changing host)
2021-08-27 01:13:14 → neurocyte8 joins (~neurocyte@user/neurocyte)
2021-08-27 01:15:19 × neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds)
2021-08-27 01:15:19 neurocyte8 is now known as neurocyte
2021-08-27 01:16:54 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-27 01:17:22 → renzhi joins (~xp@2607:fa49:6500:3d00::d986)
2021-08-27 01:20:22 × azeem quits (~azeem@176.200.209.130) (Ping timeout: 252 seconds)
2021-08-27 01:20:38 → azeem joins (~azeem@176.200.202.203)
2021-08-27 01:21:54 <lechner> Hi, sorry it is a bit off-topic: Does anyone know of an extremely simple language/parser for logic expressions? i'm looking for symbols (but no math), conditionals and AND/OR/NOT. Would prefer not to write one. Thanks!
2021-08-27 01:22:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-08-27 01:23:30 → lavaman joins (~lavaman@98.38.249.169)
2021-08-27 01:25:49 <haskl> Has anyone here used cabal-docspec?
2021-08-27 01:25:50 <roboguy_> lechner: does it have to be certain symbols?
2021-08-27 01:27:17 <lechner> they would have meaning (module names)
2021-08-27 01:28:08 <roboguy_> lechner: I mean, do they have to be like certain specific symbols like \/ means AND, etc or does it not really matter what the text of the symbols are?
2021-08-27 01:28:12 <roboguy_> if that makes sense
2021-08-27 01:29:27 → hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de)
2021-08-27 01:29:27 × sszark2 quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2021-08-27 01:30:34 <lechner> roboguy_: they represent exernal logic variables that come from elsewhere, and should be more or less arbitrary text (sans keywords, if needed)
2021-08-27 01:30:41 <roboguy_> if it doesn't really matter, you could probably use Haskell's parser and define a datatype with some infix constructors, etc. You can specify the precendence
2021-08-27 01:31:13 <roboguy_> and then use the derived Read instance
2021-08-27 01:31:42 → sszark2 joins (~sszark@h-155-4-128-59.na.cust.bahnhof.se)
2021-08-27 01:33:01 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-27 01:33:35 <roboguy_> although, if it is external text that comes from elsewhere, that makes me think that it does need to be a certain format? Not sure I understand fully, though
2021-08-27 01:33:35 <lechner> due to Haskell's executable size I probably have use a recursive parser (or maybe a language like rust). i just could not think of a place with more Ph.D.s in mathematics
2021-08-27 01:33:53 × hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2021-08-27 01:34:02 <lechner> i am really looking for a specification, i think
2021-08-27 01:34:47 <lechner> it has to be fast
2021-08-27 01:34:49 <roboguy_> like, you could make a data type like: "data Expr = Expr :&&: Expr | Expr :||: Expr | ... deriving (Read)", specify the fixity and precedence and then the Read instance should parse those expressions for you
2021-08-27 01:35:00 <roboguy_> ah
2021-08-27 01:36:22 <lechner> not that haskell is slow, but this would be for a lower system component in linux dealing with authentication
2021-08-27 01:38:10 <roboguy_> you probably need a specific language in mind to find a parser library for that
2021-08-27 01:38:47 × xff0x quits (~xff0x@2001:1a81:53a5:7900:930f:bdfe:83e3:2183) (Ping timeout: 240 seconds)
2021-08-27 01:39:12 <roboguy_> searching for "precedence parser" might help you find some libraries (together with a programming language name), though
2021-08-27 01:40:54 → xff0x joins (~xff0x@2001:1a81:53dc:be00:b65c:39d2:8f04:a6df)
2021-08-27 01:41:19 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds)
2021-08-27 01:41:37 <lechner> i am looking to replace the awful logic of Linux PAM https://serverfault.com/questions/134471/success-n-control-syntax-in-pam-conf-pam-d-files
2021-08-27 01:48:07 × azeem quits (~azeem@176.200.202.203) (Ping timeout: 240 seconds)
2021-08-27 01:48:20 → azeem joins (~azeem@176.200.202.203)
2021-08-27 01:50:57 × d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds)
2021-08-27 01:51:24 <lechner> maybe something like this https://jsonlogic.com/
2021-08-27 01:53:22 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-08-27 01:59:27 × azeem quits (~azeem@176.200.202.203) (Ping timeout: 240 seconds)
2021-08-27 02:00:10 → azeem joins (~azeem@176.200.202.203)
2021-08-27 02:00:25 <dsal> In case anyone's looking to help someone out over on Quora: https://usercontent.irccloud-cdn.com/file/qxOZ9t9C/%CE%BB.png
2021-08-27 02:03:46 → lavaman joins (~lavaman@98.38.249.169)
2021-08-27 02:06:34 <monochrom> lechner: https://wiki.haskell.org/Parsing_expressions_and_statements shows how to use parsec to parse expressions with very minimal coding as soon as you have decided on operator precedence and associativity. You only need to read up to and including "expression parser", i.e., you can skip "statement parser" (unless you also have statements/commands)
2021-08-27 02:08:13 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-08-27 02:10:40 × dadude quits (~da1dude@112.201.99.74) (Quit: Leaving)
2021-08-27 02:16:43 <Clint> lechner: i ended up switching to alex/happy for that type of thing, but there's stuff like https://hackage.haskell.org/package/parsers-0.12.10/docs/Text-Parser-Expression.html
2021-08-27 02:17:14 → thyriaen_ joins (~thyriaen@dynamic-089-012-236-255.89.12.pool.telefonica.de)
2021-08-27 02:17:47 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2021-08-27 02:18:19 × talismanick quits (~user@2601:644:8500:8350::cc04) (Remote host closed the connection)
2021-08-27 02:18:26 <pavonia> "approximate phone number" O.o
2021-08-27 02:19:59 → Codaraxis_ joins (~Codaraxis@user/codaraxis)
2021-08-27 02:20:02 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-08-27 02:20:49 × thyriaen quits (~thyriaen@x4db77c74.dyn.telefonica.de) (Ping timeout: 248 seconds)
2021-08-27 02:21:18 × haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-27 02:21:31 → haykam joins (~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-27 02:23:40 × Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2021-08-27 02:26:13 → Codaraxis__ joins (~Codaraxis@user/codaraxis)
2021-08-27 02:26:33 <lechner> monochrom Clint: thanks for the pointers!
2021-08-27 02:29:10 × td_ quits (~td@94.134.91.22) (Ping timeout: 240 seconds)
2021-08-27 02:30:13 × Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2021-08-27 02:31:14 → td_ joins (~td@94.134.91.64)
2021-08-27 02:31:37 <arahael> pavonia: My approximate phone number, is +630000000000 :) Accurate to two significant figures!
2021-08-27 02:33:32 <pavonia> That's on the Philippines?
2021-08-27 02:37:49 → snicf joins (~snicf@ip98-161-16-64.om.om.cox.net)
2021-08-27 02:38:20 snicf is now known as t3hyoshi
2021-08-27 02:41:49 → martin02 joins (~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1)
2021-08-27 02:43:08 → lavaman joins (~lavaman@98.38.249.169)
2021-08-27 02:47:29 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-08-27 02:48:27 × azeem quits (~azeem@176.200.202.203) (Ping timeout: 240 seconds)
2021-08-27 02:48:39 → azeem joins (~azeem@176.200.202.203)
2021-08-27 02:51:05 × t3hyoshi quits (~snicf@ip98-161-16-64.om.om.cox.net) (Quit: leaving)
2021-08-27 02:51:57 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 250 seconds)
2021-08-27 02:55:53 → slack1256 joins (~slack1256@191.125.176.239)
2021-08-27 02:59:08 → t3hyoshi joins (~snicf@2600:8804:1b96:4900:a9b2:143c:7dd0:6ceb)
2021-08-27 03:03:04 <arahael> australia.
2021-08-27 03:03:20 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-27 03:03:20 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-08-27 03:03:20 → wroathe joins (~wroathe@user/wroathe)
2021-08-27 03:03:32 <arahael> don't know if it includes the phillipines, though. it might.
2021-08-27 03:04:33 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
←Prev  Next→
Page 1 .. 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 .. 18046

All times are in UTC.