Angband.oook.cz
Angband.oook.cz
AboutVariantsLadderForumCompetitionComicScreenshotsFunniesLinks

Go Back   Angband Forums > Angband > Development

Reply
 
Thread Tools Display Modes
Old October 24, 2010, 01:39   #81
AnonymousHero
Veteran
 
AnonymousHero's Avatar
 
Join Date: Jun 2007
Posts: 1,365
AnonymousHero is on a distinguished road
Quote:
Originally Posted by zaimoni View Post
First, I think you're misreading the scope of unit testing. If it's not types, it's something else.
I'd rather not have to write tests for classes of errors that a compiler could trivially catch, aka. type errors.

Quote:
Originally Posted by zaimoni View Post
Second: Java and Haskell are not targets of my absence of strong static typing digression. Strong static typing is mandatory in Java, and optional in Haskell. [I haven't used Scala or O'Caml so no comment there.]
Eh, sorry? Optional static typing in Haskell? Are you serious?

I think you may be confusing type inference for weak typing. It's nothing of the sort.

(The forum removed my own part of the quote below. This board sucks at nested quoting )
Quote:
Originally Posted by zaimoni View Post
By that criterion, there are zero good programming languages in existence.
Note that I said "generally", not "always". In O'Caml or Haskell the implication actually does generally hold. Once you get used to that it's very hard to go back.
AnonymousHero is offline   Reply With Quote
Old October 24, 2010, 06:49   #82
zaimoni
Knight
 
zaimoni's Avatar
 
Join Date: Apr 2007
Posts: 590
zaimoni is on a distinguished road
Quote:
Originally Posted by AnonymousHero View Post
I'd rather not have to write tests for classes of errors that a compiler could trivially catch, aka. type errors.
I think we're in violent agreement.
Quote:
Originally Posted by AnonymousHero View Post
Quote:
Originally Posted by zaimoni
Second: Java and Haskell are not targets of my absence of strong static typing digression. Strong static typing is mandatory in Java, and optional in Haskell. [I haven't used Scala or O'Caml so no comment there.]
Eh, sorry? Optional static typing in Haskell? Are you serious?
Yes, when I'm programming in Haskell I do use this feature. Bolt in the type signature late in the debugging process, to turn off those parts of type inference that threaten to break the source.
__________________
Zaiband: end the "I shouldn't have survived that" experience. V3.0.6 fork on Hg.
Zaiband 3.0.10 ETA Mar. 7 2011 (Yes, schedule slipped. Latest testing indicates not enough assert() calls to allow release.)
Z.C++: pre-alpha C/C++ compiler system (usable preprocessor). Also on Hg. Z.C++ 0.0.10 ETA December 31 2011
zaimoni is offline   Reply With Quote
Reply


Currently Active Users Viewing This Thread: 1 (0 members and 1 guests)
 
Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off

Forum Jump

Similar Threads
Thread Thread Starter Forum Replies Last Post
New ego-weapon/armour proposal: (Light) Nightmarjoo Vanilla 24 May 20, 2010 23:08


All times are GMT +1. The time now is 16:14.


Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2018, vBulletin Solutions Inc.