503 lines
30 KiB
HTML
503 lines
30 KiB
HTML
<!DOCTYPE html>
|
||
<html lang="en">
|
||
<head>
|
||
<meta charset="utf-8">
|
||
<meta name="viewport" content="width=device-width">
|
||
<title>Caught in the Net</title>
|
||
<link rel="stylesheet" href="assets/blog/fonts/opensans.css">
|
||
<link href="assets/blog/css/normalize.css" rel="stylesheet" type="text/css">
|
||
<link href="assets/blog/css/cayman.css" rel="stylesheet" type="text/css">
|
||
<meta name="theme-color" content="#5670d4">
|
||
<meta name="generator" content="Nikola (getnikola.com)">
|
||
<link rel="alternate" type="application/rss+xml" title="RSS" hreflang="en" href="rss.xml">
|
||
<link rel="canonical" href="francescomecca.eu/">
|
||
<link rel="next" href="index-19.html" type="text/html">
|
||
<link rel="prefetch" href="blog/2019/03/06/Dconf-2019/" type="text/html">
|
||
</head>
|
||
<body>
|
||
<div id="container">
|
||
|
||
<section class="page-header"><h1 class="project-name">
|
||
Caught in the Net
|
||
</h1>
|
||
<h2 class="project-tagline">La rete ti cattura ma libera il pensiero</h2>
|
||
<a class="btn" href=".">Home</a>
|
||
<a class="btn" href="pages/about/">About me</a>
|
||
<a class="btn" href="pages/contattami/">Contact me</a>
|
||
<a class="btn" href="archiveall.html">Archive</a>
|
||
<a class="btn" href="rss.xml">RSS</a>
|
||
<a class="btn" href="http://francescomecca.eu/git/pesceWanda">Personal Git</a>
|
||
<a class="btn" href="https://github.com/FraMecca">Github</a>
|
||
<a class="btn" href="wp-content/curriculum/CV_Mecca_Francesco.pdf">Curriculum</a>
|
||
</section><section class="main-content"><div class="posts">
|
||
<article class="post"><header><h1 class="post-title"><a href="blog/2019/03/06/Dconf-2019/" class="u-url">Dconf 2019</a></h1>
|
||
</header><div>
|
||
<span class="post-date">06 March 2019</span>
|
||
</div>
|
||
<br><div class="e-content entry-content">
|
||
<div>
|
||
<p>Quest'anno molto del mio tempo passato al pc e` stato investito per D e la sua community.
|
||
I miei sforzi nell'imparare questo linguaggio sono confluiti nella partecipazione al <a href="https://dlang.org/blog/symmetry-autumn-of-code">SAOC</a> con il mio amico e collega <a href="https://fragal.eu">Francesco Galla`</a>.</p>
|
||
<p>Accompagnero` Francesco all'edizione del 2019 della <a href="https://dconf.org/2019/index.html">DConf</a> che si terra` dall'otto all'undici marzo a Londra.</p>
|
||
<p>See you there!</p>
|
||
</div>
|
||
</div>
|
||
</article><br><hr>
|
||
<br><article class="post"><header><h1 class="post-title"><a href="blog/2018/10/2/eduhack-coventry/" class="u-url">eLearning in the age of Social Networks, the EduHack Platform</a></h1>
|
||
</header><div>
|
||
<span class="post-date">26 October 2018</span>
|
||
</div>
|
||
<br><div class="e-content entry-content">
|
||
<div>
|
||
<p>This is the revised transcript of my <a href="http://conf.owlteh.org/contributions/published/elearning-in-the-age-of-social-networks-the-eduhack-model/">talk</a> at the <a href="https://www.conf.owlteh.org/">OWLTEH Conference 2018</a> at the Coventry University.</p>
|
||
<p><img alt="Me, giving the talk" src="wp-content/uploads/2018/coventry.jpg"></p>
|
||
<h2>In the beginning there was the LMS</h2>
|
||
<p>Learning Management Systems appeared on the market around the beginning of 2000.</p>
|
||
<p>Since then they have been the foundation of the modern education sector, ranging from the basic functionalities of activity tracking, grades and analytics for the students (and in some cases the parents) to complex environments for remote education or even experimental pedagogies (e.g. <a href="https://fare.polito.it">FARE</a> that provides hospitalized students means to access the physical class and labs).</p>
|
||
<p>In the last five years commercial LMS reduced the pace of their progress, while providing better accessibility and decentralization.</p>
|
||
<p>The core of their principle hasn't changed. In this talk I am going to highlight their problems and outline a vision for a different approach that is supported by modern technologies.</p>
|
||
<h3>The problem of traditional LMS</h3>
|
||
<p>The design of a Learning Management System is based mainly around closed structures, such as very strict roles management and access management.</p>
|
||
<p>In a scenario where a professor might want to bring a domain expert during classes and online, a traditional LMS doesn't provide any kind of facilities for things such a role (in terms of login rights, rights towards other users, moderation capabilities).</p>
|
||
<p>There are many corner cases that lack a general method that allows users to expand the features of an LMS, especially when an institution lacks the technical means to bring development to such platforms.</p>
|
||
<p>Moreover, traditional LMS are highly gerarchic and foster an epistemology of "possession": learners are defined by the content that they "possess", the course they subscribed to, the material they downloaded. The educator is forced to be an authoritative source of knowledge that needs to direct the activity of the learners by having students pull the knowledge through an online portal. The flow is unidirectional and content centric.</p>
|
||
<p>In my experience instructors produce delivery-centered pedagogies because LMS lacks the flexibility to be adapted to learners, especially when they are used by a variety of instructors (e.g.: all of the professors of a UNI). While this model better reflects the traditional classroom I would argue that modern users are not used to this kind of dynamics in modern online communities.</p>
|
||
<p>You can learn more about the friction in the usage of traditional LMS in the following papers:</p>
|
||
<ul>
|
||
<li>
|
||
<p>Rubin, Fernandes, Avgerinou, & Moore, 2010</p>
|
||
</li>
|
||
<li>
|
||
<p>Naveh, Tubin, & Pliskin, 2010</p>
|
||
</li>
|
||
<li>
|
||
<p>Parry, 2009; Sanchez-Franco, 2010</p>
|
||
</li>
|
||
<li>
|
||
<p>Beebe et al., 2010</p>
|
||
</li>
|
||
</ul>
|
||
<h3>Hacking Education with Digital Pedagogies</h3>
|
||
<p>What happens when education gets "hacked" and transitions in the digital world?
|
||
This is what we envision within the realms of the EduHack project:</p>
|
||
<ul>
|
||
<li>
|
||
<p>"Content to consume" becomes "content to consume to produce content": learners become knowledge builders because producing intellectual outputs is the logical continuation to learning.</p>
|
||
</li>
|
||
<li>
|
||
<p>The environment goes from content centric to learner centric: teachers must be comfortable with the fluidity of such new roles.</p>
|
||
</li>
|
||
<li>
|
||
<p>The distribution of information goes from knowledge-push to knowledge-pull: learners actively seek out educational material and gets rewarded.</p>
|
||
</li>
|
||
</ul>
|
||
<p>In the academia the closest study in this direction has been:
|
||
eLearning 2 0 and new literacies are social practices lagging behind, W.-Y. Lim et al.</p>
|
||
<h4>What do we gain with OSNs</h4>
|
||
<p>In the Web 2.0 landscape and in particular for younger generations, Online Social Networks (OSNs) have strong potential for building and mantaining strong connections and create an informal learning environment that collects and puts into actions the ideas that I have described.
|
||
I wont rehash widely known statistics, but it must be said that nowadays OSNs, in particular Facebook, Youtube and Twitter have a high rate of penetration towards students of upper secondary and post secondary education. For younger students OSNs are their primary means of communication while dominating their usage of the internet overall.</p>
|
||
<ul>
|
||
<li>
|
||
<p>Using Social Networks Technology to Enhance Learning in Higher Education: a Case Study using Facebook.</p>
|
||
</li>
|
||
<li>
|
||
<p>Web-Based Learning Platforms integratins Social Networking for Design Educations at High Schols in China.</p>
|
||
</li>
|
||
<li>
|
||
<p>Using online social networking for teaching and learning: Facebook use at the University of Cape Town.</p>
|
||
</li>
|
||
</ul>
|
||
<h3>Case studies: Facebook as an alternative LMS</h3>
|
||
<p>Different case studies analyzed the possible uses of Facebook as a social LMS.
|
||
The following is a list of the positive and negative results of such studies grouped by User Experience Design (UX), Behavior of the users and Quantitative Participation.</p>
|
||
<h5>UX</h5>
|
||
<p>Advantages:</p>
|
||
<ol>
|
||
<li>
|
||
<p>Photos and discussions are presented better than traditional LMS.</p>
|
||
</li>
|
||
<li>
|
||
<p>User's walls, private messages and comments are considered just communication tools.</p>
|
||
</li>
|
||
<li>
|
||
<p>Users reported that the technologies used for sharing class related material was familiar.</p>
|
||
</li>
|
||
<li>
|
||
<p>Educators reported that Facebook was useful to answer questions in bulk.</p>
|
||
</li>
|
||
<li>
|
||
<p>Educators reported that given the capabilities above, they saved a lot of time that otherwise would have been spent dealing with class related communications and questions.</p>
|
||
</li>
|
||
</ol>
|
||
<p>Disadvantages:</p>
|
||
<ol>
|
||
<li>
|
||
<p>Users where skeptical in writing long essays.</p>
|
||
</li>
|
||
<li>
|
||
<p>Friction when used as a formal learning platform.</p>
|
||
</li>
|
||
<li>
|
||
<p>Private platforms have issues related to accessibilities and language. Communication was done in english even if that wasn't the case before;</p>
|
||
</li>
|
||
<li>
|
||
<p>Facebook doesn't support a wiki system.</p>
|
||
</li>
|
||
<li>
|
||
<p>There are no tools for group management.</p>
|
||
</li>
|
||
<li>
|
||
<p>There are no tools for sending bulk messages and group notifications.</p>
|
||
</li>
|
||
<li>
|
||
<p>No capabilities for deletion and archival of material.</p>
|
||
</li>
|
||
<li>
|
||
<p>No support for common multimedia (such as powerpoint slides or pdf).</p>
|
||
</li>
|
||
<li>
|
||
<p>Maximum characters limit for posts.</p>
|
||
</li>
|
||
</ol>
|
||
<h5>Behavior of the users</h5>
|
||
<p>Advantages:</p>
|
||
<ol>
|
||
<li>
|
||
<p>Users reached to older students and befriended them.</p>
|
||
</li>
|
||
<li>
|
||
<p>Users reported that they felt less pressure online.</p>
|
||
</li>
|
||
<li>
|
||
<p>Educators found that boldlier students asked more questions because of absense of face to face shyness.</p>
|
||
</li>
|
||
<li>
|
||
<p>Students help each other in answering questions</p>
|
||
</li>
|
||
<li>
|
||
<p>Six people from prior classes idependently requested to join the group</p>
|
||
</li>
|
||
<li>
|
||
<p>Constant and more accurate feedback for teachers</p>
|
||
</li>
|
||
<li>
|
||
<p>Constant communication for teachers</p>
|
||
</li>
|
||
<li>
|
||
<p>They got to know classmates better</p>
|
||
</li>
|
||
<li>
|
||
<p>In heavily moderated OSNs, few users find disappropriate contents.</p>
|
||
</li>
|
||
<li>
|
||
<p>In a comparison Facebook's discussion were more numerous than Moodle's discussions even when people were not allowed to be friends</p>
|
||
</li>
|
||
</ol>
|
||
<p>Disadvantages:</p>
|
||
<ol>
|
||
<li>
|
||
<p>Addiction</p>
|
||
</li>
|
||
<li>
|
||
<p>Students reported difficulties to get used to the new online persona.</p>
|
||
</li>
|
||
<li>
|
||
<p>Miscommunication: many prefer face to face interaction to express views. This maybe because they are used to it in traditional classrooms.</p>
|
||
</li>
|
||
<li>
|
||
<p>Some people say that they don't feel safe on FB (this is even more common when interviewing master students).</p>
|
||
</li>
|
||
<li>
|
||
<p>Some students worry that their personal life could be discovered and misjudged by tutors.</p>
|
||
</li>
|
||
<li>
|
||
<p>Students avoided to befriend educators and lecturers in order to hide their private lives.</p>
|
||
</li>
|
||
<li>
|
||
<p>During the research period, no student befriended the interviewed lecturers.</p>
|
||
</li>
|
||
<li>
|
||
<p>Students did not accept friend requests from lecturers.</p>
|
||
</li>
|
||
</ol>
|
||
<h5>Quantitative Participation</h5>
|
||
<p>Advantages:</p>
|
||
<ol>
|
||
<li>
|
||
<p>Overall the students are more responsive to issues and questions raised in classes.</p>
|
||
</li>
|
||
<li>
|
||
<p>There is a higher number of ongoing discussions in any period.</p>
|
||
</li>
|
||
<li>
|
||
<p>Users log to Facebook for class related activities also during vacations (while the university LMS was almost not used).</p>
|
||
</li>
|
||
<li>
|
||
<p>Very active participation: more than 90% of the students used Facebook outside of classes for study related activities.</p>
|
||
</li>
|
||
<li>
|
||
<p>Improved discussion outside of classes.</p>
|
||
</li>
|
||
<li>
|
||
<p>Students post class related material.</p>
|
||
</li>
|
||
<li>
|
||
<p>Creation of many User Generated Content.</p>
|
||
</li>
|
||
</ol>
|
||
<p>There are no relevant reported challenges regarding participation and usage patterns.</p>
|
||
<h3>Where do we go from here?</h3>
|
||
<p>I want to highlight some other threats that an OSN such as Facebook poses to the Open Web.</p>
|
||
<ul>
|
||
<li>
|
||
<p>The issue of privacy: forcing students to use a service that mines and sells their data is <strong>unethical</strong>.</p>
|
||
</li>
|
||
<li>
|
||
<p>Identity pollution: the open web is based on the principle of pseudoanonimity, users should be capable of build a prism of different online identity for different communities and environments.</p>
|
||
</li>
|
||
<li>
|
||
<p>Studies report Facebook as more appropriate for younger students, but younger people have higher rates of addiction to OSNs as well.</p>
|
||
</li>
|
||
<li>
|
||
<p>Addicted OSNs users have a lower GPA.</p>
|
||
</li>
|
||
<li>
|
||
<p>20% of college students reported being stalked on OSNs.</p>
|
||
</li>
|
||
</ul>
|
||
<p>While the reported results about learners and educators participation in the usage of OSNs as LMS is astounding, forcing students to signup and give away their sensible data to private services is debatable and could be considered unethical.</p>
|
||
<h2>The EduHack model</h2>
|
||
<p>We need to develop a new LMS that is respectful of the Open Web standards without providing any friction to the users.</p>
|
||
<p>For this reasons, as part of the EduHack Project, we are developing the EduHack Knowledge Sharing Platform.</p>
|
||
<p>The EduHack Knowledge Sharing Platform was born around the assumption that many of the advantages in terms of user engagement and group dynamics</p>
|
||
<p>provided by OSNs could be replicated by adopting their widely known design patterns and mimicing closely the UX.</p>
|
||
<p>At the core of the platform there are the founding principles of the Open Web.</p>
|
||
<p>For this reason no data is collected of mined. Users are provided with an account that could be separated from their different online persona.</p>
|
||
<h5>A platform for collaborative learning</h5>
|
||
<p>The EduHack Knowledge Sharing Platform is divided into two parts.</p>
|
||
<p>The personal area is user centric and provides a window into the activities of the user in the form of multimedia blogposts.</p>
|
||
<p>The user can create and manage different roles for external editors to his private area. By default no other user is allowed to post a "story" in his personal area, but other users can be added as team members and can manage group works in different blogs.</p>
|
||
<p>Learners are expected to elaborate and remix what they learned (e.g. from online classes or MOOCs).</p>
|
||
<p>The public area is modelled after the UX of Reddit and it is divided into diffent sections (e.g.: mathematics, IT, discrete phisics, etc...), each providing a wiki.</p>
|
||
<p>Learners can subscribe to different sections or different users and be notified of new content or interactions.</p>
|
||
<p>Every user is allowed to post a link, an essay or any other widely adopted multimedia artifact to any section. Every user can positively vote and comment every post made. Comments can be positively voted as well.</p>
|
||
<p>Comments and content can be ordered by a custom algorithm (Wilson score interval) or chronologically.</p>
|
||
<p>Educators have a custom flair, can create new sections and moderate them. Moderation consists in changing links, removing posts or comments. Vote cannot be altered.</p>
|
||
<h3>Conclusions</h3>
|
||
<p>The EduHack Knowledge Sharing Platform is an ongoing effort to evolve LMS and augment them with social features and modern group dynamics.</p>
|
||
<p>The UX is modeled after a widely used social network without sacrificing consolidated approaches from traditional LMS.</p>
|
||
<p>We want to provide with this model an ethically sound framework for user centric, knowledge-pull pedagogies.</p>
|
||
<h3>References</h3>
|
||
<ul>
|
||
<li>
|
||
<p>Using online social networking for Teaching and learning: Facebook use at the University of Cape Town, Tanja E Bosch.</p>
|
||
</li>
|
||
<li>
|
||
<p>The myths about e-learning in higher education, James Kariuki Njenga and Louis Cyril Henry Fourie</p>
|
||
</li>
|
||
<li>
|
||
<p>Group Formation in eLearning-enabled Social Networks, Steffen Brauer and Thomas C. Schmidt </p>
|
||
</li>
|
||
<li>
|
||
<p>eLearning 2.0 and new literacies: are social laggin behind, Wei-Ying Lim, Hyo-Jeong So and Seng-Chee Tan</p>
|
||
</li>
|
||
<li>
|
||
<p>Using the Facebook group as a learning management system: An exploratory study, Qiyun Wang, Huay Lit Woo, Choon Lang Quek, Yuqin Yang and Mei Liu</p>
|
||
</li>
|
||
<li>
|
||
<p>Using Social Networking Technology to Enhance Learning in Higher Education: A Case Study Using Facebook, Peter Ractham and Daniel Firpo</p>
|
||
</li>
|
||
<li>
|
||
<p>Students’ and teachers’ use of Facebook, Khe Foon Hew</p>
|
||
</li>
|
||
<li>
|
||
<p>The future of e-learning: a shift to knowledge networking and social software, Mohamed Amine Chatti and Matthias Jarke</p>
|
||
</li>
|
||
<li>
|
||
<p>Using Facebook as course management software: a case study, Elizabeth M. LaRue</p>
|
||
</li>
|
||
<li>
|
||
<p>Electronic Social Media in Teaching: Usages, Benefits, and Barriers as Viewed by Sudanese Faculty Members, Ahmed Yousif Abdelraheem and Abdelrahman Mohammed Ahmed</p>
|
||
</li>
|
||
<li>
|
||
<p>The Use of Social Networking in Education: Challenges and Opportunities: Ashraf Jalal Yousef Zaidieh</p>
|
||
</li>
|
||
<li>
|
||
<p>Findings on Facebook in higher education: A comparison of college faculty and student uses and perceptions of social networking sites, M.D. Roblyer, Michelle McDaniel, Marsena Webb, James Herman and James Vince Witty e,4</p>
|
||
</li>
|
||
<li>
|
||
<p>Online social networks: Why do students use facebook? Christy M.K. Cheung, Pui-Yee Chiu and Matthew K.O. Lee</p>
|
||
</li>
|
||
<li>
|
||
<p>e-Learning: The student experience, Jennifer Gilbert, Susan Morton and Jennifer Rowley</p>
|
||
</li>
|
||
</ul>
|
||
</div>
|
||
</div>
|
||
</article><br><hr>
|
||
<br><article class="post"><header><h1 class="post-title"><a href="blog/2018/07/27/addio-reddit/" class="u-url">Un articolo per r/italyinformatica</a></h1>
|
||
</header><div>
|
||
<span class="post-date">27 July 2018</span>
|
||
</div>
|
||
<br><div class="e-content entry-content">
|
||
<div>
|
||
<p>Questo articolo è stato originalmente scritto per il <a href="https://tldr.italyinformatica.org">blog</a> di <a href="https://reddit.com/r/italyinformatica">r/italyinformatica</a>.</p>
|
||
<p>Negli ultimi anni abbiamo assistito all'ascesa di un gran numero di linguaggi di programmazione, in particolare <a href="https://golang.rg">Go</a> (2009), <a href="https://www.rust-lang.org/en-US/">Rust</a> (2010), <a href="https://kotlinlang.org/">Kotlin</a> (2011), <a href="https://elixir-lang.org/">Elixir</a> (2011), <a href="https://crystal-lang.org/">Crystal</a> (2014), <a href="https://www.ponylang.or">Pony</a> (2014).</p>
|
||
<p>Questa esplosione di nuovi linguaggi è dovuta, fra le molte motivazioni, alla necessità di adottare paradigmi di programmazione non immediatamente recenti come cittadini di primo tipo.</p>
|
||
<p>Rispetto ai più maturi C, C++ o Java, Python o Ruby questi linguaggi offrono "out of the box" supporto per:</p>
|
||
<ul>
|
||
<li>una visione moderna delle concorrenze (le goroutines di Go o il modello ad attori di Pony ed Elixir)</li>
|
||
<li>Memory safeness, in particolare:<ul>
|
||
<li>assenza di NULL (Pony, Rust, Kotlin)</li>
|
||
<li>gestione automatica della memoria, il cosiddetto <a href="https://en.wikipedia.org/wiki/Garbage_collection_(computer_science)%20(o%20%5BReference%20Counting%5D(https://en.wikipedia.org/wiki/Reference_counting)%20per%20Rust">Garbage Collector</a>
|
||
</li>
|
||
<li>assenza di puntatori</li>
|
||
<li>assenza di deadlocks</li>
|
||
</ul>
|
||
</li>
|
||
<li>Supporto ad HTTP nella standard library</li>
|
||
<li>Management delle dipendenze (ad eccezione di Kotlin)</li>
|
||
<li>Namespaces</li>
|
||
</ul>
|
||
<p>Chiaramente nessuno di questi linguaggi è oggettivamente superiore agli altri, sono tutti <a href="https://en.wikipedia.org/wiki/Turing_completeness">turing completi</a> e la scelta del programmatore ricade su motivazioni del tutto personali (stile, programmazione ad oggetti, familiarità con altri linguaggi).</p>
|
||
<h3>Un pò di contesto</h3>
|
||
<p>Ho scritto la mie prime due righe di codice nel 2013 per il corso di Computer Science del Politecnico di Torino.</p>
|
||
<p>Per mia fortuna, al Politecnico le cose si muovono ancora lentamente e ci hanno fatto usare C per tutta la durata della triennale. Si è aggiunto un corso di principi della programmazione ad oggetti al terzo anno, in Java.</p>
|
||
<p>Personalmente ho imparato durante l'estate di quel primo anno le basi di C++ e Python poco dopo.</p>
|
||
<p>Sono stati con i miei primi <a href="https://github.com/framecca">progetti</a> che ho capito che non si può avere un buon linguaggio senza un buon tooling ed una community vivace e soprattutto tanta, tanta documentazione. Per questo, per molto tempo C è stata la mia prima scelta, dato che il mio target è sempre Linux.</p>
|
||
<h3>Gli obbiettivi prima del linguaggio</h3>
|
||
<p>Questo post vuole essere una raccolta più o meno organizzata delle motivazioni per cui mi sono dovuto muovere oltre la frontiera di C nel mio ultimo progetto, ovvero un backend per la raccolta e presentazione di pubblicazione di ricerca e materiale didattico per più di 80 centri di ricerca.</p>
|
||
<p>Per il Centro <a href="http://nexa.polito.it/">Nexa</a> del Politecnico di Torino mi sono ritrovato per la prima volta responsabile del codice che dovevo scrivere e dell'uso che se ne sarebbe fatto.</p>
|
||
<p>Ho dovuto tenere in considerazione, oltre chiaramente alla funzionalità della piattaforma, in ordine di priorità:</p>
|
||
<ol>
|
||
<li>Sicurezza</li>
|
||
<li>Performance e scalabilità</li>
|
||
<li>Separazione dal frontend</li>
|
||
<li>Facilità di deploy in un server che non controllo</li>
|
||
</ol>
|
||
<p>Fortunatamente non mi è stata imposta nessuna limitazione sulla scelta del linguaggio, altrimenti Python sarebbe stato la scelta più adeguata se avessi dovuto tener conto anche di altri programmatori.</p>
|
||
<h3>Benvenuto D</h3>
|
||
<p>La mia scelta è caduta su <a href="https://dlang.org">D</a>.</p>
|
||
<p>Voglio provare ad affrontare ad uno ad uno i motivi di questa scelta magari inusuale.</p>
|
||
<h5>Sicurezza</h5>
|
||
<p>Nessuno vuole davvero vantarsi di usare un backend scritto in C/C++. Il <a href="https://en.wikipedia.org/wiki/Buffer_overflow">buffer overflow</a> può essere considerato il bug più comune e ci sono <a href="https://techaeris.com/2017/09/27/buzz-fuzzing-find-uncommon-vulnerability/">situazioni</a> in cui non appaiono affatto in maniera ovvia.</p>
|
||
<p>Inoltre per un applicativo distribuito il Garbage Collector è la scelta più performante, <a href="https://www.usenix.org/node/189882">specialmente se coordinato fra le varie istanze</a>.</p>
|
||
<p>D offre questo di design, e benchè il suo GC sia frutto di numerose <a href="https://www.quora.com/Which-language-has-the-brightest-future-in-replacement-of-C-between-D-Go-and-Rust-And-Why/answer/Andrei-Alexandrescu">discussioni</a>, offre in maniera del tutto innovativa, robustezza e <a href="http://www.walterbright.com/gonewild.pdf">sicurezza</a>.</p>
|
||
<p>In particolare, D presenta:</p>
|
||
<ul>
|
||
<li>Array che sono slices (o ranges) ma non puntatori (e neanche oggetti)</li>
|
||
<li>Bound checking durante la fase di compilazione.</li>
|
||
<li>Inizializzazione automatica delle variabili.</li>
|
||
<li>Safe Casting (chiaramente come eredità di C++).</li>
|
||
<li>Restricted pointers: si può passare una funzione per referenza dichiarandola <code>ref</code>, ma solo quando passata come parametro o di ritorno. Inoltre non c'è nessuna pointer arithmetic.</li>
|
||
<li>
|
||
<a href="https://en.wikipedia.org/wiki/Resource_acquisition_is_initialization">RAII</a>, ovvero l'acquisizione delle risorse equivale alla loro assegnazione e Scopes: le variabili hanno una lifetime limitata allo scope di dichiarazione. Nessun dangling pointer come in C.</li>
|
||
<li>Strutture immutabili: come nelle specifiche di molti linguaggi funzionali, si può dichiarare una variabile come <code>immutable</code> e quindi può essere facilmente condivisa fra threads.</li>
|
||
<li>@safe, @trusted: le specifiche del linguaggio permettono di annotare delle funzioni come sicure o affidabili affinchè il compilatore controlli che non gestiscano puntatori (ad esempio interfacciandosi con C) ed utilizzino il subset "sicuro" del linguaggio (maggiori dettagli in seguito).</li>
|
||
<li>funzioni pure: le funzioni inoltre possono essere dichiarate pure, prive di effetti collaterali e sempre <a href="https://en.wikipedia.org/wiki/Reentrancy_(computing)">rientranti</a>. Questo permette di evitare <a href="https://en.wikipedia.org/wiki/Deadlock">deadlocks</a> e un controllo totale sul risultato delle funzioni.</li>
|
||
</ul>
|
||
<h5>Performance</h5>
|
||
<p>Ci sono moltissime soluzioni per scrivere un applicativo che si interfaccia con il web, ma hanno tutte la loro origine nel famoso <a href="http://www.kegel.com/c10k.html">C10K problem</a>.</p>
|
||
<p>Nel mio caso ho deciso di utilizzare un approccio <a href="https://stackoverflow.com/questions/10960998/how-different-async-programming-is-from-threads">asincrono</a> con coroutines (anche detti <a href="https://en.wikipedia.org/wiki/Green_threads">threads leggeri</a>).</p>
|
||
<p>Benchè D abbia <a href="https://dlang.org/library/core/thread/fiber.html">supporto nativo</a> alle coroutines, ho deciso di appoggiarmi al framework più comune per web dev in D: <a href="blog/2018/07/27/addio-reddit/vibed.org">vibe.d</a>.</p>
|
||
<p>Ogni volta che Vibe accetta una richiesta dall'esterno ed esegue una funzione bloccante (che interrompe l'esecuzione del programma fino al ritorno della funzione), questa viene messa in una pool di azioni da eseguire e Vibe controlla periodicamente che almeno una di queste sia pronta a ritornare un risultato e continuare con l'esecuzione di questa.</p>
|
||
<p>Inoltre, benchè questo meccanismo funzioni interamente su un solo thread, è elementare coordinare una <a href="https://en.wikipedia.org/wiki/Thread_pool">thread pool</a> che distribuisa il carico fra i vari core che eseguono migliaia di threads leggeri concorrentemente.</p>
|
||
<h5>Contratti e Tests</h5>
|
||
<p>Non amo scrivere commenti sui programmi. Penso sia assolutamente necessario commentare il codice di librerie ma al di fuori di queste il codice (buon codice) dovrebbe essere autoesplicativo.</p>
|
||
<p>Inoltre, nelle mie recenti esperienze, il comportamento del programma era chiaro a partire dai tests.</p>
|
||
<p>In D questo concetto viene portato agli estremi applicando il <a href="https://en.wikipedia.org/wiki/Design_by_contract">"Design by Contract programming</a>.</p>
|
||
<p>Un contratto è la divisione di una funzione in:</p>
|
||
<ul>
|
||
<li>Precondizione, ovvero le condizioni che devono essersi verificate prima della chiamata della funzione;</li>
|
||
<li>Postcondizione, ovvero le condizioni che devono essere rispettate all'uscita della funzione (solitamente applicate al risultato);</li>
|
||
<li>Invarianti, ovvero le specifiche di una struttura dati che devono rimanere verificate in ogni funzione;</li>
|
||
<li>Corpo della funzione</li>
|
||
</ul>
|
||
<p>Un esempio:</p>
|
||
<pre class="code literal-block"><span></span>struct Clock {
|
||
|
||
short time;
|
||
|
||
invariant {
|
||
|
||
assert (time > 0);
|
||
|
||
}
|
||
|
||
}
|
||
|
||
short addReturnTime(Clock c, short n)
|
||
|
||
in {
|
||
n > 0;
|
||
|
||
}
|
||
|
||
body {
|
||
|
||
return c->time + t;
|
||
|
||
}
|
||
|
||
out (result){
|
||
|
||
result > c->time;
|
||
|
||
}
|
||
|
||
unittest {
|
||
|
||
auto clock = Clock(60);
|
||
|
||
assert (addReturnTime(clock, 10) == 70);
|
||
|
||
}
|
||
</pre>
|
||
|
||
|
||
<p>Come si nota dall'esempio il supporto ai tests è built-in nel linguaggio e distanti solo una flag in fase di compilazione.</p>
|
||
<h5>Un approccio moderno alle concorrenze</h5>
|
||
<p>Il modello primitivo delle concorrenze in Posix è discutibilmente datato e prono ad errori per il programmatore.</p>
|
||
<p>D di default evita la condivisione di dati fra Threads.
|
||
Fra le varie motivazioni c'è il fatto che questo rifletta più realisticamente l'hardware, ma sicuramente l'obbiettivo finale è la riduzione di bug.</p>
|
||
<p>Non voglio dilungarmi nei dettagli di ogni singolo approccio, ma per completezza D offre out of the box i seguenti modelli:</p>
|
||
<ul>
|
||
<li>Message passing e <a href="http://dist-prog-book.com/chapter/3/message-passing.html">attori</a>, ovvero tutti i dati che vogliono essere condivisi fra thread sono incapsulati in <a href="https://en.wikipedia.org/wiki/Remote_procedure_call">RPC</a>;</li>
|
||
<li>Green threads, come nel mio caso;</li>
|
||
<li>Multi processing, ovvero <code>man 3 fork</code>
|
||
</li>
|
||
<li>TaskPools, ovvero future e promises di Python e Javascript;</li>
|
||
<li><a href="http://moss.csc.ncsu.edu/~mueller/cluster/ps3/SDK3.0/docs/accessibility/sdkpt/cbet_1simdvector.html">SIMD vectorization</a></li>
|
||
</ul>
|
||
<p>Andrei Alexandrescu, uno dei due creatori del linguaggio, dedica un intero capitolo alle concorrenze che potete leggere liberamente <a href="http://www.informit.com/articles/article.aspx?p=1609144">qui</a>.</p>
|
||
<h5>Assenza di dogmatismi</h5>
|
||
<p>Non potrei mai pensare di scrivere un linguaggio di programmazione senza mettere al secondo posto la semplicità.</p>
|
||
<p>Ma chiaramente ancora prima di discutere di semplicità la dobbiamo definire.</p>
|
||
<p>Go e Python sono due linguaggi semplici. Lo sono per la ridotta sintassi (Go in particolare) e perchè attraverso il loro dogmatismo costringono il programmatore ad adottare dei paradigmi di programmazione scelti dai designer di quel linguaggio. E` il motivo per cui in python non abbiamo delle vere lambda e per cui Go non ha le eccezioni.</p>
|
||
<p>In D il programmatore ha libertà piena di scelta. Oltre ad un paradigma di programmazione si può ridefinire la sintassi e evitare il Garbage Collector. Si può in ultimo disattivare tutte le feature del linguaggio che sono @safe e adottare uno stile molto più vicino al C/C++, con tanto di inline asm.</p>
|
||
<h3>Dove iniziare</h3>
|
||
<p>Non posso non concludere un post propagandistico senza indirizzare i più interessati alle prime risorse per imparare D.</p>
|
||
<p>Personalmente consiglio il <a href="http://www.informit.com/store/d-programming-language-9780321635365?w_ptgrevartcl=Concurrency+in+the+D+Programming+Language_1609144">libro</a> di Andrei che offre in particolare moltissimi dettagli sulle motivazioni del design di D. Non ho ancora letto un libro che affrontasse così chiaramente il design di linguaggi di programmazione e i vari compromessi fra performance, semplicità e complessità del compilatore.</p>
|
||
<p>Inoltre il sito della community offre due intro per chi proviene da <a href="https://dlang.org/ctod.html">C</a> e <a href="https://dlang.org/cpptod.html">C++</a>, oltre al classi <a href="https://tour.dlang.org/">tour</a>.</p>
|
||
<p>Inoltre la libreria standard, <a href="https://github.com/dlang/phobos">Phobos</a>, è talmente chiara che solitamente mi trovo a mio agio a consultare direttamente il codice piuttosto che la documentazione online.</p>
|
||
</div>
|
||
</div>
|
||
</article><br><hr>
|
||
<br>
|
||
</div>
|
||
|
||
<div class="pagination">
|
||
|
||
<a class="pagination-item older" href="index-19.html">Older</a>
|
||
</div>
|
||
|
||
|
||
|
||
|
||
|
||
<footer class="site-footer" id="footer"><span> CC BY-SA 4.0 International.<br></span>
|
||
<span class="site-footer-credits"><a href="https://getnikola.com">Nikola</a>, <a href="https://github.com/jasonlong/cayman-theme">Cayman theme</a>.</span>
|
||
</footer></section>
|
||
</div>
|
||
</body>
|
||
</html>
|