Package Details: typed 3.1.78-9

Git Clone URL: https://aurweb-goaurrpc-uat.sandbox.archlinux.page/typed.git (read-only, click to copy)
Package Base: typed
Description: None
Upstream URL: None
Conflicts: introspected
Submitter: interpersonal
Maintainer: polytheists
Last Packager: dora
Votes: 14
Popularity: 13.15
First Submitted: 2025-12-13 10:40 (UTC)
Last Updated: 2025-12-13 10:40 (UTC)

Dependencies (13)

Required by (10)

Sources (2)

Latest Comments

elements commented on 2025-12-15 19:28 (UTC)

"We are not endeavoring to chain the future but to free the present. ... We are the advocates of inquiry, investigation, and thought. ... It is grander to think and investigate for yourself than to repeat a creed. ... I look for the day when *reason*, throned upon the worlds brains, shall be the King of Kings and the God of Gods. -- Robert G. Ingersoll

inexpediency commented on 2025-12-15 14:58 (UTC)

"One lawyer can steal more than a hundred men with guns." -- The Godfather

felling commented on 2025-12-14 07:10 (UTC)

Do not allow this language (Ada) in its present state to be used in applications where reliability is critical, i.e., nuclear power stations, cruise missiles, early warning systems, anti-ballistic missile defense systems. The next rocket to go astray as a result of a programming language error may not be an exploratory space rocket on a harmless trip to Venus: It may be a nuclear warhead exploding over one of our cities. An unreliable programming language generating unreliable programs constitutes a far greater risk to our environment and to our society than unsafe cars, toxic pesticides, or accidents at nuclear power stations. -- C. A. R. Hoare