프로그래밍 QnA + 설치 및 활용 QnA + 강좌 + 뉴스, 새소식 + 토론, 토의 + 자유 게시판

steelbear의 이미지

혹시 dependent type에 대해서 아시는 분 계신가요?

우연히 Idris라는 언어를 알게 되었는데,
이 언어가 dependent type을 사용한다고 하네요.

그런데 계속 자료를 찾아봐도 dependnet type이 뭔지 아직도 잘 모르겠습니다.

혹시 아신다면 알려주실수 있으신가요?
또 dependent type에 관한 좋은 자료가 있나요?

wadz2583의 이미지

/

.

qeeeeep의 이미지

gethostbyaddr 함수 질문이 있습니다!

안녕하세요. TCP/IP 소켓프로그래밍을 공부하는 학생입니다.

책을 보면서 윈도우즈 소켓으로 IP주소로 도메인 이름을 알아내는 함수인

gethostbyaddr를 연습하는 예제를 공부하다 막혀 이렇게 질문 올립니다.

자꾸 gethostbyaddr함수가 실패하는데 이유를 모르겠습니다...

adzoo의 이미지

여러개 올려서 죄송합니다... 삭제할 방법은 없나요?

핸드폰으로 쓴거라.. 분명 한번만
저장을 눌렀는데 3개나 나왔어요..
죄송합니다 ㅠㅠ
글 삭제 기능은 아무리 찾아봐도 안보이는데.. 어떡하죠..

innocentchris의 이미지

얼랭 관련 커뮤니티를 만들어보았습니다.

요즘 얼랭 코딩에 푹 빠져있는 개발자 1인입니다.(빠져서 허우적대고 있지요..)

국내에는 얼랭으로 코딩하는 분들이 많지 않은지 정보를 얻을곳도 마땅치 않고 해서
얼랭이라는 좋은 언어도 홍보할겸 정보도 나눌겸 커뮤니티를 만들어보았습니다.

혹시라도 Erlang에 관심 있으시거나 잘 다루시는 분들이 계시다면 오셔서 좋은 정보 나누어 주셨으면 좋겠습니다.

www.erlangforum.com
www.erlang.co.kr

감사합니다.

ozon1000의 이미지

haskell 질문드립니다.

addOneList lst = map(\x -> x + 1) lst

위 함수는 list의 원소를 각각 +1 씩 더해주는 함수입니다. (람다함수사용)

같이 람다함수를 사용해서 일반 리스트가 아닌

[ (1,1), (2,2), (3,3) ] 이렇게 순서쌍이 있는 리스트의 각각 원소에 +1 씩 해주는 함수를 만드려면 어떻게 해야 하나요...?

생각을 해봐도 잘 떠오르지가 않네요...

haskell은 구글링해도 잘 나오지 않아요.. 도와주세요..

programmingman의 이미지

c언어 구조체와 공용체 질문입니다.

Q:학생 5명의 이름과 국어, 영어성적을 입력받아 합계와 평균, 석차를 출력하는 프로그램을 구조체 포인터변수를 이용하여 프로그램 하시오.
해서 이렇게 짯는데
#include
//과제 4 코드가 산으로 간다~~~~~~~
typedef struct
{
char Name[10];
float Language;
float English;
float Sum;
float Average;
int Rank;
}GRADE;
int main(void)
{
GRADE Grade[5], *Pointer[2];
int i,j,k;
float temp;

k1d0bus3의 이미지

커널 컴파일시 gcc가 아닌 컴파일러로 해보신 분 계세요?

gcc말고 intel컴파일러로 커널 컴파일을 하면, 결과물(바이너리)이 gcc로 컴파일한 결과물과 완전히 일치할까요?
아니라면 어떤부분이 어떻게/왜 달라지나요?

semjase의 이미지

configure에서 에러

현재 민트리눅스 17.4 rosa 사용중입니다.

게임을 하나 받아서 컴파일중인데 configure를 통과 못하고 있네요.
여러가지 에러가 나와서 하나씩 해결했는데 여기서 통과를 못하고 있습니다.
gtk버젼이 문제인거같긴한데 어떻게 해야할지..
$ apt-cache search gtk+-3으로 검색해봤는데 3.0 이상은 안나오는거 같은데요..근데 제가 검색한 방법이 맞긴한건지요?

페이지

프로그래밍 QnA + 설치 및 활용 QnA + 강좌 + 뉴스, 새소식 + 토론, 토의 + 자유 게시판 구독하기