#Convert digits in string to numbers.
student_grades_int = [[int(i) if i.isdigit() else i for i in myList] for myList in student_grades]
student_grades_int = student_grades_int[1:]
#Using list comprehensions to create the structure.
student_grades_final = {[x for x in myList if isinstance(x, str)][0]:[x for x in myList if isinstance(x, int)] for myList in student_grades_int}
student_grades_final
{'David': [45, 56, 67], 'Jane': [100, 90, 80], 'John': [88, 99, 111]}
Синхронизация высокого разрешения находится на настольной машине, все еще открытая тема.
Сегодняшние популярные операционные системы предоставляют Вам только гранулярность 10 мс, потому что это - частота их прерывания по таймеру часов. Вы найдете 10 мс также в страницах справочника Linux, например. Браузер только выставит таймеры, обеспеченные операционной системой с добавленными внутренними браузером издержками.
Тем не менее это возможно к achive более высокая гранулярность. Но все эти методики характерны для настройки оборудования, и Вы не можете ожидать, что они будут выставлены через JavaScript в ближайшем будущем.
Так как Вы упоминаете Internet Explorer, я предполагаю, что Вы работаете над Windows. Разрешение на 15 мс, которое Вы получаете, может иметь отношение к системному разрешению таймера Windows.
Я также заметил посредством запущения программ Java в Windows, что разрешение системного таймера составляет приблизительно 16 мс или около этого. (Используя System.currentTimeMillis()
метод.)
Я сделал вполне поиск, чтобы видеть, мог ли я найти информацию о системном разрешении таймера в Windows и смог найти ссылку на В Таймерах Высокого разрешения Windows NT от TechNet. Это упомянуло немного о разрешении системного таймера Windows:
Windows NT основывает всю свою поддержку таймера прочь одного системного прерывания по синхроимпульсам, который выполнениями по умолчанию при 10 гранулярностях миллисекунды. Это - поэтому разрешение стандартных таймеров Windows.
(Я предполагаю, что Windows XP и Vista все еще имеют тот же таймер, полагайте, что это - потомок NT.)
Если Firefox и Chrome не имеют их собственный реализованный таймер с высоким разрешением, я полагаю, что лучшее разрешение, которое Вы сможете получить от браузера на платформе Windows, будет приблизительно 10 мс.
Хотя не относящийся к этому вопросу, я также находил статью о MSDN на таймерах с высоким разрешением в Windows: mplement Непрерывно Обновление, Поставщик Времени С высоким разрешением для Windows
AFAIK, миллисекунды так хороши, как он входит в JavaScript. Вот документация Mozilla.org для объекта Даты. Ничто там ни на что не указывает с более прекрасным разрешением.