Agda is a dependently typed functional programming language based on intuitionistic Type Theory. Here’s our recommended free books to learn about Agda and Type Theory.
Read more![Programming Books](https://i0.wp.com/www.linuxlinks.com/wp-content/uploads/2019/09/6607-programming-books.jpg?resize=300%2C240&ssl=1)
The Linux Portal Site
Agda is a dependently typed functional programming language based on intuitionistic Type Theory. Here’s our recommended free books to learn about Agda and Type Theory.
Read moreEiffel is an object-oriented programming language designed by Bertrand Meyer and Eiffel Software. Here’s our recommended free books to learn Eiffel.
Read moreChapel is an open-source, high-productivity, parallel-programming language in development at Cray Inc., and is designed to run on multi-core PCs as well as multi-kilocore supercomputers.
Read moreFactor is a dynamic stack-based programming language inspired by earlier stack-based languages like Forth and Joy. Here’s our recommended free books to learn Factor.
Read moreF# (pronounced F sharp) is a general purpose, strongly typed, multi-paradigm programming language. Here’s our recommended free tutorials to learn F#.
Read moreABAP (Advanced Business Application Programming) is a fourth-generation, high-level programming language created by the German software company SAP SE. Here’s our recommended ABAP tutorials.
Read moreDart is a multi-paradigm, object-oriented, class defined, garbage-collected, scripting language using a C-style syntax that can transcompile into JavaScript. Here’s our recommended free tutorials.
Read moreElixir is a dynamic, functional language designed for building scalable and maintainable applications. Here’s our recommended tutorials to master this language.
Read moreTcl (Tool Command Language) is a dynamic programming/scripting language based on concepts of Lisp, C, and Unix shells. Here’s our recommended free Tcl books
Read moreLaTeX is a professional document preparation system and document markup language written by Leslie Lamport. It’s a very mature system with development starting more than 30 years ago. Here’s our recommended tutorials to learn LaTeX.
Read moreCoffeeScript is a very succinct programming language that transcompiles into JavaScript, so there is no interpretation at runtime.
Read moreBASIC (Beginner’s All-purpose Symbolic Instruction Code) is a family of general-purpose, high-level programming languages whose design philosophy emphasizes ease of use. Here’s our recommended free tutorials to learn BASIC.
Read moreRacket is a general-purpose, object-oriented, multi-paradigm, functional, imperative, logic based programming language based on the Scheme dialect of Lisp.
Read moreAwk is small, fast, simple, and has a clean comprehensible C-like input language. It has robust programming constructs. Here’s our recommended tutorials.
Read moreThe OCaml system is the main implementation of the Caml language. It has a very strong type-checking system, offers a powerful module system, and more. Here’s good OCaml tutorials.
Read more