Lobsters
- Our journey to type checking 4 million lines of Python http://blogs.dropbox.com/tech/2019/09/our-journey-to-type-checking-4-million-lines-of-python/ 10 comments performance , programming , python
- Parse, don’t type-check https://neilmadden.blog/2020/11/25/parse-dont-type-check/ 29 comments programming
- typed-react-form: A fast, completely type-checked React form builder. https://github.com/codestix/typed-react-form 10 comments typescript
- typed-builder - a compile-time type-checked builder derive https://www.reddit.com/r/rust/comments/74ic2i/typedbuilder_a_compiletime_typechecked_builder/ 24 comments rust
- Is it possible to have custom type-checked format specifiers? https://github.com/ocaml/ocaml/blob/4822a882483ce4dbaa5eb5a3abe8903ea7beb615/stdlib/camlinternalFormatBasics.ml#L525 10 comments ocaml
- Fast, JSONAPI-compatible, type-checked serializers for Ruby web APIs https://github.com/jgaskins/primalize-jsonapi 9 comments ruby
- Confessions of a Terrible Programmer: 0. Admit being bad. 1. Type-check in language. 2. Assertions. 3. Test. 4. Code review. http://kickin-the-darkness.blogspot.com/2007/09/confessions-of-terrible-programmer.html 150 comments programming
- How hard is type checking in X? https://typing-is-hard.ch/ 64 comments programming
- Static Typing is not for Type Checking http://techblog.bozho.net/static-typing-is-not-for-type-checking/ 302 comments programming
- New library adds runtime-checked type declarations to javascript https://github.com/sefaira/rho-contracts.js 4 comments programming
- Checking for anonymous types in .NET http://jclaes.blogspot.com/2011/05/checking-for-anonymous-types.html 16 comments programming
- Can your type checking system do this? http://weblog.raganwald.com/2007/07/can-your-type-checking-system-do-this.html 14 comments programming
- Checking properties for undefined/null does not change the type of the object https://www.reddit.com/r/typescript/comments/9c38yu/checking_properties_for_undefinednull_does_not/ 12 comments typescript
- What're the diff types of web app/database attacks that one should check for? https://www.reddit.com/r/webdev/comments/94zpvl/whatre_the_diff_types_of_web_appdatabase_attacks/ 10 comments webdev
- Interesting (mis)behaviour caused by type checking http://stackoverflow.com/questions/41044436/contradictory-behaviour-of-lambda 34 comments haskell
- Ranged integer types and bounds checking http://bluishcoder.co.nz/2013/05/07/ranged-integer-types-and-bounds-checking.html 19 comments rust
- is never type, besides the exhaustive checking (in narrowing ) have other utility? https://www.typescriptlang.org/play#code/LAKApgHgDg9gTgFwAQIJ5TEgXlgrLpAXiQAoA6CgQzgHMBnALgDswA3MOAbQF0BKQgHysYASwAmoAMYwmdZBAY58xEpQZy4IpjQA0SAEbqEm7T34CA3tNkwANmDK2YNVbwC+UmXKRqW7LtyEnADklMHcQA 18 comments typescript
- Check out my website for generating different types of mazes. https://multimazegenerator.com/ 3 comments webdev
- Possible to type check my TS within README.md? https://www.reddit.com/r/typescript/comments/7a6418/possible_to_type_check_my_ts_within_readmemd/ 6 comments typescript
- Dyon gets optional type checking https://github.com/PistonDevelopers/dyon/pull/150 4 comments rust_gamedev
- A Complete Guide To Check Data Types In JavaScript https://www.zhenghao.io/posts/js-data-type 11 comments javascript
- New Type of Trolling, or Do I Need Reality Checked? https://np.reddit.com/r/btc/comments/nmn407/you_know_what_grinds_my_gears/ 48 comments btc
- Our journey to type checking 4 million lines of Python https://blogs.dropbox.com/tech/2019/09/our-journey-to-type-checking-4-million-lines-of-python/ 39 comments programming
- Function that doesn't type check does when promoted to type family. Why? https://www.reddit.com/r/haskell/comments/6otg59/function_that_doesnt_type_check_does_when/ 12 comments haskell
- Programming Concepts: Static vs. Dynamic Type Checking https://thesocietea.org/2015/11/programming-concepts-static-vs-dynamic-type-checking/ 66 comments programming
- Newbie questions about code compilation and lodash type checking https://www.reddit.com/r/typescript/comments/94rmal/newbie_questions_about_code_compilation_and/ 6 comments typescript
- Compile time checks to ensure your type satisfies an interface https://medium.com/@matryer/golang-tip-compile-time-checks-to-ensure-your-type-satisfies-an-interface-c167afed3aae 5 comments golang
- Type checking by theorem proving in IDRIS: Brady [pdf, 29 slides] http://www.cs.st-andrews.ac.uk/~eb/writings/idris-stp.pdf 32 comments haskell
- Check out my presentation: "Polymorphic Type Inference with Subtyping Based on Range-Unification" http://docs.google.com/fileview?id=0bzirg5jnnm09mjg3ztk3mdgtmwzhms00m2rmlwe3ntetogywy2fintjlnmvl&hl=en&authkey=ckhn_fah 11 comments compsci
- THIS is the type of thing that makes people here complain about the system, including taxes - "At least 18 billionaires got federal stimulus checks, report says" https://www.cbsnews.com/news/stimulus-check-18-billionaires-wealthy/ 14 comments cryptocurrency
- Reselect 4.1: new cache size and result equality check options, direct selector customization, improved TS types, and more! https://github.com/reduxjs/reselect/releases/tag/v4.1.0 5 comments reactjs
- I re-implemented rusts Result type in c++ using std::variant, check it out! https://github.com/liorst4/cpp-result 27 comments cpp
- A quick-and-dirty check that a type-level string starts with a certain prefix https://tek.brick.do/464127de-4fd4-4fbb-9af2-f95e0e194e04 4 comments haskell
- [noob question] Strict type checking is preventing me from defining the type of callback function I want. How do I write idiomatic Go to deal with this situation? https://godoc.org/github.com/eclipse/paho.mqtt.golang#MessageHandler 5 comments golang
- A colleague of mine did a tool to convert your JSON models into Swift models without all the manual typing. Check it out! http://services.chuquimianproductions.com/json2swift/ 8 comments swift
- Broncos CBs on 49ers: “You never know, we might see a team that has this type of offense... We don’t and I’m kind of glad we don’t. He makes you use all of your adjustments. He makes things gray, so you don’t know if you need to check or if you’re going to check... They’re great with their bootlegs" http://www.csnbayarea.com/49ers/hoyer-shanahan-earn-praise-broncos-all-pro-dbs 40 comments nfl
- Cobra -- Python-like Syntax, Supports Both Dynamic/Static Typing, Contracts, Nil-checking, Embedded Unit Tests, And (Optionally) More Strict Than Standard Static Typed Languages http://www.cobra-language.com/ 116 comments programming
- College Students, TAKE NOTICE! Before you buy that next college book, check google books. They scan college and many othe types of books and make them available for free. Thank you, google. They saved me over $100 on this book alone. http://books.google.com/books?id=vsbhwkm3qcmc&printsec=frontcover&dq=sociology+in+our+times&hl=en&ei=n9bzti2znoecsqozmjcicg&sa=x&oi=book_result&ct=result&resnum=1&ved=0cdcq6aewaa#v=onepage&q&f=false 25 comments reddit.com
- A friend of mine, who invented a type of automotive shock that generates power, made it on the New York Times. Check it out! http://www.nytimes.com/2010/06/06/business/06novel.html 11 comments science
- Juliaberry : A Julia-set type rendering of a Mandelbulb (be sure to check the bigger version, om nom nom) http://www.flickr.com/photos/subblue/4134197373/ 4 comments programming