TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Show HN: Koda, a typesafe functional toolkit for Python

110 pointsby keithasaurusover 3 years ago

6 comments

hackandtripover 3 years ago
A similar &quot;framework&quot;, very robust and used in production systems, is dry-python&#x27;s one[0][1].<p>The approach taken is a bit different I think, since they rely heavily on `mypy` plugins to reach type safety and functional constructs otherwise impossible to get, without runtime inspections.<p>0: <a href="https:&#x2F;&#x2F;github.com&#x2F;dry-python" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;dry-python</a> 1: <a href="https:&#x2F;&#x2F;github.com&#x2F;dry-python&#x2F;returns" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;dry-python&#x2F;returns</a>
评论 #30253935 未加载
评论 #30250283 未加载
fishmarmaladeover 3 years ago
Really nice project! I’ve been looking for something like this, and typically end up building a very minimal version of it for projects. Are you looking for help or contributors? Would love to contribute if possible.
评论 #30250007 未加载
zmmmmmover 3 years ago
I want a similar toolkit that lifts over the Ruby&#x2F;Groovy&#x2F;Kotlin style functions like countBy, groupBy, sortBy, collate, etc etc. Programming in Python is such a chore without these higher level collections APIs and for some reason (I guess, list comprehensions being considered idiomatic, bare bones itertools being considered &quot;good enough&quot;, and the lack of real inline closures?) it doesn&#x27;t seem like they&#x27;ll ever be part of Python proper. But I still want them.
评论 #30251765 未加载
评论 #30254223 未加载
评论 #30254339 未加载
评论 #30253260 未加载
pizzaover 3 years ago
Nice. One question I have is does the compose operator preserve error messages, allow you to pinpoint which function raised an exception etc? That&#x27;s the one issue I have w&#x2F; the `pipe` function from dry-python&#x2F;returns; if you build a complex pipeline, the errors are somewhat inscrutable.
评论 #30248028 未加载
评论 #30249045 未加载
zestypingover 3 years ago
I was pretty puzzled by the method name &quot;map&quot; in the examples. Why would you call it &quot;map&quot; when there are no arrays or lists involved?
评论 #30251701 未加载
评论 #30253125 未加载
评论 #30251505 未加载
评论 #30259517 未加载
评论 #30251559 未加载
评论 #30251698 未加载
评论 #30253066 未加载
impoppyover 3 years ago
Why would you write Python like it’s Rust? I really fundamentally do not understand the purpose. Ain’t `is Null` checks and try except good enough?
评论 #30249427 未加载
评论 #30248641 未加载
评论 #30248634 未加载
评论 #30248579 未加载
评论 #30253330 未加载
评论 #30249394 未加载
评论 #30249858 未加载
评论 #30248508 未加载
评论 #30249461 未加载