Swift: así es el nuevo lenguaje lanzado en el WWDC14

¿El tipado fuerte una "moda"? Mi madre...

Me refiero a moda en el sentido que se le está dando en los últimos años: no es un salvador ni una panacea en absoluto, y por lo que he visto se presta muchísimo a abuso por parte de muchos.

Y no te equivoques: sin una metodología fuerte y una cabeza bien ordenada, cosas como los Storyboards, tipado opcional, o agrupaciones de assets lo único que hacen es poner 'malas costumbres' que luego es muy difícil quitar.

Joder, que a estas alturas un graduado universitario no sepa usar Git o diga que para programar en iOS necesita outlets sí o sí es grave, ¿eh?

Es que lo gracioso es que en estos últimos años lo que se lleva es el tipado débil, y es este último el que permite desmadres como ningún otro, lo que dices no tiene ninguna lógica. Un lenguaje con tipado fuerte es menos dinámico y más limitado. La desventaja de los tipados débiles que que obviamente suele tener menos rendimiento ya que al no conocer el tipado en tiempo de compilación, el compilador tiene que resolver el tipo en tiempo de ejecución -lo que implica una penalización- y se impide que el compilador pueda efectuar ciertas optimizaciones.

También puedes usar nombres de variables que ayuden un poco a saber lo que van a contener... vamos, por dar una idea...

Tu ejemplo tiene el mismo problema.
Si escribes int x = y también te has tenido que ir a la definición de y para saber que esa variable es un entero porque no hay nada en el nombre de la variable que te indique de qué tipo es.

Ergo, según tu razonamiento, escribir int x = 0 también es de vagos y descuidados.

Yo aún soy un principiante en Xcode, pero juraría que todo lo que haces en el StoryBoard se puede hacer con código también si lo prefieres.

En Swift la declaración de variables se puede hacer escribiendo el tipo o sin hacerlo, el resultado es el mismo:

var minombre: String = "Manolo"

es lo mismo que:

var minombre = "Manolo"

Cuando el compilador ve que asignas una cadena a una variable dicha variable es declarada como String.

Igual si declaras enteros o números dobles:

let numero = 1 // numero es declarada de tipo Int
let precio = 0.45 // precio es declarada de tipo Double

Lo siento pero victor no lo ha explicado nada bien.

Un lenguaje con tipado fuerte es en realidad un término paraguas que define muchas cosas.
En este caso concreto se refieren a tipado estático: aquel en el que el Tipo de las variables se ha de conocer a la hora de compilar.

Por ejemplo, si declaras una variable que va a contener un entero, será una variable entero siempre, y sólo podrás almacenar enteros en ella.

Otros lenguajes (ruby, python, etc) permiten que una variable almacene cualquier tipo, y cambiar el mismo durante la ejecución

Objective-C, irónicamente NO tiene tipado estático. Cuando especificas tipos es para "ayudar" el compilador y que te notifique de errores si intentas mezclar variables de distinto tipo, pero en realidad es simplemente una comprobación, toda esa información se evalúa cuando el programa se ejecuta:(http://stackoverflow.com/questions/10269686/performance-benefits-of-static-typing-in-objective-c)

Por último, inferir el tipo es simplemente una manera de no repetir información. Si escribes:

string s = new string();

Estás repitiendo información de más que el compilador puede averigurar él solo.

Por supuesto para un ejemplo así no importa mucho, pero cuando tienes cosas como
Dictionary dic = new Dictionary();

se agradece que puedas escribir simplemente:

var dic = new Dictionary();

La inferencia de tipos no es algo nuevo, lo tiene C# desde hace mucho e incluso C++, y ni require cosas raras ni tiene nada que ver con cómo se hace en PHP

Y no es por nada pero esto lo explicaban en la carrera hace ya bastantes años :S

Si Stack es una interfaz y ArrayStack la implementa, por supuesto que tiene sentido. Pero lo decía pensando en Java. De todas formas estaba respondiendo al personaje en cuestión...

Por eso digo que en determinados casos es redudante, pero en otros no. Por supuesto, dependiendo del lenguaje y de sus características.

Estoy totalmente de acuerdo con lo que comentas a continuación. Me encanta que Swift infiera directamente de qué tipo es una variable con la inicialización, me parece una buena idea para abreviar.

Podríamos decir que es una forma de trabajar con tipos genéricos de forma implícita, y definitivamente es comodísimo a la hora de programar.

Es que no has entendido la inferencia de tipos. La inferencia es que en vez de declarar el tipo EXPLICITAMENTE lo haces de forma implícita, NO que "bailes la variable a locas"

O dicho de otro modo, el primer tipo que asignas a la variable es el tipo que va a tener y NO SE PUEDE CAMBIAR.

Si el mayor problema que tenéis es que no sabéis el tipo de la variable es que estáis a un nivel de abstracción muy limitado. Por ejemplo si yo declaro una variable de tipo float llamada time, me dice MUY poco: lo que tienes que hacer es declarar la variable llamándola timeInSeconds, por ejemplo, para dejar bien claro en el código la unidad de tiempo, no que es de tipo flotante.

La pregunta era mía y la has contestado muy claramente. Muchas gracias, Victor.

Mi problema no es por que hayas hecho una explicación simplificada, sino porque has dicho el sinsentido de "Swift supongo que lo que hará es meter código extra a la hora de compilar para inferir tipos y tal, no tengo ni idea..."
Eso no tiene NADA que ver: das la impresión de que el compilador mete más codigo y por tanto más datos cuando no va de nada de eso.

Sobre lo de la universidad, me das la razón: yo he dicho que se da desde hace muchos años, pero sin embargo tu dices que "Lo que he dado en la carrera sobre lenguajes, tecnologías y paradigmas de la programación se me queda corto." Si como esperaba se sigue dando en la carrera, pero tu tienes dudas al respecto, es que a lo mejor no lo has asimilado bien.

Siento mucho que te hayas tomado mi puntualización como una ofensa personal, pero a raíz de lo que has dicho lo mantengo: no lo has explicado correctamente

Por eso digo que he especulado acerca de Swift y he preguntado si alguien que se haya informado lo podía explicar. Era tan simple como que dijeras: "el compilador de Swift infiere el tipo de la variable en la inicialización". Fin. ¿De verdad era tan difícil? Insisto, ¿de verdad?

Me lo tomo como una ofensa personal porque das por hecho que tengo que tener la carrera terminada. Tengo 20 años. Si haces unos cálculos en el playground de Swift, podrás descubrir qué curso acabo de terminar. A ver quién no ha terminado de asimilar cosas...

De todas formas esto poco tiene que ver con la carrera, ya que estamos hablando de Swift. Por tanto, sí, me lo tomo a mal porque tu actitud ha sido de auténtico crío. Y por lo que veo por ahí es tu forma natural de actuar. Menudo problemón.

Sigues sin indicar por qué he explicado mal lo que es un lenguaje fuertemente tipado y sigues haciendo referencia a lo otro, lo cual ya indico yo que desconozco.

En fin, créeme cuando te digo que antes de hablar deberías pensar.

"Era tan simple como que dijeras: "el compilador de Swift infiere el tipo de la variable en la inicialización""

Es que justamente eso es el concepto de "inferencia de tipo", luego tenías el concepto mal. Yo simplemente indiqué que no lo habías explicado bien y puntualicé, y tu te lo tomaste a malas por que te ha sentado mal que te corrijan, por que ni te he insultado ni te he vacilado en ningún momento.

Un consejo: aprende a tomarte mejor las críticas, te irá mejor cuando te incorpores a un equipo, por que si quieres programar vas a ser un eterno aprendiz, como lo somos todos. Y tener un poco de humildad también es un buen símbolo. Si prefieres cabrearte por que te han corregido es tu problema. Cuando a mi me pasa -que me pasa- yo prefiero pensar que he aprendido algo nuevo.

Que me eches en cara que no sepa si has terminado la carrera cuando tu sacaste ese tema sin especificar que eres estudiante es un argumento muy debil: ahora sólo faltaría que tenga que ser adivino.

Nadie ha dicho que sea un grave error es simplemente un fallo al explicarlo, no pongas palabras en mi boca.

¿De verdad he sido TAN irrespetuoso? Acaso he dicho que victor no tiene ni idea o he dejado caer algo similar? Simplemente he dicho que no lo explicó bien y pasé a exponer por qué. Nada más.

No tiene incluso nada que ver con que no sepas un tema. Seguro que en la vida te has encontrado con gente que sabe mucho de un tema pero a veces al explicarlo no se le da tan bien.

No veo que sea tan grave lo que he hecho, la verdad, deberíais aprender a aceptar críticas. Y tener en cuenta que aunque las cosas en texto suenen bruscas no significa que los escribiera siendo borde. Eso es fallo mío por no hacerme entender, si, pero no saquemos las cosas de quicio.

De momento el único que ha insultado al alguien aquí eres tu llamándome loco, por lo que tengo que ponerte un negativo.

¿Quién había hablado previamente de inferencia de tipo? Estábamos hablando de tipado fuerte y es precisamente donde los tipos no se infieren, porque ya los indicas tú. Según tú eso no es así, pero aún no me has dicho por qué, te pones a hablar de Objective-C y Swift siempre... ¿Por qué?

Como ya te he dicho, no me sienta mal que me corrijas. De hecho me encanta aprender cosas nuevas, sobre todo relacionadas con la ingeniería informática. Casi todos los días aprendo algo nuevo, cosa que no es para nada sorprendente teniendo en cuenta todas las cosas que me quedan por aprender. Esa es mi actitud, ¿la tuya cuál es?

Me sienta mal que me corrijas para decir lo mismo respecto al tipado fuerte y que, además, me faltes al respeto (el respeto se falta de muchas formas además de insultando) con lo que has dicho respecto a mis estudios.

Como he dicho, hay formas y formas de corregir. Podrías haber venido a responder a las preguntas y a las suposiciones (que es lo que has corregido y lo que yo dije mal) de forma educada y no prepotente. No puedes hablar de humildad cuando has demostrado que careces de ella.

No quiero dedicarme a la programación, quiero hacer la especialidad de redes.

Eterno aprendiz se es en todo en esta vida.

Eso mismo te estoy diciendo, que como no eres adivino preguntes antes de darlo por hecho y utilizarlo para atacarme, al margen de todo lo demás.

Por otra parte, aprovecho para agradecerte la explicación acerca de Objective-C y Swift. Porque sí, he aprendido bastante acerca de estos dos lenguajes con lo que has explicado. Te lo digo explícitamente porque si no entiendes que digo lo contrario.

Tú has entendido que te han llamado loco personalmente en la siguiente frase:
"[...] si programas, terminas loco como habéis podido comprobar."

Por tanto doy por hecho que entenderás que me tome mal lo siguiente:
"Y no es por nada pero esto lo explicaban en la carrera hace ya bastantes años :S"

Nada más que añadir al respecto, creo que está todo bien claro.

Victor, creo que no has entendido de lo que estamos hablando. Inferencia de tipos NO está reñido con tipado fuerte. C#, Swift, y ahora C++ permiten inferencia de tipos y son lenguajes con tipado fuerte. Ya hemos explicado lo que es la inferencia de tipos, así que no volveré sobre el tema.

Y si, estoy hablando de Swift y Objective-C precisamente porque de eso trata este post, y porque la conversación trata de Swift. Por no hablar de que di ejemplos con más lenguajes, así que tu frase de que sólo hablo de Swift y Obj-C es falsa.

Respecto a lo de la carrera, lo dije por tu frase:
"Lo que he dado en la carrera sobre lenguajes, tecnologías y paradigmas de la programación se me queda corto. A ver si alguien lo sabe."

Mi comentario fue para indicar que eso se daba en la carrera hace muchos año. Supuse que habías terminado la carrera y me extrañaba que NO se siguiera dando. Espero que ya quede claro que no era ninguna referencia a una hipotética falta de conocimiento tuya, y que no me hagas la falsa comparación con que me llamen explícitamente loco.

Otro consejo que te doy, si me lo permites, es que no te tomes tan a lo personal cosas que leas escritas: no sabes el tono con el que lo escribo, y tu has inferido (guiño, guiño) que lo hacía vacilándote, cuando te repito otra vez que no era así. Y repito: el error por no hacerme entender es mío como emisor del mensaje, simplemente te digo que la próxima vez no te enciendas a la primera de cambio cuando te corrigen.

Donde digo, "tipado fuerte" en realidad quería decir "tipado estático".
Como dije antes tipado fuerte es más un concepto que incluye muchas cosas, pero de lo que estamos hablando aquí es de tipado estático / dinámico

En este caso es por que es un Playground: un documento especial que permite escribir código que se evalua en runtime. Vamos que no es un fichero de código al uso, es más un documento en el que puedes definir el formato (vamos, que no es un tema)

He visto esto en el último iosdevweekly que se supone que te permite crear ese tipo de documentos. Como lo he visto hoy no he podido ni verlo. https://github.com/jas/swift-playground-builder

Solo puntualizar que sublime es multiplataforma, si bien es verdad que muchos añadidos que tiene utilizan utilidades de línea de comandos que suelen tener mejor soporte en sistemas *nix que en windows. (no se si eso pasa con Emacs)

Por otro lado en este caso lo que buscaba daviddnet es un Playground que no lo puedes tener -de momento- con ninguna otra cosa que no sea Xcode6 Beta.

C# comenzó siendo una copia de Java, sí; pero desde sus inicios, ha evolucionado muchísimo y diverge bastante de Java, en muchísimos sentidos.

C es de la edad de piedra, sí; pero es un lenguaje que en muchísimos nichos no ha sido vencido, ni por su hijo directo C++: kernels, drivers, APIs, etc.

No porque el cuchillo se haya inventado en la edad de piedra quiere decir que ya es obsoleto, ¿verdad?

Personalmente creo que es justo lo contrario: todos quieren ser como Python, un lenguaje tan cómodo, agradable, e interoperable, que ya se ve en todos lados. Es el Pascal moderno.

Hubo muchas insinuaciones en la WWDC que Apple quiere meter Swift en todos lados, no sólo en su propia arquitectura/dispositivos. Y sinceramente, creo que podrían conseguirlo. Swift parece Python en esteroides.

Si juegan bien sus cartas, y tienen apoyo de los desarrolladores -y por mi parte lo tendrán, porque soy un fanático de Python y me está encantando el potencial de Swift- Apple podría arrasar con esto: ¿colocando un lenguaje de su casa en una ubicuidad casi universal? Buf.

Si no tienes problema en que sea en inglés hay un curso online de la universidad de Standford sobre programación en iOS en iTunesU que está muy bien. Los vídeos están subtitulados en inglés así que si tienes problemas con el inglés hablado puedes más o menos seguirlo.
https://itunes.stanford.edu

Las primeras charlas incluyen una introducción a Obj-C. También en la web de Apple tienes muchos recursos al respecto, y seguro que si buscas en post Applesfera encuentras algún curso en español

Espero que te sirva.

gracias..! me sirve.. Gracias..!!!