talk · HACKER NEWS RECOMMENDATION
Type-Driven Development in Idris — Edwin Brady
Scala World · 1 HN recommenders · 1 recommendation months
Recommended by 1 Hacker News commenters across 1 months (2019–2024).
SignalTube analysis
Among 138 other talk videos tagged Programming language design, the mean is 3.2 distinct HN recommenders. This video has 1 distinct HN recommenders, below that mean. Recommendations span 1 distinct month; the peer average is 3.2 months. This is a data-derived comparison, not a human review or quality rating.
20% of its 5 labeled comments are marked as recommendations or strong recommendations. HN mention years are 2019–2024; those years describe discussion history, not upload date. Its verified runtime is 46 minutes 36 seconds. YouTube lists its publication date as 2015-10-12.
- Channel / speaker
- Scala World
- Verified runtime
- 46m 36s
- YouTube upload date
- 2015-10-12
- Hacker News mention years
- 2019–2024
SAME TOPIC AND FORMAT
Compare with related videos
The comparison cohort uses other talk videos in Programming language design. “Shared recommenders” counts HN users who recommended both videos in the source graph.
| Video | HN recommenders | Recommendation months | Positive label share | Shared recommenders | Runtime | Upload date |
|---|---|---|---|---|---|---|
| Type-Driven Development in Idris — Edwin BradyCurrent video | 1 | 1 | 20% | — | 46m 36s | 2015-10-12 |
| How Python was Shaped by leaky Internals, Armin Ronacher, Flask frameworktalk · Видео с мероприятий {speach! | 15 | 16 | 90% | No recorded overlap | 49m 55s | 2016-07-13 |
| Maybe Not - Rich Hickeytalk · ClojureTV | 14 | 11 | 70% | No recorded overlap | 63m 29s | 2018-11-30 |
| Why Isn't Functional Programming the Norm? – Richard Feldmantalk · Metosin | 12 | 12 | 70% | No recorded overlap | 46m 9s | 2019-09-30 |
THREE SOURCE-BASED CONTEXT POINTS
Why Hacker News recommends it
Each note combines the dataset’s stance label and short rationale; comment bodies are not reproduced. Open the HN source for the original discussion.
The archive classifies this as a contextual reference in “Hazel: A live functional programming environment featuring typed holes”. Its short rationale: Shows type-driven development with holes in Idris.
The archive classifies this as a recommendation in “C++ at the End of 2022”. Its short rationale: Example of IDE-assisted type-driven programming as the future.
The archive classifies this as a contextual reference in “Type-Signature.com”. Its short rationale: Cited as example of interactive editing with typed holes.