[ufik78]

Sądzę, że jest to jedyny język programowania który można szanować pod względem matematycznym, gdyż tylko o nim jestem w stanie udowadniać twierdzenia!

— Gregory Chaitin

#lisp
@phoe: Czy to prawda? Jeśli tak to jak to możliwe?

[phoe]

https://en.wikipedia.org/wiki/ACL2 choćby
poza tym, Haskell dość mocno przygarnął matematykków w dzisiejszych czasach.

[ufik78]

@phoe:

poza tym, Haskell dość mocno przygarnął matematykków w dzisiejszych czasach.

możesz rozwinąć?

[phoe]

@ufik78 https://wiki.haskell.org/Applications_and_libraries/Theorem_provers chociażby. Haskell jest językiem czysto funkcyjnym, a konkretnie implementacją typowanego rachunku lambda, i jako taki jest ceniony przez matematyków, którzy mocno swego czasu narzekali na brak języka ściśle i dokładnie wyrażającego matematykę.

[ufik78]

@phoe: dzięki

[phoe]

@ufik78: no problem