Пользователь:Blaisorblade

Программирование Этот пользователь участвует в WikiProject Userboxes . С -4 Этот пользователь — опытный программист на языке C. С++ -3 Этот пользователь — продвинутый программист C++ . Ява -4 Этот пользователь — опытный программист Java . пас Этот пользователь может программировать на языке Pascal . λ Этот пользователь свободно владеет лямбда-исчислением . Этот пользователь является программистом Scheme среднего уровня . Этот пользователь умеет программировать на Python . Тсл Этот пользователь — Tcl- скриптер. Перл -1 Этот пользователь — начинающий программист Perl . Баш Этот пользователь может программировать на Bash . < html > Этот пользователь может писать HTML . МАТ Этот пользователь является программистом и пользователем MATLAB .

Другой а²+b²=c² Этот пользователь — математик среднего уровня . ${\displaystyle {\sqrt {2}}}$ Этот пользователь знает, как доказать, что квадратный корень из двух является иррациональным числом. 10 Этот пользователь понимает, что в этом мире существует 10 типов людей: те, кто понимает двоичную систему исчисления, и те, кто ее не понимает.

• Паоло Дж. Джарруссо, аспирант в области компьютерных наук , Германия. Специализация: (функциональные) языки программирования и разработка программного обеспечения, а также эффективные реализации языков программирования.
  • Обучение в аспирантуре началось в Университете Филиппа в Марбурге, а затем продолжилось в Тюбингенском университете.
• выпускник факультета компьютерных наук Университета Катании
• бывший хакер ядра Linux , пусть и не высшего уровня (в основном работал над Linux пользовательского режима )
• сторонник открытого исходного кода
• программист на Scala , с некоторым опытом работы с Haskell и прошлым опытом работы с C/C++/ Java
• фанат Dream Theater и различных групп эпического/пауэр-метала. Я не эксперт в музыкальной сфере, но часто редактирую статьи о группах, которые мне нравятся (стараясь ограничить свой вклад областями, в которых у меня достаточно знаний).
• фильм страстный
• фанат аниме​

Личный блокнот для моих TODO как редактора Википедии: - улучшать страницы, связанные с функциональным программированием, по мере того, как я с ними сталкиваюсь. Tail call и Tail recursion стали первой жертвой.

- довольно устаревшие элементы:

• удалить/объединить сложность программирования (она может быть введением для метрики программного обеспечения или может быть просто частью кризиса программного обеспечения , который также требует исправления).
• исправление Критика C++
• присоединяйтесь к WikiProject C++ , WikiProject Computer science (см. WikiProject Computer science/Assessment ) и WikiProject Computing (см. Template:WikiProject Computing )

• улучшить страницы о том, что я изучаю как аспирант
• пролить свет на параллели между лямбда-исчислением , теорией рекурсии и денотационной семантикой .
  • Обработка рекурсивных функций осуществляется через наименьшую фиксированную точку во всех них, но с совершенно разных начальных точек. И открытие этой параллели (которая не рассматривалась в моих курсах) было действительно приятно.
  • Кроме того, теорема Райса имеет эквиваленты как в комбинаторной логике (которая есть в Википедии), так и в лямбда-исчислении (этого нет в статье Википедии, необходимо добавить).

Мне нужно будет найти кое-что (мне нужно будет переместить это на какую-нибудь подстраницу):

• Wikipedia:Макет#Стандартные приложения и описания
•  Готово ({{done}} - Шаблон:Готово ) (Я видел использование, но шаблон лучше, или по крайней мере {{tick|15}}: ), для страниц обсужденияИ