recentpopularlog in

mcherm : types   24

Uncle Bob and Silver Bullets • Hillel Wayne
A great summary of all the other kinds of testing you should be doing in addition to unit testing with specific examples and good reasons why you should be doing each of them.
testing  via:HackerNews  programming  softwaredevelopment  types 
october 2017 by mcherm
The Design of Stanza's Optional Type System
Stanza is a language that offers *optional* types. This is an incredibly well-written description of what typing is and how it works in Stanza.
types  programming  languagedesign  stanza  via:HackerNews 
june 2017 by mcherm
The End of Dynamic Languages
The author just discovered what's great about type systems. Unfortunately he makes the attribution error of assuming that everybody else in the world is at exactly the same point in this discovery as he is.
programming  languagedesign  types  via:reddit 
november 2015 by mcherm
Thinking in Types
An example of what to do in Haskell since it doesn't support heterogeneous lists.
programming  haskell  types 
march 2015 by mcherm
Seven deadly sins of talking about “types” : Rambles around computer science
Insightful: people talking about types in programming languages often confuse different issues and talk past each other.
programming  types  typesystem  via:HackerNews 
october 2014 by mcherm
Static Typing: Give me a break! | Good Math, Bad Math
Static typing is really nice. But that doesn't mean that proponents of dynamic typing are ignorant.
types  typing  via:MarkCC  MarkCC 
january 2013 by mcherm
Another Non-Argument in Type Systems: Laurence Tratt
Any program written with dynamic types has an equivalent in a static type system which is written using generic types everywhere. Some programs that work in dynamic languages that would fail at compile-time in a static language. There is a useful duality here.
computerscience  types  via:HackerNews 
october 2012 by mcherm
Is C# a strongly typed or a weakly typed language?
His answer is that it has escape hatches so "strong" or "weak" depends on whether you count escape hatches. Also, those terms don't really mean anything consistent.
via:EricLippert  EricLippert  languagedesign  types 
october 2012 by mcherm
The horror of types
Why types in programming languages are hard (with lots of examples).
via:DanielSpiewack  types 
april 2012 by mcherm
Cost-free abstractions: David R. MacIver
In Haskell, he created a library allowing sorts to work on several different comparison functions instead of just working on less-than. But 100% of the overhead occurred at compile-time; none at run-time.
languages  languagedesign  haskell  types  via:DavidMacIver 
may 2011 by mcherm
One Div Zero: Phantom Types In Haskell and Scala
Very clever typechecking trick. Create types that are private to your module, but which cause the typechecker to verify that certain things are done to initialize an object before it is used. I wonder if the same is possible in Java? (Probably not.)
haskell  scala  types  programming  via:JamesIry  JamesIry 
october 2010 by mcherm
Getting to the Bottom of Nothing At All: One Div Zero
A lucid explanation of the value "bottom" (in type theory) and examples of how it is used, written so a Java programmer could follow it.
programming  computerscience  types  typesystem  functional  via:JamesIry  JamesIry 
august 2010 by mcherm
Ovid at blogs.perl.org: What to know before debating type systems
Read this to learn more about "type systems" than any other article of similar length that I have ever seen.
programming  via:reddit  languagedesign  types  computerscience  languages 
august 2010 by mcherm
Ruminations of a Programmer: Using generalized type constraints - How to remove code with Scala 2.8
How scala allows you to add a method to a parameterized class (eg: collection of Foo) that can only be called (checked at compile time not run time) if the parameter (Foo) meets certain criteria. For instance, add a "sum" method on Collection that only works if the contents are Numbers.
scala  languagedesign  via:DebasishGhosh  types 
august 2010 by mcherm
Types à la Chart: One Div Zero
An excellent detailed review of two dimensions of language type strength. It's the weak-vs-strong and dynamic-vs-static thing, only it's been done with lots of explanation and examples and even a picture.
programming  languages  languagedesign  types  functional  JamesIry  via:JamesIry 
may 2010 by mcherm
Meta-Programming with Scala: Conditional Compilation and Loop Unrolling « Michid’s Weblog
Somehow this seems deeply wrong. It attempts to show a practical use of building church numerals and such in Scala's type system... it builds automatic loop unrollers and conditional code that execute at compile-time. But I really feel that if we really wanted that sort of compile-time transformation (I'm not sure we do) that a different mechanism (other than the type system) would be better.
scala  computerscience  programming  types 
october 2009 by mcherm
A Scala Puzzler « Apocalisp
Scala types are powerful enough to perform basic computations just within the type system.
via:reddit  personal_net  scala  types 
august 2009 by mcherm
One Div Zero: Groovy Does Not Have Optional Static Typing
A coherent explanation of dynamic vs static typing illustrated with examples.
languagedesign  programming  groovy  types 
august 2009 by mcherm
What to Know Before Debating Type Systems - Chris Smith's Personal Web Site
A particularly good survey of basic things people say about types in computer languages. The survey of terms accurately and clearly defined is valuable on its own, and the other comments are quite helpful.
programming  languagedesign  dynamic  static  types  languages 
may 2008 by mcherm

Copy this bookmark:





to read