Log of the #nice channel on irc.freenode.net

Using timezone: Central European Time
* arjanb leaves01:13
* CIA-4 leaves01:53
* CIA-4 joins01:54
* CIA-4 leaves03:19
* CIA-4 joins
* ChanServ leaves06:16
* ChanServ joins
* arjanb joins10:39
<Bluelive>what abut specifiying multiple types for a variable/arguments ?10:50
especially generics could be mad more powerfull by it ?
<arjanb>that will make it very complex and i doubt it's very useful10:51
in Nice you can express it the other way around using abstract interfaces10:54
<Bluelive>doesnt inference result in same effects ?
i just realise that i can allready do this in alpha using a parametric function with multiple constraints10:55
<arjanb>no inference uses the common supertype
<Bluelive>inference doesnt collect types ?
<arjanb>a type variable with multiple constraint is a single type in the type system of nice10:56
so what do you mean with multiple types?10:57
<Bluelive>somemethod({Comparable, Serializable, SomeOtherDisjunctBaseClass} x)
<arjanb>these are multiple constraints not multiple types i think11:00
btw don't you follow the functional programming course?
<Bluelive>i guess somemethod<T>(T x) where T>: Comparable, T>: Serializable, T>:SomeOtherDisjuct...11:01
arjan, im not sure, what the course called ?
<arjanb>functioneel programmeren 21120511:02
of heb je dat in het 1e jaar al gehad?11:04
<Bluelive>nope11:05
maar heb m'n P nog niet
<arjanb>het is nu een 3e jaars keuzevak11:06
<Bluelive>gen
ik loop hier nu wel 3 jaar maar heb pas een jaar een sp
aan sp
zo erg is het nou ook weer niet ;p
<arjanb>ik ook maar 1 jaar aan sp en een half jaar aan tn dus ik loop nu 3 jaar door elkaar te doen 11:08
<Bluelive>ach doe nu een paar 2e jaars vakken11:10
voor het eerts iets in derde trim aan het doen11:11
lag voor gaande jaren weer depri in bed zo ver het collegejaar in :)
heb jij ooit met ruys over nice gesproken
?
<arjanb>ja
<Bluelive>kon je daar wat mee ?11:12
<arjanb>hoe bedoel je?
<Bluelive>nou hij begon tegen mij meteen over dat een eigen progtaal kansloos is als het lijkt op een ander met grote backing11:13
<arjanb>hij was ooit erg enthousiast over pizza en verwacht nu dat nice op dezelfde manier afloopt11:14
<Bluelive>ach pizza en gj zijn toch via een jsr deels in java gekomen11:15
<arjanb>een klein deel ja
<Bluelive>ik kan je vast niet naar alpha om buigen ? :)11:19
<arjanb>voordelen tov van pizza dat nice heeft is dat het geen (tijdelijk) research project is en geen limitaties vanwege java compatible11:20
<Bluelive>sjuh11:21
<arjanb>met geduld en een beetje geluk heb je geen grote backing nodig11:23
<Bluelive>ehmz
je kan toch nooit snel genoeg code genereren ?11:24
<arjanb>het schrijven van code is maar een klein deel11:34
<Bluelive>documentatie en testen ?
waar gaat het het grote deel dan heen ?11:35
<arjanb>denken en discussie over welke en details van features11:36
<Bluelive>okee grote verbazing
<arjanb>documentatie en antwoorden op mails kost al haast meer tijd dan coden
<Bluelive>nouja heb zelf niet de luxe om met iemand te discusieren over features11:37
en design komt tijdens het schrijven
<arjanb>1 designer is opzich een voordeel qua tijd11:38
ik ben op het moment vaker aan het experimenteren en zoeken naar bugs dan aan het coden11:39
zelfs java heeft maar 1 iemand die fulltime met de compiler bezig is11:40
<Bluelive>tsjuh
nouja nu ben ik totaal braindead libs aan het maken
veel features maar ff op pauze gezet omdat ik ze zelf nog niet gebruik 11:41
<arjanb>tja gebrek aan libs en editor support is vaak een probleem11:44
<Bluelive>jcreator support zou niet zo moeilijk moeten zijn, maarja dat ding is closed source11:45
<arjanb>mankracht is een lastig probleem voor alle beginnende prog talen11:52
<Bluelive>tsja
zelf vindt ik het vervelened dat mensen zeggen dat alpha bijvoorbeeld kansloos is omdat het lijkt op iets successvols, en niet totaal nieuw is11:53
lijkt me juist dat de wereld meer heeft aan een evolutionaire verbetering (en nu bsd licensed)
<arjanb>statisch gezien is alpha maar ook nice vrij kansloos om boven de 100 actieve gebruikers te komen11:55
<Bluelive>welke statistiek ? :)
maar idd11:56
<arjanb>ik denk dat er nu minstens 50 progtalen in ontwikkeling zijn
<Bluelive>zoveel ?11:57
ach op een online bevolging van 1miljard is dat niet zoveel
<arjanb>als men over 10 jaar van 5 de naam kan herinneren houdt het op ws11:58
<Bluelive>sjuh
maar veel talen zijn niet serieus11:59
<arjanb>ligt eraan of je het de makers vraagt12:00
<Bluelive>ah dat is waar12:01
nou ik moet maar eens een site bouwen12:04
<arjanb>eigenlijk zijn er teveel (eigenwijze) mensen die vinden dat ze een eigen taal moeten maken12:07
hoewel diversiteit niet slecht is
<Bluelive>nee diversiteit is erg jammer12:08
maar nodig
no silver bullet enzo
en ja ik ben 1 van die eigenwijze mensen omdat de meeste talen die ik zie m'n problemen niet oplossen
(behalve c# mischien, maar ben niet van plan omdaar aan vast te zitten)12:09
achja, msihcien eens wat mensen kopen om wat voor me te proggen12:11
een keerjte geen neiuwe pc kopen maar een honderd manuren ofzo
<arjanb>ik betwijfel het nut daarvan12:12
<Bluelive>och msichien dat iemand er daarna het intressant vindt om er zelf ook wat mee te doen, en genoeg basis materiaal te hebben voro een betere presentatie12:15
* ChanServ leaves13:28
* ChanServ joins13:31
* fcb joins15:02
<arjanb>hi15:04
* fcb leaves15:08
* bonniot joins15:39
hi!15:41
<arjanb>hello
<CIA-4>03bonniot * 10Nice/ (2 files in 2 dirs): Make sure to mark all existential elements when needed.15:55
<arjanb>bruce pokes again in typing issues: http://mindview.net/WebLog/log-005216:22
* arjanb leaves16:43
<Bluelive>yeah read it17:51
i think its just the same thing, with a bit more details, said a bit louder17:52
because louder means that your right
<bonniot>:-)17:53
<Bluelive>well i made the first steps in a usefull application written in alpha17:58
webserver
* arjanb joins19:11
* arjanb leaves19:44
<CIA-4>03bonniot * 10Nice/ (6 files in 4 dirs): 21:38
When doing overloading resolution in existential mode, backtrack when the
symbol is not applicable.
* ChanServ leaves23:39
* ChanServ joins23:44
<bonniot>bye00:02
* bonniot leaves