Hacker News
- Statically typed functional programming language implementation with Go and LLVM https://github.com/rhysd/gocaml 19 comments
- The ATS Programming Language – Unleashing the Potentials of Types and Templates http://www.ats-lang.org 9 comments
- Python Functional Programming with returns library (type-safety, monads, etc.) https://github.com/dry-python/returns 3 comments
- Beatrice: A tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-beatrice.html 2 comments
- Lolita: A tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-lolita.html 45 comments
- Thinking in types: introduction to type-directed programming http://totherme.livejournal.com/3845.html 2 comments programming
- Don Syme talks about downsides of Type Classes and Type-level Programming https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 38 comments fsharp
- Well-Typed Programs Can Go Wrong-A Study of Typing-Related Bugs in JVM Compilers https://dimitro.gr/assets/papers/CSDMMS21.pdf 3 comments compilers
- What type of mathematics for computer programming should I start with? (Algorithms & Distributed Computing) https://www.reddit.com/r/learnprogramming/comments/mjc7as/what_type_of_mathematics_for_computer_programming/ 3 comments learnprogramming
- Precise Typing implies Functional Programming https://potocpav.github.io/programming/2020/12/11/functional-programming.html 20 comments haskell
- Programming with Types (free ebook) https://www.manning.com/books/programming-with-types 5 comments typescript
- A Type of Programming https://atypeofprogramming.com 96 comments programming
- The Future of Programming is Dependent Types — Programming Word of the Day https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 55 comments programming
- Hazel, a live functional programming environment featuring typed holes. http://hazel.org/ 37 comments programming
- what programming language do I need to create this type of database? http://www.ilo.org/dyn/triblex/triblexmain.advancedSearch?p_lang=en 3 comments learnprogramming
- More mathematic type of programming https://www.reddit.com/r/learnprogramming/comments/6xnvmn/more_mathematic_type_of_programming/ 14 comments learnprogramming
- What program or type of software do you miss in Linux? https://www.reddit.com/r/linux/comments/6sucio/what_program_or_type_of_software_do_you_miss_in/ 323 comments linux
- Dependent Types & Type Level Programming https://partialflow.wordpress.com/2017/07/26/dependent-types-type-level-programming/ 11 comments scala
- Programming with type functions in Ceylon http://ceylon-lang.org/blog/2015/06/03/generic-function-refs/ 52 comments programming
- Are static typing and functional programming winning? http://brikis98.blogspot.com/2015/02/are-static-typing-and-functional.html 289 comments programming
- Dependently Typed Programming in Idris: A Demo - David Raymond Christiansen http://bmsherman.github.io/idris-drc-3-26-14/ 13 comments haskell
- Compile time meta-programming for strongly typed languages in a less ambitious but more controlled way (ICFP submissions) http://www.seas.upenn.edu/~hongboz/main.pdf 3 comments haskell
- Type Qualifiers and Wild Cards in the D Programming Language http://drdobbs.com/blogs/cpp/231902461 38 comments programming
- Statically Typed Functional Programming with Python 3.12 https://wickstrom.tech/2024-05-23-statically-typed-functional-programming-python-312.html 55 comments programming
- Algebraic Data Types: Things I wish someone had explained about functional programming https://jrsinclair.com/articles/2019/algebraic-data-types-what-i-wish-someone-had-explained-about-functional-programming/ 3 comments programming
- Program to create macro for opening Windows program(s), clicking specific buttons, and typing certain values (passed as parameters)? https://www.reddit.com/r/sysadmin/comments/ayty65/program_to_create_macro_for_opening_windows/ 7 comments sysadmin
- Types of programs affected by security patch in regards to performance (productivity, content creation) https://www.reddit.com/r/hardware/comments/7obnwe/types_of_programs_affected_by_security_patch_in/ 6 comments hardware
- U.S. agricultural industry hopes immigration reform fixes worker predicament: Farmers and agricultural industry types hope that their agreement includes fixing the guest worker program. But some immigrant activists say that's not such a good idea. http://www.pri.org/stories/politics-society/u-s-agricultural-industry-hopes-immigration-reform-fixes-worker-predicament-12845.html 4 comments politics
- for real? On Friday, the Obama administration issued a memo announcing that federal immigration officials do not have to deport illegal aliens if they are enrolled in any type of education program, if their family members have volunteered for U.S. military service, or if pregnant or nursing. http://www.examiner.com/immigration-reform-in-national/obama-issues-dream-act-by-executive-order-press-ignores?fb_comment=34600291#ixzz1q0ohjwv2 8 comments politics
- Game Programming Patterns / Type Object: "subclassing is only one way of enshrining the 'is-a' relationship in code" http://gameprogrammingpatterns.com/type-object.html 16 comments programming
- A particular type of question is asked time after time in C programming forums. http://blog.susam.in/2010/05/sequence-points.html 132 comments programming
- Options for strongly typed functional programming with Python? (Slightly OT) https://www.reddit.com/r/haskell/comments/6km0dd/options_for_strongly_typed_functional_programming/ 7 comments haskell
- John Carmack's latest thoughts on functional programming and static typing from a VR talk at UT Dallas https://soundcloud.com/veritan-1/20150409-carmack-ut-dallas-2#t=24:47 18 comments programming
- Sick of Ruby, dynamic typing, side effects, and basically object-oriented programming https://blog.abevoelker.com/sick-of-ruby-dynamic-typing-side-effects-object-oriented-programming/ 39 comments ruby
- Dependently Typed Programming based on Automated Theorem Proving, (Armstrong, Foster, Struth) [points to pdf preprint] http://lambda-the-ultimate.org/node/4423 3 comments haskell
- This is what programming is like right?(try to type anything at all)[x-post from /r/funny] http://duiker101.tk/hackertyper/ 116 comments programming
- Having matrix trouble in python - trying to build a "game of life" type program http://pastebin.com/7g0Veba0 6 comments learnprogramming
- Native Run-Time Performance for a High-Level, Dynamically Typed Programming Language https://manool.org/blog/2020-10-04/native-run-time-performance-for-a-high-level-dynamically-typed-programming-language 8 comments programming
- Tart - a strongly-typed general purpose programming language http://code.google.com/p/tart/ 203 comments programming
- Cat - a statically-typed stack-based programming language http://www.codeproject.com/useritems/cat.asp 3 comments programming