Izlanishimiz - Dasturlarni 'sof' yozishni izlanamiz
Ilm izlash orqali birlashgan hamjamiyat: funksional dasturlash va nazariyalar bilan donolik va taskinlikka yo'l ochamiz.
- Hamjamiyat
- Haskell O'zbekiston
- Yil
- Yo'nalish
- Dasturlash Til
Umumiy
Hamjamiyatimiz saviyasi baland ilm ulashish, ko'r-ko'rona ergashish va bir-biriga qarshi befoyda kurashlardan xoli bo'lib, muvozanat va holislik birlashmasi orqali haqiqatni izlash yo'lida yuritiladi.
Hamjamiyatda suhbatlar o'ziga xos va malakali dasturchilarga qaratilgan: o'rtacha darajadan chiqib, buyukroqqa intiluvchilar uchun. Asosan Haskell, OCaml va Scala kabi dasturlash tillaridagi konseptlar, ularda samarali kod yozish, shuningdek Agda, Rocq (sobiq Coq) va Lean kabi isbot assistentlari yordamida formal va ishonchli kod yaratish bo'yicha suhbatlar olib boriladi.
Nimalar qilinmoqda
- Dasturlash Tili Nazariyasi
- Formal Usullar
- Funksional Dasturlash
- Kategoriyalar Nazariyasi
- Kompilyatorlar Injineriyasi
- Mantiq
- Tiplar Nazariyasi
Hamjamiyatimizni ilm izlash yo'li birlashtiradi. Ilm - bizning efirimiz, ko'rinmas bir kuch bo'lib, hammamizni bog'lab, donolik va taskinlik sari yetaklaydi.
Haskell O'zbekiston asoschisi
- A'zolar soni
- 90
- Moderatorlar
- 3+
- Texnik ichki yo'nalishlar
- 12+
- Loyihalar
- 7+