5 ms·

Carnap – A formal logic framework for Haskell

114 points by ravenical 10mo ago

throwaway4x4 10mo ago
Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.
keiferski 10mo ago
If you were wondering, the name comes from a famous philosopher and logician: https://en.wikipedia.org/wiki/Rudolf_Carnap https://en.wikipedia.org/wiki/Rudolf_Carnap
- Pet_Ant 10mo ago
  Thanks... you just ruined it. I was so happy that finally that splendid slumber during transportation was finally getting the recognition it so richly deserves. ;)
  - keiferski 10mo ago
    Ha, I’ve been familiar with Carnap for probably a decade and it took your comment for me to realize his name is Car Nap.
netdevphoenix 10mo ago
An Open Tower project. Copyright 2015-2024. Doesn't look like it is been updated in a while. And the GitHub repos last commits are even older. Dead project?
- LandR 10mo ago
  Or maybe it's finished ?
  - mark_l_watson 10mo ago
    +1 It seems to of had the web app portion updated a year ago. And as you say, the application itself looks ‘done.’ I have frequently used Common Lisp over the last 40 years, and I hear comments about libraries being old and not updated in many years: so what! Quality code that performs a specific function sometimes is ‘done.’ I am a novice Haskell programmer but I enjoy the language and it is very cool to have the Carnap github repo with a book manuscript, backend and front end code to look over.
- benrutter 10mo ago
  I think that's probably unlikely given the long list of universities using it[0]. It's an educational tool for formal propositional logic which hasn't really changed much on 100 years, so probably not a lot of updates are required unless there are big new updates to Haskell itself. [0] https://carnap.io/about https://carnap.io/about
  - imovie4 10mo ago
    the list is also incomplete! I used carnap for intro logic and my college isn't there
    - ravenical 10mo ago
      My university's course (how I found out about it) isn't there either - seems like it's mostly US-focused
      - gleachkr 10mo ago
        Y'all want to email me? I'll see about updating the list.
- gleachkr 10mo ago
  Hey, Carnap creator here. Definitely not dead (still actively used by plenty of universities), but pretty stable these days.
cubefox 10mo ago
I don't like the trend of naming software projects after real people. It makes web search harder both for people who try to find the person and for people who try to find the project.
- amelius 10mo ago
  I don't like the trend of naming computer hardware after fruit.
  - ffuxlpff 10mo ago
    I don't like naming things after other things. Names should be self explanatory or random codes.
    - Cheyana 10mo ago
      Everything should just be in Zalgo text.
      - thih9 10mo ago
        Instead of a single name an AI should dynamically generate the name that best represents the product’s current iteration. In Zalgo text.
cartucho1 10mo ago
For something similar, but in Python, I made this a while ago: https://logics.readthedocs.io/en/latest/ https://logics.readthedocs.io/en/latest/ GUI here: https://taut-logic.com/ https://taut-logic.com/
- deleted 10mo ago
  [deleted]
- Cheyana 10mo ago
  Oh I know what I'm doing on my lunch break today.
- jonjacky 10mo ago
  I, too, made something similar in Python -- but simpler and less polished: https://jon-jacky.github.io/FLiP/www/ https://jon-jacky.github.io/FLiP/www/ https://github.com/jon-jacky/FLiP/ https://github.com/jon-jacky/FLiP/

114 points by ravenical 10mo ago

Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.

If you were wondering, the name comes from a famous philosopher and logician: https://en.wikipedia.org/wiki/Rudolf_Carnap https://en.wikipedia.org/wiki/Rudolf_Carnap

Pet_Ant 10mo ago
Thanks... you just ruined it. I was so happy that finally that splendid slumber during transportation was finally getting the recognition it so richly deserves. ;)
- keiferski 10mo ago
  Ha, I’ve been familiar with Carnap for probably a decade and it took your comment for me to realize his name is Car Nap.

netdevphoenix 10mo ago

LandR 10mo ago
Or maybe it's finished ?
- mark_l_watson 10mo ago
  +1 It seems to of had the web app portion updated a year ago. And as you say, the application itself looks ‘done.’ I have frequently used Common Lisp over the last 40 years, and I hear comments about libraries being old and not updated in many years: so what! Quality code that performs a specific function sometimes is ‘done.’ I am a novice Haskell programmer but I enjoy the language and it is very cool to have the Carnap github repo with a book manuscript, backend and front end code to look over.
benrutter 10mo ago
I think that's probably unlikely given the long list of universities using it[0]. It's an educational tool for formal propositional logic which hasn't really changed much on 100 years, so probably not a lot of updates are required unless there are big new updates to Haskell itself. [0] https://carnap.io/about https://carnap.io/about
- imovie4 10mo ago
  the list is also incomplete! I used carnap for intro logic and my college isn't there
  - ravenical 10mo ago
    My university's course (how I found out about it) isn't there either - seems like it's mostly US-focused
    - gleachkr 10mo ago
      Y'all want to email me? I'll see about updating the list.
gleachkr 10mo ago
Hey, Carnap creator here. Definitely not dead (still actively used by plenty of universities), but pretty stable these days.

cubefox 10mo ago

I don't like the trend of naming software projects after real people. It makes web search harder both for people who try to find the person and for people who try to find the project.

amelius 10mo ago
I don't like the trend of naming computer hardware after fruit.
- ffuxlpff 10mo ago
  I don't like naming things after other things. Names should be self explanatory or random codes.
  - Cheyana 10mo ago
    Everything should just be in Zalgo text.
    - thih9 10mo ago
      Instead of a single name an AI should dynamically generate the name that best represents the product’s current iteration. In Zalgo text.

cartucho1 10mo ago

For something similar, but in Python, I made this a while ago: https://logics.readthedocs.io/en/latest/ https://logics.readthedocs.io/en/latest/ GUI here: https://taut-logic.com/ https://taut-logic.com/

deleted 10mo ago
[deleted]
Cheyana 10mo ago
Oh I know what I'm doing on my lunch break today.
jonjacky 10mo ago
I, too, made something similar in Python -- but simpler and less polished: https://jon-jacky.github.io/FLiP/www/ https://jon-jacky.github.io/FLiP/www/ https://github.com/jon-jacky/FLiP/ https://github.com/jon-jacky/FLiP/