Hacker News
- Type I and Type II Errors: The Inevitable Errors in Optimization Experiments https://utm.io/uuIl 35 comments
- Error with union typed arrays ? https://www.typescriptlang.org/play?ts=4.6.2#code/C4TwDgpgBAyhA2EDGwDyZgHEBOB7ArmFALxQDeAUFFMAJbCIBcUAzsNrQHYDmA3FVCQALWvAAm2CJ2ZxEKdHVycA2gF1+AX34VQkWAmRoMtJSXIC6DCMzYce-agDcAhvHzXW7LnwpaKFCAAPMFxsYBpwaAARZ2BnWUMAJQgWEM4WaFIACgT5DBwCIgAffTkjRU4ASjVtJCU2GhTgZhi43OBk1PrMqGUBSmpqSyYoACIAMy5oAEZRgBoBJ1d3ZlHZgQ0F6gHB4Y8JqagAJnnFwRFxSWle1Q2t80GaehHRzlxwyc4IU8eXN32AMw-QbCUQSKTMNQbCjqChAA 4 comments typescript
- A Classic Compilation Error with Dependent Types Published https://www.fluentcpp.com/2020/12/11/a-classic-compilation-error-with-dependent-types/ 22 comments cpp
- Can I use custom type errors in combination with constrained class instances? https://www.reddit.com/r/haskell/comments/ccn2bg/can_i_use_custom_type_errors_in_combination_with/ 6 comments haskell
- Should error types be opaque ? https://www.reddit.com/r/rust/comments/b3s6oh/should_error_types_be_opaque/ 9 comments rust
- The Trouble with Typed Errors https://www.parsonsmatt.org/2018/11/03/trouble_with_typed_errors.html 12 comments programming
- The Trouble with Typed Errors http://www.parsonsmatt.org/2018/11/03/trouble_with_typed_errors.html 37 comments haskell
- Any way to get the compiler to be more concise with it's type errors? https://www.reddit.com/r/rust/comments/7bgbgw/any_way_to_get_the_compiler_to_be_more_concise/ 18 comments rust
- Weird Type Error in Do Form https://stackoverflow.com/questions/44867489/lisp-type-error-in-do-form-when-reading-from-file 2 comments learnlisp
- errormake - Easily write new error types https://www.reddit.com/r/rust/comments/hdfk36/errormake_easily_write_new_error_types/ 5 comments rust
- Struggling to converting the error type in MonadError https://www.reddit.com/r/haskell/comments/bswjjf/struggling_to_converting_the_error_type_in/ 4 comments haskell
- Filtering types give an error https://www.reddit.com/r/typescript/comments/adpnhm/filtering_types_give_an_error/ 3 comments typescript
- Detecting the undetectable: custom type errors for stuck type families https://kcsongor.github.io/report-stuck-families/ 13 comments haskell
- Using strong types to avoid common C++ programming errors http://reliablecpp.com/blog/2013-08-strong-string-types 14 comments cpp
- Type-level equivalent of "error" (raising descriptive compile-time errors) https://www.reddit.com/r/haskell/comments/5jwbpc/typelevel_equivalent_of_error_raising_descriptive/ 6 comments haskell
- Anonymous Sum Types for Rust Error Handling https://jam1.re/blog/anonymous-sum-types-for-rust-errors 76 comments rust
- Help identifying a type match error https://www.reddit.com/r/typescript/comments/a3e62e/help_identifying_a_type_match_error/ 6 comments typescript
- Types being coerced to "any" and "Two different types with this name exist, but they are unrelated" error https://stackoverflow.com/questions/49634258/types-being-coerced-to-any-and-two-different-types-with-this-name-exist-but 2 comments typescript
- Types as tests: How to fail the build when there’s a logical error https://medium.com/@andreworobator/types-as-tests-how-to-fail-the-build-when-theres-a-logical-error-e7000e2f62b8 11 comments programming
- After updating Firebase version using cocoapods, I get the error 'Cannot convert value type “User?” to expected argument type “User!”'on code that used to work https://www.reddit.com/r/swift/comments/6r1ucn/after_updating_firebase_version_using_cocoapods_i/ 10 comments swift
- Elm 0.9 - New type checker, much better error messages http://elm-lang.org/blog/announce/version-0.9.elm 13 comments programming
- Buy a 53" LCD TV from Best Buy for $9.99. No joke in some typing error! http://www.bestbuy.com/site/olspage.jsp?skuid=8749287&st=ln52a650+&lp=1&type=product&cp=1&id=1202649424157 24 comments reddit.com
- Implementing op for type which implements trait error https://www.reddit.com/r/rust/comments/8vt88x/implementing_op_for_type_which_implements_trait/ 4 comments rust
- Adding an array to a type union results in misleading error message - is this expected? https://www.typescriptlang.org/play/index.html#src=%2F%2F%20This%20type%20gives%20the%20error%20message%20I'd%20expect%3A%0D%0A%2F%2F%20%20%20%20%20%60Property%20'name'%20is%20missing%20in%20type%20'%7B%7D'.%60%0D%0Atype%20Foo%20%3D%20string%20%7C%20%7B%20name%3A%20string%20%7D%3B%0D%0Aconst%20foo%3A%20Foo%20%3D%20%7B%7D%3B%0D%0A%0D%0A%2F%2F%20Adding%20an%20array%20type%20to%20the%20union%20results%20in%20a%20misleading%20error%20message%3A%0D%0A%2F%2F%20%20%20%20%20%60Type%20'%7B%7D'%20is%20not%20assignable%20to%20type%20'string'.%60%0D%0Atype%20Bar%20%3D%20string%20%7C%20%7B%20name%3A%20string%20%7D%20%7C%20any%5B%5D%3B%0D%0Aconst%20bar%3A%20Bar%20%3D%20%7B%7D%3B%0D%0A%0D%0A%2F%2F%20Removing%20the%20string%20type%20gives%20the%20expected%20error%3A%0D%0A%2F%2F%20%20%20%20%20%60Property%20'name'%20is%20missing%20in%20type%20'%7B%7D'.%60%0D%0Atype%20Baz%20%3D%20%7B%20name%3A%20string%20%7D%20%7C%20any%5B%5D%3B%0D%0Aconst%20baz%3A%20Baz%20%3D%20%7B%7D%3B 12 comments typescript
- okay 0.1.0: Typesafe error-handling for dart . An implementation of rust's `Result` type in dart. https://pub.dev/packages/okay 24 comments dartlang
- servant-checked-exceptions: type-level errors for Servant APIs https://functor.tokyo/blog/2017-05-10-servant-checked-exceptions#.wr5lmesqj-4.reddit 8 comments haskell
- Implementing function types with a generic, getting error `'T' could be instantiated with a different subtype of constraint.` https://www.typescriptlang.org/play?#code/JYOwLgpgTgZghgYwgAgEJwM4oN4F8BQoksiKAKgBagDmAjMhAB6QgAmGamO+yvyIcALYQAXMgxgoNfAXxgAngAcUAMURgA9lHnIAvMgA8ZBswhsO6LAD4AFAEo9V5GXz4EGkBORgqIOmoRNbTEAoJ19e0dkbB4+d08wb186MUoaen1sAWExACIAIw183II+ZFjeKAgwAFcoECT0mXwgA 3 comments typescript
- Statically-typed error handling in Python using Mypy https://beepb00p.xyz/mypy-error-handling.html 7 comments programming
- How to compute the probability of committing one or more type II errors when performing multiple hypothesis tests? https://en.wikipedia.org/wiki/Type_I_and_type_II_errors#Type_I_error 9 comments askscience
- Strange Error. If i type faster on my lenovo g70 the screen will rotate and have to restart. https://www.reddit.com/r/techsupport/comments/6s0rlh/strange_error_if_i_type_faster_on_my_lenovo_g70/ 7 comments techsupport
- Equality proofs and deferred type errors, A compiler pearl [Vytiniotis, Peyton Jones,Magalhaes PDF] http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/icfp12.pdf 17 comments haskell
- Haskell was a statically typed language. Now you can have your type errors deferred to run-time, if you so desire. [PDF] http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/icfp12.pdf 87 comments programming
- Tried many things but still wrong fs type, bad option, bad superblock on a harddisk missing codepage or helper program, or other error when mounting. https://ownyourbits.com/2019/03/03/how-to-recover-a-btrfs-partition/ 15 comments btrfs
- Finally managed to write my first embedded HAL driver! Would appreciate feedback on type-state programming and error handling. https://www.reddit.com/r/rust/comments/kuk8b6/finally_managed_to_write_my_first_embedded_hal/ 7 comments rust
- Cannot store NSURL and __SwiftValue (Can only store objects of type NSNumber, NSString, NSDictionary) errors the bottom two blocks of code? https://www.reddit.com/r/swift/comments/gdcu7x/cannot_store_nsurl_and_swiftvalue_can_only_store/ 5 comments swift
- Having typos in your online dating profiles can make you appear less attractive as a romantic partner, according to new research. The study also suggests that people associate different types of language errors with different personality attributes. https://www.psypost.org/2019/11/typos-in-your-online-dating-profile-can-make-you-seem-less-attractive-study-finds-54864 129 comments science
- Receiving a error, “invalid 'type' (complex) of argument” when using gee function of GEE package (X-post Stackoverflow) https://www.reddit.com/r/rstats/comments/6a7gzl/receiving_a_error_invalid_type_complex_of/ 3 comments rstats
- PS4 I can't play online with my friend without major lag or kicking from the party. Sometimes it says it's due to NAT type errors. How can I fix this? https://www.reddit.com/r/techsupport/comments/5jh35g/ps4_i_cant_play_online_with_my_friend_without/ 4 comments techsupport
- [Help] A specific type of game randomly restarts my PC, no BSOD or errors shown, it just suddenly restarts. It's driving me insane. https://www.reddit.com/r/techsupport/comments/5hzl9x/help_a_specific_type_of_game_randomly_restarts_my/ 8 comments techsupport
- Snippet: Getting the name of a type as a String using Generics for nicer error messages in polymorphic code https://gist.github.com/nh2/1a03b7873dbed348ef64fe536028776d 4 comments haskell