VirtualTam's bookmarks

1. LEAN - Programming Language and Theorem Prover 2024-12-23

   tags: mathematics, programming-language, programming/functional-programming

   [ permalink ]

   • leanprover/lean4
   • About Lean
   • Lean FRO (Focus Research Organization)
   • The Lean FRO Year 2 Roadmap
   • Functional Programming in Lean
2. How to Learn Nix 2024-01-31

   tags: linux/nixos, programming/functional-programming, programming/shell

   [ permalink ]

   • Part 4: Quick starts, full hearts
   • Part 12: The Nix expression language
   • Part 22: Setting up a declarative user environment
   • Part 26: An infinite list of functions
   • Part 37: Saving your shell
3. Hashrust - A guide to closures in Rust 2023-07-22

   tags: programming/functional-programming, programming/rust

   [ permalink ]
4. Elm at Rakuten | Rakuten Engineering Blog 2021-08-19

   tags: programming/elm, programming/functional-programming, programming/javascript, web

   [ permalink ]
5. Racket - solve problems · make languages 2018-10-25

   tags: programming, programming/functional-programming, programming/lisp, scheme

   [ permalink ]
6. Structure and Interpretation of Computer Programs 2016-01-16

   tags: alumni, book, code, development, program, programming/functional-programming, programming/lisp, scheme

   [ permalink ]
7. Obey the testing goat... 2015-05-10

   tags: continuous-integration, development, driven, framework/django, goat, programming/functional-programming, programming/test-driven-development, programming/testing, unit

   [ permalink ]

   • Test first! Test first!
8. Practical Common Lisp 2015-02-13

   tags: artificial-intelligence, code, development, programming, programming/functional-programming, programming/lisp

   [ permalink ]

   Beware! Very cool book dealing with Lisp programming, with plenty of examples

9. Python: run specific unit tests 2015-02-13

   tags: bug, code, programming/functional-programming, programming/python, programming/testing, quality, unit

   [ permalink ]

   Given your unittests are in the tests directory:

    1# run a specific test module
    2python -m unittest tests.<module>
    3 
    4# run a specific test suite
    5python -m unittest tests.<module>.<class>
    6 
    7# run a specific test
    8python -m unittest tests.<module>.<class>.<test>
    9 
   10# run tests matching a given pattern
   11python -m unittest discover -s tests -p <pattern>
   

10. defmacro - Functional Programming For The Rest of Us 2014-09-06

    tags: development, programming, programming/c, programming/functional-programming, programming/python

    [ permalink ]

    via http://kmkeen.com/fp/