/*** ############################## # Identification of the news # ############################## # DO NOT MODIFY name: New Elixir Version date: 2024-06-12 ################ # General data # ################ # the picture address, in dokuwiki or web syntax picture = :actualites:ressources:logoelixir.png # the name displayed when hovering over the picture (optional) picture tag = # the link to be followed when clicking on the picture (optional) picture link = # the link in the circled arrow icon (optional) extra link = https://elixir-lang.org/blog/2024/06/12/elixir-v1-17-0-released/ ####################### # Visibility/priority # ####################### # # This part describes when the news should be visible, and with what priority (how high in the list). # from 2024-06-12 for 2 months, priority= low from 2024-06-12 for 4 weeks, priority= normal from 2024-06-12 for 2 weeks, priority= high before 2024-06-12, visible= false # # Other intervals of priority can/have to be specified. # # As a rule of thumb: # - priority high for up to 3 days, 10 days for very important events (FOCS) (appears top of the list) # - priority normal for up to 2 or 3 weeks (appears with high probability) # - priority low for as long as one wishes (probably invisible but sometimes can be if there is sufficient space) # - priority null makes the news invisible # - priorities may change several times (e.g. high for registration and for the event) # - this syntax can also be used for changing pictures, links, ... # # The syntax is the following # from DATE until DATE, priority= PRIORITY # from DATE for DURATION, priority= PRIORITY # for DURATION until DATE, priority= PRIORITY # # PRIORITY: high | normal | low | null # # DATE: # NUMBER MONTH NUMBER (e.g. 22 June 2018) # ???-??-?? (e.g. 2018-06-22) # # DURATION: # NUMBER (day|days|week|weeks|month|months|year|years) ########## # Notion # ########## # if one wants to have a notion (a small text that unravels when clicked and is used to highlight a concept) # # notion = NOTION NAME # notion text = {TEXT OF THE NOTION} #################### # TEXT OF THE NEWS # #################### ***/ [[https://elixir-lang.org/|Elixir]] has launched its new version! [[https://www.irif.fr/~gc/|Giuseppe Castagna]] (IRIF Senior Researcher) and [[https://gldubc.github.io/|Guillaume Duboc]] (IRIF PhD student) developed with [[https://github.com/josevalim|José Valim]] the type-system for this open-source programming language. **"This release introduces set-theoretic types into a handful of language constructs."**