Introdução à Linguagem de Programação Clojure | Esquenta SE4FP 2025 com Nelkisa Matias

Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems e Mestre em Computação Aplicada pela UDESC, sobre a linguagem de especificação Quint. O encontro faz parte do Esquenta SE4FP 2025 (Workshop de Engenharia de Software para Programação Funcional), que acontecerá dentro do CBSoft 2025, Além de explorar as bases do Quint, Gabriela compartilha exemplos práticos e referências de estudo. Links citados no episódio: LinkedIn de Gabriela Moreira – Gabriela Moreira - Research Engineer at Informal Systems https://www.linkedin.com/in/bugarela/ GitHub de Gabriela Moreira – https://github.com/bugarela Página de Quint https://quint-lang.org/ GitHub de Quint https://github.com/informalsystems/quint Slides da palestra – https://bit.ly/3HnRqtM SE4FP 2025 – https://se4fp.github.io/2025/ CBSOFT 2025 – https://cbsoft.sbc.org.br/2025/cbsoft/ PPGCA – UTFPR Curitiba – https://www.utfpr.edu.br/cursos/programas-de-pos-graduacao/ppgca-ct Rede Emílias de Podcasts – https://fronteirases.github.io/redeemilias/ Episódio “21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems” no YouTube – https://youtu.be/_vI8xFxn60A Capítulos 00:00 Introdução 05:15 Início da Apresentação 1:00:54 Perguntas e Respostas

Aprenda Clojure do básico ao avançado neste curso. Toda semana teremos uma nova aula com professores convidados pela LibertyTech.

Learn Elixir and functional programming in this coruse for beginners. By the end of this course, you'll be able to build your own Elixir applications and confidently apply functional programming concepts in your projects. ✏️ Course created by @octallium 💻 Github Repo: https://github.com/octallium/functional-programming-with-elixir ⭐️ Contents ⭐️ ⌨️ (0:00:00) Introduction ⌨️ (0:01:45) What is Elixir? ⌨️ (0:04:07) What is functional programming? ⌨️ (0:06:57) What is Recursion? ⌨️ (0:13:04) Installing Elixir & Setting Up VS Code ⌨️ (0:15:03) Learning & Unlearning ⌨️ (0:18:29) Pattern Matching ⌨️ (0:22:35) Introduction to LiveBook ⌨️ (0:26:04) Understanding Immutability ⌨️ (0:30:22) Actor Model ⌨️ (0:34:48) Hello World in Elixir ⌨️ (0:43:25) Data Types - Atom ⌨️ (0:50:25) Data Types - String ⌨️ (1:45:29) Data Types - Charlist, Process & List ⌨️ (1:14:54) Data Types - Tuples & Keyword List ⌨️ (1:19:27) Data Types - Maps ⌨️ (1:25:38) Data Types - Struct ⌨️ (1:30:09) Flow Control ⌨️ (1:39:54) Mix Project ⌨️ (1:41:19) Head & Tail Recursion ⌨️ (2:00:17) Recursion - Sum Digits ⌨️ (2:15:31) Recursion - Factorial ⌨️ (2:24:57) Recursion - Reverse Number ⌨️ (2:32:45) Lists Are LinkedList!!! ⌨️ (2:35:53) List Sum ⌨️ (2:47:04) Reverse List ⌨️ (2:52:58) List Map ⌨️ (3:04:34) Concat ⌨️ (3:09:23) FlatMap ⌨️ (3:14:07) Mid Review ⌨️ (3:15:00) Seven Wonders ⌨️ (3:40:27) For Comprehension ⌨️ (3:42:00) Expense Manager ⌨️ (4:04:17) Project Stats ⌨️ (5:16:30) Final Words 🎉 Thanks to our Champion and Sponsor supporters: 👾 davthecoder 👾 jedi-or-sith 👾 南宮千影 👾 Agustín Kussrow 👾 Nattira Maneerat 👾 Heather Wcislo 👾 Serhiy Kalinets 👾 Justin Hual 👾 Otis Morgan -- Learn to code for free and get a developer job: https://www.freecodecamp.org Read hundreds of articles on programming: https://freecodecamp.org/news ❤️ Support for this channel comes from our friends at Scrimba – the coding platform that's reinvented interactive learning: https://scrimba.com/freecodecamp

🔥 Entre para a minha comunidade de automação - https://link.devaprender.com/entrar Curso Claude Code - https://youtu.be/KoFOPpUWi98 Curso Github Copilot - https://youtu.be/uW5OzVgtofU ✅Quer pedir um orçamento de um BOT(robô) ou sistema? - Solicite aqui: https://devaprender.com/orcamentos/ ✅Curso lógica de Programação: https://youtu.be/epf-WQdVis0 Links mencionados no video ------------------------------------------------------------------------------------------ nodejs download - https://nodejs.org/en/download opencode download - https://opencode.ai/download opencode mcp - https://opencode.ai/docs/mcp-servers/#context7 Skills - https://skillsmp.com/ ------------------------------------------------------------------------------------------ Resumo⤵️ Nesse curso completo de OpenCode, eu vou te mostrar como usar essa ferramenta de IA, para se conectar a qualquer provedor de IA, como o OpenAI, Claude Code, DeepSeek, OpenRouter. Ou seja, tanto opções pagas, como opções gratúitas! Aqui você irá aprender a usar o OpenCode do zero, desde de como instalar, configurar um provedor e personalizar e usar as principais funcionalidades como escolher modelos, nível de raciocínio, usar skills, usar servidores mcp e até mesmo como monetizar esse conhecimento. CONTATO COMERCIAL(não respondo dúvidas de videos) ------------------------ jhonatan@devaprender.com 00:00 - O que iremos aprender 00:50 - Como instalar OpenCode 03:18 - Por que usar OpenCode vs Claude Code ou outros? 04:39 - Como instalar qualquer provedor PAGOS 08:43 - Como instalar qualquer provedor GRATUITO 11:33 - Como usar Servidores MCP 14:49 - Como personalizar o OpenCode 16:25 - Como usar SKILLS 19:09 - Quando usar OpenCode no meu fluxo de trabalho? 20:10 - Como monetizar o conhecimento de criação de apps/automações?(parte 1) 20:51 - Como usar o modo Plan/Edit 21:05 - Como monetizar o conhecimento(parte 2) 21:48 - O que estudar a partir de agora?

💰 Mentorship to six figure software engineer - https://calcur.tech/mentorship ⚙️ Backend Engineering Mind Map - https://calcur.tech/mindmap 💻 System Design Playlist - https://calcur.tech/system-design Timestamps: 00:00:00 - Intro 00:01:23 - Why use Elixir 00:03:48 - Installation and Setup 00:07:15 - Intro to Mix 00:09:02 - Overview of Elixir Files 00:10:52 - Running and Elixir Script 00:13:40 - Compiling Elixir 00:16:36 - Running an Elixir Application 00:23:29 - Intro to Hex 00:25:40 - Basic Types 00:26:53 - Creating a Variable 00:27:52 - Module Attributes 00:29:01 - Atoms and Strings 00:35:35 - Strings 00:38:40 - More about Hex 00:39:49 - Numbers 00:47:39 - Compound Types 00:47:53 - Dates and Times 00:50:50 - Example App - Time Until the New Year 00:56:27 - Tuples 01:01:59 - Lists and Loops 01:04:15 - Mapping 01:04:47 - Structs 01:11:46 - Building a Guessing Game - Taking User Input 01:14:00 - if Statements 01:15:07 - Random Number 01:16:26 - Docs and Arity 01:17:28 - Cases and Errors 01:19:19 - Case 01:22:23 - Lists 01:24:16 - Append and Prepend 01:25:29 - Comprehensions with Conditions 01:27:22 - Functional Programming 01:30:07 - Defining Custom Functions 01:34:41 - What’s Next? 💯 FREE Courses (100+ hours) - https://calcur.tech/free-courses 🏆 C++ Mastery Course - https://calcur.tech/cpp-mastery 🐍 Backend Python Course - https://calcur.tech/backend-python 🥇 Python Mastery Course - https://calcur.tech/python-mastery ~~~~~~~~~~~~~~~ CONNECT ~~~~~~~~~~~~~~~ ✉️ Newsletter - https://calcur.tech/newsletter 📸 Instagram - https://www.instagram.com/CalebCurry 🐦 Twitter - https://twitter.com/calebCurry 🔗 LinkedIn - https://www.linkedin.com/in/calebcurry ▶️ Subscribe - http://calcur.tech/subscribe 👨🏻‍🎓 Courses - https://www.codebreakthrough.com 🅿 Patreon - http://calcur.tech/patreon-calebcurry

In this Lisp for beginners course, @the-lisper will teach you why this elegant programming language has influenced computer science for over 60 years. Lisp's elegant approach to handling code as data, combined with its powerful macro system and functional programming paradigms, offers developers unique insights into program architecture that remain relevant and influential across modern languages like Python, JavaScript, and Rust. ❤️ Support for this channel comes from our friends at Scrimba – the coding platform that's reinvented interactive learning: https://scrimba.com/freecodecamp ⭐️ Contents ⭐️ - 0:00:00 Common Lisp #1 - Installation - 0:06:45 Common Lisp #2 - Playing with the REPL - 0:13:04 Common Lisp #3 - Local variables and branching - 0:28:42 Common Lisp #4 - Looping with dotimes and do - 0:39:17 Common Lisp #5 - What are lists? - 0:48:47 Common Lisp: 4 ways to build lists - 0:56:28 Common Lisp: Introduction to macros (for beginners) - 1:08:10 Common lisp: macro vs functions (for beginners) - 1:18:00 Common LISP: Destructuring and more! - 1:24:23 Getting started with packages in Common LISP - 1:32:00 Prevent Macro Name Conflict with (gensym) - 1:36:32 Mastering Inheritance and Polymorphism with CLOS: An Introduction - 1:42:12 Mastering Inheritance and Polymorphism with CLOS: Multi-methods - 1:47:21 Common Lisp Debugging: Essential Tips and Techniques - 1:54:51 Exploring the Condition System of Common Lisp - 2:04:53 Mastering Built-in Types in Common Lisp (or how I got 3x faster execution with the same algorithm) - 2:13:13 Improve Common Lisp Code Clarity With Better Dictionary Literal - 2:21:30 Manual Memory Management in Common Lisp with CFFI - 2:28:29 Closures in Common Lisp, when CLOS Is Too Much - 2:36:08 Tail Recursion With Common Lisp, Do or Don't? - 2:41:08 Common Lisp: defvar vs defparameter - 2:46:45 Series: A Functional Approach To Common Lisp - 2:52:40 Haskell-Like Type System In Common Lisp With Coalton - 2:59:14 The Loop Macro in Common Lisp: Not Lispy but Convenient - 3:06:58 Circular list with Common Lisp 🎉 Thanks to our Champion and Sponsor supporters: 👾 Drake Milly 👾 Ulises Moralez 👾 Goddard Tan 👾 David MG 👾 Matthew Springman 👾 Claudio 👾 Oscar R. 👾 jedi-or-sith 👾 Nattira Maneerat 👾 Justin Hual -- Learn to code for free and get a developer job: https://www.freecodecamp.org Read hundreds of articles on programming: https://freecodecamp.org/news