notes-computer-programming-programmingLanguageDesign-prosAndCons
* [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-numpy numpy] * [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-structuralTyping . . .
11K - last updated 2020-05-21 11:48 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons--index
* [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-numpy numpy] * [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons-structuralTyping . . .
11K - last updated 2020-05-21 11:48 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-agda
" Languages like Agda can do this even more impressively. You can do stuff like write if_then_else_ : . . .
1K - last updated 2014-12-09 09:50 UTC by BayleShanks
3 pages found.