0

I am a professional programmer and when I came across David Gries' book(rather expensive) and his website I was fascinated. This wasn't how I learnt to code(mainly Java but also basic Haskell and Ocaml ). But I couldn't understand how this mode of logic or math can be applied to application code. So I seek some guidance from those who really code like this. Can one read this rigorous book and learn to code ( mainly functional programming languages ) ? Is this logic and math directly applicable to code ?

Mohan Radhakrishnan
  • 101
  • 2
  • 1
    I am not entirely certain, but the question looks like it might be a better fit for [Computer Science Stack Exchange](https://cs.stackexchange.com/help/on-topic). – TuringTux Aug 01 '22 at 09:32
  • I looked at that forum. Seems like If I have specific logic questions I can ask there. – Mohan Radhakrishnan Aug 01 '22 at 12:26
  • Haskell road to logic https://books.google.co.in/books/about/The_Haskell_Road_to_Logic_Maths_and_Prog.html?id=YCC6lwEACAAJ&source=kp_book_description&redir_esc=y may be more close to what you seek than Gries /Schneider. I could say more if it's needed... Meanwhile see my https://cseducators.stackexchange.com/search?q=user:8837+[functional-programming] – Rusi Aug 01 '22 at 16:02
  • Just to retract slightly : Haskell road to logic is not a great book but is in the direction you're seeking. Gries is a superb book but not (very) useful for your direction – Rusi Aug 02 '22 at 04:00
  • One more point : since you're into python + machine learning I'd recommend APL. It's a functional language as old as lisp but much neglected. If you grok numpy and you study APL you'll see the original of which numpy is a poor imitation. For non FP-ers APL can be frightening. Coming from an FP perspective you should find it accessible and enjoyable. And Dyalog is nowadays freely downloadable – Rusi Aug 02 '22 at 05:41

0 Answers0