Posts

Showing posts from April 4, 2019

Concise way of “updating” element in nested collections

Image
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0; } 0 $begingroup$ Imagine simple game: type Combatant = { hp : int attack : int } type CombatantGroup = Combatant list type CombatantGroups = CombatantGroup list type Battle = { combatantGroups : CombatantGroups } there is some battle, in which some amount groups participate. In each group there is several combatants. Now I want to implement a function for one combatant to attack another. Due to immutability, I have to replace whole attacked target, and whole group and whole battle. If the battle was just between two participants, I could write code like this: if target = battle.combatant1 then { battle with combatant1 = { battle

Giochi della XVII Olimpiade

Image
Voce principale: Giochi olimpici estivi . Giochi della XVII Olimpiade Città ospitante Roma, Italia Nazioni partecipanti 83 (vedi sotto) Atleti partecipanti 5.338 (4.727 - 611 ) Competizioni 150 in 19 sport Cerimonia apertura 25 agosto 1960 Cerimonia chiusura 11 settembre 1960 Aperti da Giovanni Gronchi Giuramento atleti Adolfo Consolini Ultimo tedoforo Giancarlo Peris Stadio Stadio Olimpico di Roma Medagliere Nazione Unione Sovietica 43 29 31 103   Stati Uniti 34 21 16 71   Italia 13 10 13 36 Cronologia dei Giochi olimpici Giochi precedenti Giochi successivi Melbourne 1956 Tokyo 1964 I Giochi della XVII Olimpiade si sono svolti a Roma, in Italia, dal 25 agosto all'11 settembre 1960. Roma si era già aggiudicata l'organizzazione dei Giochi Olimpici del 1908, ma a seguito dell'eruzione del Vesuvio del 1906 rinunciò a tale evento, cedendo l'onore dell'organizzazi