[HN Gopher] Carnap - A formal logic framework for Haskell
___________________________________________________________________
Carnap - A formal logic framework for Haskell
Author : ravenical
Score : 97 points
Date : 2025-12-23 09:17 UTC (13 hours ago)
(HTM) web link (carnap.io)
(TXT) w3m dump (carnap.io)
| throwaway4x4 wrote:
| Past experience in logical frameworks tend to specify
| documentclass: script, letter, report, etc.
| keiferski wrote:
| If you were wondering, the name comes from a famous philosopher
| and logician:
|
| https://en.wikipedia.org/wiki/Rudolf_Carnap
| Pet_Ant wrote:
| 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 wrote:
| 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 wrote:
| 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 wrote:
| Or maybe it's finished ?
| mark_l_watson wrote:
| +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 wrote:
| 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
| imovie4 wrote:
| the list is also incomplete! I used carnap for intro logic
| and my college isn't there
| ravenical wrote:
| My university's course (how I found out about it) isn't
| there either - seems like it's mostly US-focused
| gleachkr wrote:
| Y'all want to email me? I'll see about updating the list.
| gleachkr wrote:
| Hey, Carnap creator here. Definitely not dead (still actively
| used by plenty of universities), but pretty stable these days.
| cubefox wrote:
| 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 wrote:
| I don't like the trend of naming computer hardware after fruit.
| ffuxlpff wrote:
| I don't like naming things after other things. Names should
| be self explanatory or random codes.
| Cheyana wrote:
| Everything should just be in Zalgo text.
| thih9 wrote:
| Instead of a single name an AI should dynamically
| generate the name that best represents the product's
| current iteration. In Zalgo text.
| cartucho1 wrote:
| For something similar, but in Python, I made this a while ago:
|
| https://logics.readthedocs.io/en/latest/
|
| GUI here:
|
| https://taut-logic.com/
| Cheyana wrote:
| Oh I know what I'm doing on my lunch break today.
| jonjacky wrote:
| I, too, made something similar in Python -- but simpler and
| less polished:
|
| https://jon-jacky.github.io/FLiP/www/
|
| https://github.com/jon-jacky/FLiP/
___________________________________________________________________
(page generated 2025-12-23 23:01 UTC)